湖南省教育厅科研基金(052520)
- 作品数：4 被引量：21H指数：2
- 相关作者：李长云黄贤明梁爱南吴岳忠更多>>
- 相关机构：湖南工业大学更多>>
- 发文基金：湖南省教育厅科研基金湖南省自然科学基金湖南省教育厅优秀青年基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 工作流模式的π演算形式化
- 2007年
- 为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述。
- 梁爱南李长云黄贤明
- 关键词：Π演算ECA规则工作流模式
- 多实例工作流模式的π演算形式化被引量：8
- 2007年
- 多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。
- 梁爱南李长云黄贤明
- 关键词：Π演算ECA规则
- 基于π演算的多实例工作流模式的建模方法被引量：1
- 2008年
- π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。
- 梁爱南李长云黄贤明
- 关键词：工作流建模Π演算ECA规则
- Web服务技术综述被引量：12
- 2006年
- 概述Web服务技术的基本概念及其体系结构,分析其研究的问题和核心技术,描述了Web服务的发现和集成技术及语义Web服务,最后提出了研究面临的挑战。
- 吴岳忠李长云
- 关键词：WEB服务分布式计算模型
