解金刚
- 作品数：6 被引量：3H指数：1
- 供职机构：国防科学技术大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于规范流网的Web服务行为适配方法研究被引量：1
- 2012年
- Web服务适配是面向服务计算领域的重要研究内容。针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行为,构造服务行为的符号化可覆盖树,构建数据依赖关系和动作依赖关系,构建符号化执行轨迹适配器,直至最后完成服务行为适配的整个建模和适配过程。
- 曹国荣谭庆平解金刚吴浩
- 关键词：服务适配数据依赖适配器
- 非循环Web服务自动组合
- 针对不包含循环的Web服务,提出了一种自动组合的形式化方法.由于Web服务行为具有异步性的特点,而状态迁移系统能够恰当地描述这种异步通信,因此利用状态迁移系统来完成对非循环Web服务的自动组合过程.
文章中阐述...
- 李磊解金刚宋辉
- 关键词：WEB服务异步通信
- 文献传递
- 基于规范流网的Web服务行为适配方法研究
- b服务适配是面向服务计算领域的重要研究内容.针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行为...
- 曹国荣谭庆平解金刚吴浩
- 非循环Web服务自动组合
- 2009年
- 针对不包含循环的Web服务,提出了一种自动组合的形式化方法。由于Web服务行为具有异步性的特点,而状态迁移系统能够恰当地描述这种异步通信,因此利用状态迁移系统来完成对非循环Web服务的自动组合过程。文章中阐述了这一自动组合算法,并通过具体的实例进行了详细解释。该自动组合算法能够解决手动组合非循环Web服务时出现的复杂性,易错性和耗时性等问题。
- 李磊解金刚宋辉
- 关键词：非循环死锁
- 基于规范流网的Web服务适配形式化方法研究
- 随着信息技术和网络技术的飞速发展,企业应用要求在网络环境下,重用现有软件资源,根据特定需求快速灵活地集成新的应用系统。面向服务体系结构/(Service oriented Architecture,SOA/)就是根据这样...
- 解金刚
- 关键词：面向服务体系结构适配器
- 文献传递
- 规范流网中OR-join任务的语义及使能判定算法被引量：2
- 2010年
- 对规范流网中OR-join任务语义及使能判定算法进行了深入研究。首先介绍YAWL语言中与OR-join任务有关的概念,规范流网的有关定义,然后在此基础上定义规范流网关于OR-join任务新的语义;最后提出一种判定规范流网OR-join任务使能的算法,并举例说明算法的正确性和有效性。
- 曹国荣谭庆平吴浩解金刚
- 关键词：PETRI网
