欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言（UML）,提出了基于模型驱动架构（MDA）的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
英文摘要：
In order to solve the problem of composition and verifying of semantic Web services,this paper proposes a composite method based on model-driven architecture （MDA） and a matching method based on semantic matching degree. In the static aspects,the OWL-S is modeled by the composite method using UML class diagrams and use-case diagram. The dynamic composition of OWL-S is modeled by the use of activity diagram,In the procedure of modeling,a matching method based on semantic matching degree has been used to choose a subset of Web services for determining the most appropriate composite Web service and the compositing UML model can be translated into the Promela language to be verified by the model checking tools,SPIN. The verified UML model,as a template,is stored in ontology knowledge base. The model has been developed to improve the efficiency of the semantic Web services,and ensure the process of dynamic composition accuracy. By the use of templates and semantic matching degree,the most suitable and available Web services can be found and selected real-time.
同期刊论文项目
同项目期刊论文
位置：