倪、岳;范玉顺 语义web服务组合的模型转换和形式验证。 （英语） Zbl 1192.68069号 高级工程师软件。 41，第6号，879-885（2010）. 摘要：在当今面向服务的业务环境中，Web服务组合变得越来越重要。我们需要将来自不同提供商的服务组合在一起，以实现任何单一服务都无法满足的业务目标。然而，不同的服务往往存在语义不一致，这可能导致服务组合失败。为了验证语义Web服务组合的正确性，本文提出了一种由OWL-S模型转换而来的有色Petri网组合模型。该模型可以显式表达服务组合子过程之间的逻辑关系，并使用有色Petri网的形式化方法验证服务组合的正确性。提出了组合服务可达性、有界性和语义一致性的验证算法。并以协同设计过程为例，对模型进行了仿真和执行。 MSC公司： 68英里11 互联网主题 68T05年 人工智能中的学习和自适应系统 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：语义web服务;服务组合;猫头鹰;有色Petri网 软件：DaGen公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ni}和\textit{Y.Fan}，高级工程师软件。41，第6号，879--885（2010；Zbl 1192.68069） 全文： DOI程序 参考文献： [1] Web Ontology Language for Services（OWL-S）&书信电报；http://www.w3.org/Submission/2004/07> [2009年6月20日访问]。 [2] Web服务建模本体（WSMO）&书信电报；http://www.w3.org/Submission/WSMO> [2009年6月20日访问]。 [3] WSDL和XML模式（SAWSDL）的语义注释&书信电报；http://www.w3.org/TR/sawsdl> [访问日期：2009年11月20日]。 [4] Moldt D，Ortmann J.DaGen：从DAML-S到高级Petri网的自动转换工具。收录于：计算机科学课堂讲稿，第2984卷；2004年，第209-13页·兹比尔1129.68459 ·数字对象标识代码：10.1007/b95935 [5] Narayanan，S。；Mcilraith，S.A.：web服务的模拟、验证和自动组合（2002）·Zbl 1059.68517号 [6] Brogi A、Corfini S、Iardella S。从OWL-S描述到Petri网。位于：WESOA07，维也纳；2007 [7] 维达尔·JC、拉玛·M、布加尔（Bugar）´；OWL-S服务编排的Petri网语义；2007 [8] 鲍爱华；袁金平；姚，李：基于扩展有色Petri网的OWL2S过程语义分析方法，《计算集成制造系统》14，第9期，1856-1864（2008） [9] 王志坚；程永上：《web服务组合的语义一致性验证》，《计算集成制造系统》第15期，第1期，202-208（2009） [10] Jensen，K.：有色Petri网：基本概念、分析方法和实际应用，（1997）·Zbl 0883.68098号 [11] David，M.：使用OWL-S将语义引入web服务，World wide web 10，No.3，243-277（2007） [12] 奇异值分解&书信电报；http://www.en.wikipedia.org/wiki/Singular_value_decomposition> [访问日期：20.11.09]。 [13] 导入NET&书信电报；http://www.importnet-project.org> [2009年6月20日访问]。 [14] Yue Ni，Fan Y.基于本体的跨领域企业集成和互操作。摘自：2008年服务智能和计算研讨会。IEEE网络服务国际会议（ICWS2008），2008年9月23日至25日，北京；2008 [15] 活动BPEL&书信电报；http://www.activevos.com/community-open-source.php>. [16] Van Der Aalst，W.M.P.：工作流模式，Distribute parallel dat 14，No.1，5-51（2003） [17] WSMO与其他相关技术的关系&书信电报；http://www.w3.org/Submission/WSMO-related> [访问日期：20.11.09]。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。