您的位置: 专家智库 > >

湖南省教育厅科研基金(052520)

作品数:4 被引量:21H指数:2
相关作者:李长云黄贤明梁爱南吴岳忠更多>>
相关机构:湖南工业大学更多>>
发文基金:湖南省教育厅科研基金湖南省自然科学基金湖南省教育厅优秀青年基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 3篇Π演算
  • 3篇ECA规则
  • 2篇形式化
  • 2篇工作流
  • 1篇建模方法
  • 1篇工作流建模
  • 1篇工作流模式
  • 1篇分布式
  • 1篇分布式计算
  • 1篇分布式计算模...
  • 1篇WEB服务

机构

  • 4篇湖南工业大学

作者

  • 4篇李长云
  • 3篇梁爱南
  • 3篇黄贤明
  • 1篇吴岳忠

传媒

  • 1篇计算机应用与...
  • 1篇计算机应用
  • 1篇计算技术与自...
  • 1篇株洲工学院学...

年份

  • 1篇2008
  • 2篇2007
  • 1篇2006
4 条 记 录,以下是 1-4
排序方式:
工作流模式的π演算形式化
2007年
为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述。
梁爱南李长云黄贤明
关键词:Π演算ECA规则工作流模式
多实例工作流模式的π演算形式化被引量:8
2007年
多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。
梁爱南李长云黄贤明
关键词:Π演算ECA规则
基于π演算的多实例工作流模式的建模方法被引量:1
2008年
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。
梁爱南李长云黄贤明
关键词:工作流建模Π演算ECA规则
Web服务技术综述被引量:12
2006年
概述Web服务技术的基本概念及其体系结构,分析其研究的问题和核心技术,描述了Web服务的发现和集成技术及语义Web服务,最后提出了研究面临的挑战。
吴岳忠李长云
关键词:WEB服务分布式计算模型
共1页<1>
聚类工具0