语义标记Petri网的组合Web服务建模与验证(英文)

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户:austdqxy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。 With the evolution of Web service composition, it is possible to integrate business processes. Composite web services can be thought of as process-based workflows. Due to design errors such as deadlocks, insecure and unreachable flows, which can affect the effective execution of composite Web services, these errors should be detected and modified before the composite Web service executes. A new method of modeling and validating Web services based on semantic markup Petri nets is proposed. Firstly, semantic tag Petri nets (SaPNs) are proposed and their semantics are given. Combined web services are obtained by the restricted description logic tableau algorithm. SaPNs are used to describe the composition of Web services and its components. Finally, the SaPNs- Web service. Use this method in a open Internet environment can be obtained to meet customer needs, reliable combination of Web services.
其他文献
记得小学时有一天在操场上玩,突然天降大雨,所有人都朝教室里跑,有个同学在后面说了一句:“跑也没用,反正前面也全是雨。”然后我就停了下来,和他一起走回教室。后来遇见一些
期刊
“导学案”的课堂教学模式不同于传统的教学模式,其主要是将学生看成是学习的主体,不仅要让学生学习文化知识,还要使学生在学习的过程中体会到学习的乐趣,由“学会”知识转变
和一条蠢笨的金鱼进入了这个空间,虽然我也是条金鱼。这个空间看上去好大,其实我发现我可以移动的空间是不及所见之大的。那条蠢笨的金鱼每日都与我打招呼,就像从未见过我一
朗读并不是让学生机械的阅读,而是要从中获取有价值的信息,并且通过阅读对自身产生一定的启发作用,掌握其中的语言表达规律和技巧,这对于学生的学习和发展都是非常重要的。本
文字所书写的是一种精心建构的心灵体系,而绘画则是如婴孩般的直觉的产物。当作家想说的太多又不知从何说起时,他们拿起了画笔。我在画里一起用上了铅笔、木炭、乌贼墨、木炭
期刊
学生姓名:闫峻录取院系:北京大学数学科学学院毕业中学:贵州省六盘水市第三中学获奖情况:2009年、2010年两次获得贵州高中数学联赛第一名2010年数学冬令营二等奖2011年数学冬
目的探讨运动再学习法(Motor relearning programme,MRP)对脑卒中后吞咽障碍功能恢复的影响。方法将28例脑卒中后吞咽障碍患者随机分为康复治疗组和自然恢复组。两组患者一般
“循环经济”一词是美国经济学家波尔丁在20世纪60年代提出的。循环经济是一种实践可持续发展理念的新的经济发展模式,它以资源环境是支撑人类经济发展的物质基础这一根本认
理论教学缺乏活力是长期存在于政治经济学课堂教学中的一个突出问题。通过课内外互补、师生角色互换、理论与实践互动的方式可以提升劳动价值论的课堂教学活力,从而最终带动
中国选择优先发放拥有自主知识产权的4G通信标准牌照——TD-LTE,充分反映了政府发牌的艺术和智慧。但是其成功与否则取决于TD-LTE产业能否具有竞争力。2013年12月初,中国的工