倪悦
- 作品数：12 被引量：16H指数：2
- 供职机构：清华大学更多>>
- 发文基金：国家自然科学基金欧盟第六框架计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 面向业务过程的语义Web服务组合关键问题研究
- 倪悦
- 关键词：语义WEB服务组合
- 语义Web服务组合的语义一致性验证方法
- 语义Web服务组合的语义一致性验证方法属于语义网及Web服务领域，其特征在于，在计算机上建立语义Web服务着色Petri网模型的存储单元、参数语义一致性验证子模块、QoS(Quality of Services，服务质量...
- 范玉顺倪悦
- 面向服务环境下基于本体映射的多领域业务过程协同
- 2010年
- 为解决面向服务环境下多领域业务过程协同中的语义不一致问题,使不同领域提供的Web服务实现无障碍交互以及数据和知识共享,提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体,然后根据各领域的参考本体生成领域间的协同本体,最后将协同本体通过映射转换到BPEL和WSDL文件。该方法能够保留流程与Web服务中的原始语义信息,从而保证不同领域业务过程协同地顺利进行。原型系统在欧盟ImportNET项目中得到了验证。
- 倪悦范玉顺
- 关键词：WEB服务本体映射
- 语义Web服务组合的模型转换及形式化验证方法
- 语义Web服务组合的模型转换及形式化验证方法属于语义网及Web服务领域，其特征在于，在计算机上建立语义Web服务组合存储单元、模型转换子模块、语义Web服务着色Petri网存储子模块、正确性验证子模块和本体工具Proté...
- 范玉顺倪悦
- 基于着色Petri网的语义Web服务组合形式化验证被引量：12
- 2010年
- 为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色Petri网组合模型的转换方法,定义了语义Web服务着色Petri网(SWS-net)。转换后的模型不仅能清晰表示服务组合中各子过程之间的逻辑关系,而且能用着色Petri网的形式化方法进行服务组合正确性验证。给出了组合服务的语义一致性验证算法,最后以一个协同设计过程为例对组合服务流程进行仿真验证并在工作流引擎中部署执行。仿真及执行结果表明,服务组合后的流程无死锁并且能够顺利执行。
- 倪悦范玉顺
- 关键词：语义WEB服务着色PETRI网
- 语义Web服务组合的模型转换及形式化验证方法
- 语义Web服务组合的模型转换及形式化验证方法属于语义网及Web服务领域，其特征在于，在计算机上建立语义Web服务组合存储单元、模型转换子模块、语义Web服务着色Petri网存储子模块、正确性验证子模块和本体工具Proté...
- 范玉顺倪悦
- 文献传递
- 协同业务过程中的语义一致性被引量：3
- 2009年
- 为了解决协同业务过程中的语义不一致问题,使协同企业之间实现数据与知识共享,提出基于描述逻辑的本体不一致性分析方法。首先定义了本体的最小不一致子集、命中集合和调适集合,之后提出DS IO算法求解调适集合,并证明通过删除或修改调适集合中的公理可以有效恢复本体的一致性。最后以实际项目中的协同业务过程为例,在领域本体和协同本体的基础上建立本体一致性分析系统,分析结果证明该文提出的方法可以有效解决本体的不一致问题,从而保证了协同业务过程的语义一致性。
- 刘博范玉顺倪悦
- 关键词：语义本体一致性
- 基于Web的知识管理系统应用研究
- 本文探讨了基于Web的知识管理系统的构建原则并提出了参考体系结构,给出了一种基于群件的知识管理系统构建方案。
- 倪悦范玉顺
- 关键词：WEB服务知识管理知识管理系统群件
- 文献传递网络资源链接
- 基于元对象机制的语义Web服务组合模型转换方法被引量：1
- 2011年
- 为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换。该方法能够保留流程与Web服务中的原始语义信息,提供了灵活的模型转换方法,从而保证不同领域业务过程协同的顺利进行。通过在欧盟ImportNET项目中的应用验证了所提框架和转换方法的有效性。
- 倪悦范玉顺
- 关键词：语义WEB服务
- 基于Web的知识管理系统应用研究
- 本文探讨了基于Web的知识管理系统的构建原则并提出了参考体系结构,给出了一种基于群件的知识管理系统构建方案。
- 倪悦范玉顺
- 关键词：WEB知识管理知识管理系统
- 文献传递
