基于Petri网的语义Web服务流程一致性验证

来源 :计算机工程 | 被引量 : 0次 | 上传用户：xiaohuimin

【摘要】

：

提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图,得到所有可并行执行的服务对,根据领域本体

【作者】

：

胡佳冯志勇徐超王辉

【机构】

：

天津大学计算机科学与技术学院

【出处】

：

计算机工程

【发表日期】

：

2010年19期

【关键词】

：

语义WEB服务 Web服务流程验证业务流程建模 PETRI网 semantic Web Service Web Service process verific

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性。通过一个实际案例验证了该方法的正确性和有效性

其他文献

浅谈小学生课外阅读兴趣的培养

摘要：小学生经验不足，不能更好的去完成课外阅读，在小学语文教学中，读书是必不可少的，逐渐的参与到课堂教学中来，课上的读书时间是有一定的限制的，如果想在生活中拓展学习思维，就要提高学生学习的质量，还要激发学生读课外书的习惯。　　关键词：课外阅读；兴趣培养；培养　　古曰：“读书破万卷，下笔如有神。”培根说过：“书籍是横渡时间大海的航船。”当我们爱上阅读，就将会同时爱别人，爱自己，爱世界，爱整个生命，

期刊

课外阅读兴趣培养培养

基于Hadoop的分布式协同过滤推荐算法研究

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

学位

协同过滤可扩展性稀疏性冷启动HadoopCK-Means

我国转轨期间的信贷配给对货币政策效果的影响

信贷配给作为一种金融业中普遍存在的现象,是在信息不对称条件下任何国家的信贷市场中都可能出现的一种不完善性。在20世纪50年代,信贷配给开始受到很多学者的关注,但直到20

学位

货币政策效果信贷配给商业银行

大肠腺瘤发生发展及癌变中相关蛋白指标的研究进展

大肠腺瘤是起源于肠上皮的良性肿瘤,属肠息肉的一种,如不正规处理及复诊,日久易复发甚至癌变。目前认为大肠癌的发生一般经历正常上皮-腺瘤-癌序列过程~([1]),而从正常黏膜发

期刊

大肠腺瘤大肠癌相关性进展蛋白

川江号子的文化价值及其保护传承

摘要：本文通过对川江流域6条支流的船工号子进行田野调查，力图还原一个真实的、不仅仅是歌谱和节目表演的川江号子。作为川江航运文化的重要组成部分，“川江号子”是地地道道的俗文化，其原因在于它直接地起源于下层人民的劳动。与其它号子相比，“川江号子”具有自己显著的地域特征。　　关键词：川江号子；文化遗产；传承；音乐　　一、川江号子的遗传价值分析　　（一）川江号子——中国历史上较早的多声音乐雏形之一　　川

期刊

川江号子文化遗产传承音乐

静脉强化麻醉在妇科腹腔镜短时间手术中的效果分析

目的探讨静脉强化麻醉在妇科腹腔镜短时间手术中的临床效果。方法以2009年10月-2012年6月期间共收治择期进行腹腔镜手术的280例患者为研究对象,并运用随机分组的方式将所有患

期刊

静脉强化麻醉腹腔镜手术临床疗效分析

生物质复合轻基质与容器育苗综合新技术为乡村振兴和产业发展提供科技支撑

期刊

生物质复合轻基质轻基质网袋容器农作物轻基质容器育苗

黄芩苷对耐药性金黄色葡萄球菌的抑菌作用研究

目的：研究黄芩苷对耐药性性金黄色葡萄球菌的抑菌作用。方法：通过体外对耐药性性金黄色葡萄球菌的抑菌试验及体内对耐药性性金黄色葡萄球菌感染小鼠的保护作用,观察黄芩苷的抑

期刊