欧盟第六框架计划(FP6-033610)
- 作品数：2 被引量：16H指数：2
- 相关作者：范玉顺倪悦刘博更多>>
- 相关机构：清华大学桂林空军学院更多>>
- 发文基金：欧盟第六框架计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于着色Petri网的语义Web服务组合形式化验证被引量：13
- 2010年
- 为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色Petri网组合模型的转换方法,定义了语义Web服务着色Petri网(SWS-net)。转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系,而且能用着色Petri网的形式化方法进行服务组合正确性验证。给出了组合服务的语义一致性验证算法,最后以一个协同设计过程为例对组合服务流程进行仿真验证并在工作流引擎中部署执行。仿真及执行结果表明,服务组合后的流程无死锁并且能够顺利执行。
- 倪悦范玉顺
- 关键词：语义WEB服务着色PETRI网
- 协同业务过程中的语义一致性被引量：3
- 2009年
- 为了解决协同业务过程中的语义不一致问题,使协同企业之间实现数据与知识共享,提出基于描述逻辑的本体不一致性分析方法。首先定义了本体的最小不一致子集、命中集合和调适集合,之后提出DS IO算法求解调适集合,并证明通过删除或修改调适集合中的公理可以有效恢复本体的一致性。最后以实际项目中的协同业务过程为例,在领域本体和协同本体的基础上建立本体一致性分析系统,分析结果证明该文提出的方法可以有效解决本体的不一致问题,从而保证了协同业务过程的语义一致性。
- 刘博范玉顺倪悦
- 关键词：语义本体一致性
