【摘 要】
：
随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以保证服务组合的正确性和可靠性。本文的主要
论文部分内容阅读
随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以保证服务组合的正确性和可靠性。本文的主要研究内容包括:(1)提出了一个基于有色Petri网(Colored Petri Nets,CPN)的Web服务组合模型;(2)基于该组合模型,给出了编排规则生成算法;(3)说明了如何将BPEL4WS转换为CPN模型,设计了一个可视化的分析验证工具JCPN;(4)提出用PI-演算把通信过程封装成多个Web Service,并来描述这些Web Service及服务组合,使每个通信过程的实现都是调用相关Web Service或Web Service组合;(5)概括总结了PI-演算互模拟的相关定义,使用MWB工具对移动通信模型中的PI-演算表达式进行语法分析和验证;(6)为弥补PI-演算的固有缺陷,提出一种将PI-演算映射为CPN的规则,将移动通信中的PI-演算模型映射为Petri网,验证了方法的有效性。
其他文献
我校继续教育学院在读成教学生对中医内科学的教学有何意见与建议？他们需要在教学管理与服务方面提供哪些帮助？本文通过对所在学校四个成人教学班的问卷调查,不仅从＂学习动机＂、＂
服务质量(Quality of Service，QoS)是最近一个时期内发展较快的研究领域，但长时间以来QoS的研究范围仅局限于网络本身的特性，忽视了用户的控制和影响作用。 本文的研究动机来
目的：对6一磷酸葡萄糖脱氢酶（G6PD）与GSH间存在的相关性进行分析。方法：对100份临床血样的G6PD酶活和血红细胞中的GSH含量进行检测，进而分析G6PD与-GSH之间的关系。结果：临床血样的
肝硬化合并脾机能亢进是一种临床常见的慢性病。临床上以肝脾肿大、质中等硬、两胁胀痛、甚则腹水、纳呆、胃脘胀闷、恶心、倦怠、二便不调为特征,属祖国医学癥瘕、积聚、膨
地球上的生物（植物、动物、人类）至少有四个主要共性,首先是都受益于太阳的光粒子,其次是都有经络（分种属不同经络的数量多少不同,人类最多）,第三是都有繁殖后代的本能,第四是组
文章推导了平板突然启动后的非定常流动规律符合高斯误差函数,借鉴平板边界层流动规律,获得了求解平板非定常流动的判别依据,通过临界边界厚度,定义了临界时间,运用分子微团
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
主要针对现阶段已经开展的精馏工序中的工艺进行优化分析.
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的对比选择采用小切口白内障囊外摘除手术和白内障超声乳化术对于硬核白内障进行治疗的效果。方法采用分组对照研究的方法进行调查,选取2017年1月~2018年2月我院收治的硬核