黄园媛
- 作品数：4 被引量：18H指数：3
- 供职机构：湖南师范大学数学与计算机科学学院更多>>
- 发文基金：湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 工作流开发平台框架的研究和工作流形式化建模
- 随着经济环境的全球化，企业面临着越来越激烈的竞争。大多数有着竞争力的企业都把业务过程的管理作为他们成功的关键。工作流技术应运而生。作为定义、创建和管理工作流运行的系统软件——工作流管理系统，它巨大的潜在市场和广阔的应用领...
- 黄园媛
- 关键词：工作流工作流引擎工作流建模活动网络图
- 文献传递
- 基于活动网络图的工作流过程定义工具的研究被引量：11
- 2006年
- 该文基于工作流管理联盟(WFMC)制定的工作流过程定义元数据模型,提出了一个独立通用的基于活动网络图的工作流过程定义工具,它遵从WFMC制定的XPDL规范,可以输出一个标准通用的过程定义并能被不同的工作流运行系统解释执行,从而实现完全的过程定义的分离存储。
- 黄园媛高春鸣
- 关键词：工作流模型活动网络图
- 网上拍卖系统的π演算建模被引量：1
- 2005年
- 在分析了基于WEB的网上拍卖系统的需求基础上,针对具有多进程并发通讯特点的该类电子商务系统,采用π演算对系统进行结构和功能建模.本文在简单介绍π演算的语法和语义基础上,用进程表达式对整个系统软件结构框架进行了形式化描述,并分析了π演算的建模能力.结果表明π演算在描述动态进程间的通讯所表现出的优势以及便于编程实现的技术特点,尤其适合这类电子商务系统的分析与设计.
- 黄园媛高春鸣
- 关键词：Π演算并发
- 基于CCS的软件规范描述及实例研究被引量：4
- 2005年
- 软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。
- 高春鸣黄园媛陈火旺
- 关键词：CCS
