基于有色Petri网的语义Web服务组合的验证与测试方法
发布时间：2020-07-06 09:38
【摘要】：Web服务组合的目标是通过简单服务的组合形成以满足需求的新服务,这个目标的完成是通过相对简单的Web服务交互的设计。但Web服务组合的执行过程中,复杂的需求的互动往往涉及一些简单的服务。当用户有多服务可选时,由于多个服务组合时产生了问题或不信任这些简单服务,因而影响到了Web服务的发展和应用。服务组合流程的并发性和复杂性,使得验证服务组合模型的测试变得非常重要。鉴于上述问题本文进行了以下工作： 1.基于Web服务本体语言OWL-S与有色Petri网的语义一致性,将有色Petri网描述规则运用到OWL-S进程。其中包含OWL-S的原子进程及复合进程描述方式,并按照该描述方式使用有色Petri网验证工具CPN Tools对语义Web服务组合流程进行建模,并对模型进行验证与分析。 2.对此建模方法用于基于有色Petri网的语义Web服务组合模型的测试方法进行了总结。对于基于有色Petri网的语义Web服务组合模型,总结了相关的测试方法与测试用例生成方式。介绍了完全路径覆盖的测试方法,并运用此方法对模型生成的可达图生成相应的测试用例,以此进行测试的正确性分析。 3.对本文提出的方法进行实例分析。通过网站提供的Web服务组合实例,应用上述模型做案例分析,针对贷款审批的例子验证方法的有效性和正确性。经实例分析表明,本文建议的方法更为有利于对语义Web服务组合的模型的正确性验证以及其模型的测试用例生成。
【学位授予单位】：内蒙古农业大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09
【图文】：
图3 OWL-S中的服务本体Fig.3 Service ontology in OWL-Srofile：在OWL-S中表示为类Service Profile。描述服务提供者的息，主要是指服务的 IOPE: Input、Output、Precondition、Effect,
使用OWL-S的Web Services架构如图4所示让OWL-S联合当前的Web服务构架（SOAP、WSDL、UDDI)能够达成Web Services的发现、实行和组合自动化【4”。OWL-S ^crvicc SBB "WWi serrlpc? qomposirio^f ‘ '‘mKM (pm.'S p^oas? mwkii :知SMHjji “ ^ ‘“ 、 、：口/” ：■kEj^H Interface specsfsca?tD? laver: WSDLMctssagj-ng layer: SOAPTransport la> cr: HTTF.TCP.UDRand so m图4应用OWL-S的Web Services体系结构Fig.4 Web Services architecture and application of OWL-S语义Web服务体系结构图如图5所示它共有三种基本的角色：服务提供者(Provider)、服务请求者(Requester)和服务注册中心(OWL-S/OJDDI Matchmaker)。其中，提供者发布自己的服务(服务模式)和服务请求的响应；OWL-S/UDDI Matchmaker提供语义搜索服务，并登记发布的服务；请求注册中心/匹配匹配所需的服务请求者，然后使用服务。！ OWL-S/UDDI i/MatchmakerV \^^quest Advertiser^Requester ： Grounding Provider图5语义Web Sercices的体系结构Fig.5 The architecture of semantic Web Sercices2.1.2 OWL-S 进程OWL-S是一个基于OWL的语义Web服务本体语言。为了使得计算机能够为用户完成服务的发现、调用、组合、验证、互操作及执行监控等任务，OWL-S将Web服务成为计算机可以理解的实体视为目标【49】。0WL-S流程模型采用工作流的流
Fig.4 Web Services architecture and application of OWL-S语义Web服务体系结构图如图5所示它共有三种基本的角色：服务提供者(Provider)、服务请求者(Requester)和服务注册中心(OWL-S/OJDDI Matchmaker)。其中，提供者发布自己的服务(服务模式)和服务请求的响应；OWL-S/UDDI Matchmaker提供语义搜索服务，并登记发布的服务；请求注册中心/匹配匹配所需的服务请求者，然后使用服务。！ OWL-S/UDDI i/MatchmakerV \^^quest Advertiser^Requester ： Grounding Provider图5语义Web Sercices的体系结构Fig.5 The architecture of semantic Web Sercices2.1.2 OWL-S 进程OWL-S是一个基于OWL的语义Web服务本体语言。为了使得计算机能够为用户完成服务的发现、调用、组合、验证、互操作及执行监控等任务，OWL-S将Web服务成为计算机可以理解的实体视为目标【49】。0WL-S流程模型采用工作流的流
本文编号：2743468
【学位授予单位】：内蒙古农业大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09
【图文】：
图3 OWL-S中的服务本体Fig.3 Service ontology in OWL-Srofile：在OWL-S中表示为类Service Profile。描述服务提供者的息，主要是指服务的 IOPE: Input、Output、Precondition、Effect,
使用OWL-S的Web Services架构如图4所示让OWL-S联合当前的Web服务构架（SOAP、WSDL、UDDI)能够达成Web Services的发现、实行和组合自动化【4”。OWL-S ^crvicc SBB "WWi serrlpc? qomposirio^f ‘ '‘mKM (pm.'S p^oas? mwkii :知SMHjji “ ^ ‘“ 、 、：口/” ：■kEj^H Interface specsfsca?tD? laver: WSDLMctssagj-ng layer: SOAPTransport la> cr: HTTF.TCP.UDRand so m图4应用OWL-S的Web Services体系结构Fig.4 Web Services architecture and application of OWL-S语义Web服务体系结构图如图5所示它共有三种基本的角色：服务提供者(Provider)、服务请求者(Requester)和服务注册中心(OWL-S/OJDDI Matchmaker)。其中，提供者发布自己的服务(服务模式)和服务请求的响应；OWL-S/UDDI Matchmaker提供语义搜索服务，并登记发布的服务；请求注册中心/匹配匹配所需的服务请求者，然后使用服务。！ OWL-S/UDDI i/MatchmakerV \^^quest Advertiser^Requester ： Grounding Provider图5语义Web Sercices的体系结构Fig.5 The architecture of semantic Web Sercices2.1.2 OWL-S 进程OWL-S是一个基于OWL的语义Web服务本体语言。为了使得计算机能够为用户完成服务的发现、调用、组合、验证、互操作及执行监控等任务，OWL-S将Web服务成为计算机可以理解的实体视为目标【49】。0WL-S流程模型采用工作流的流
Fig.4 Web Services architecture and application of OWL-S语义Web服务体系结构图如图5所示它共有三种基本的角色：服务提供者(Provider)、服务请求者(Requester)和服务注册中心(OWL-S/OJDDI Matchmaker)。其中，提供者发布自己的服务(服务模式)和服务请求的响应；OWL-S/UDDI Matchmaker提供语义搜索服务，并登记发布的服务；请求注册中心/匹配匹配所需的服务请求者，然后使用服务。！ OWL-S/UDDI i/MatchmakerV \^^quest Advertiser^Requester ： Grounding Provider图5语义Web Sercices的体系结构Fig.5 The architecture of semantic Web Sercices2.1.2 OWL-S 进程OWL-S是一个基于OWL的语义Web服务本体语言。为了使得计算机能够为用户完成服务的发现、调用、组合、验证、互操作及执行监控等任务，OWL-S将Web服务成为计算机可以理解的实体视为目标【49】。0WL-S流程模型采用工作流的流
【参考文献】
相关期刊论文 前5条
1 蔡菊;王迪;李必信;;基于扩展的层次有色petri网的组合服务测试用例生成[J];东南大学学报(自然科学版);2008年04期
2 王晨;王红兵;许迅;;基于Petri网的OWL-S流程模型的验证与分析[J];电脑知识与技术;2008年07期
3 崔华;应时;袁文杰;胡罗凯;;语义Web服务组合综述[J];计算机科学;2010年05期
4 罗楠;严隽薇;刘敏;;一种基于有色Petri网的语义Web服务组合验证机制[J];计算机集成制造系统;2007年11期
5 胡新;王映康;;一种基于随机PETRI网的OWL-S量化描述模型[J];计算机科学;2012年S1期
本文编号：2743468
本文链接：https://www.wllwen.com/guanlilunwen/ydhl/2743468.html
