论文部分内容阅读
形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。
基于有色Petri网的Web服务组合建模与分析
【摘 要】
：
形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构
【机 构】
：
苏州大学计算机科学与技术学院,中国科学院软件研究所计算机科学国家重点实验室
【出 处】
：
苏州大学学报(工科版)
【发表日期】
：
2010年04期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文针对硬件实现SMS4算法,对SMS4算法在FPGA开发环境下进行Verilog HDL编码与仿真测试,通过上位机进行数据的发送和接收,使用cyclone IV系列芯片验证了方案的可行性。
This
<正>不得不承认,即使我们现在的生活水平越来越高,生活物质需求得到了越来越好的满足,但同时却有越来越多的人觉得幸福感不如以前。究其原因,大家都认为是快节奏的工作生活让
Auto Maya是三维动画制作中最为先进的软件之一,在应用过程中不仅具有一般的三维和视觉效果,还能够利用先进的建模技术等极大地提升制作的效率和品质,因而被广泛应用于影视广告、角色动画和电影特技等领域中,为促进三维动画制作行业的发展起到了极大的推动作用。在应用Maya进行建模时,可以从多个方面入手提升工作效率,从而为提升应用水平奠定良好的基础。
20世纪初,人们开始发现中世纪早期艺术的美,尤其是1905年举办的第一次“野兽派”画展时,艺术家们开始研究部落土著的作品等,正是随着这一审美趣味的转变,一位业余的画家亨利卢梭出现在了人们眼前。卢梭的绘画题材广泛,包括风景、肖像、静物、丛林、工业风景等等,丛林系列是他最典型也是画风较成熟的代表作品,这部分画中出现了许多动植物形象,各种各样的动物形象或灵动生趣或温柔安静,给了我们美的视觉享受,本文将对
目的：探讨白介素21（IL-21）对细胞毒T淋巴细胞（CTL）杀伤非霍奇金淋巴瘤（NHL）的影响,阐述该影响是通过IFN-γ和TNF-α的高表达而实现。方法：分选树突状细胞（DCs）,用NHL细胞株（Raji）冲击,诱
这段时间，荷兰艺术家弗洛伦泰因·霍夫曼以浴盆黄鸭仔为造型，创作的巨型橡皮鸭艺术品，异常红火。这只尺寸为16．5X20X32（米）的鸭子一直停靠在香港维多利亚港。最近，内地出现了十
虽然我们对人文教育的重要性有了相当力度的强调，但是，我们却尚未对人文教育的实质及其内在的深刻困难有足够的认识。有意无意间我们容易用科学教育的态度和方式对待人文教育，甚
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield