| 基于扩展任务结构的工作流建模及其合理性验证 |
| |
| 引用本文： | 邢光林,陈卓.基于扩展任务结构的工作流建模及其合理性验证[J].计算机工程与科学,2006,28(7):91-94. |
| |
| 作者姓名： | 邢光林 陈卓 |
| |
| 作者单位： | 1. 中南民族大学计算机科学学院,湖北,武汉,430074
2. 湖北工业大学计算机学院,湖北,武汉,430068 |
| |
| 摘 要： | 任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限.本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证.
|
| 关 键 词： | 工作流建模 扩展任务结构 合理性验证 |
| 文章编号： | 1007-130X(2006)07-0091-04 |
| 修稿时间： | 2005年6月17日 |
Workflow Modeling Based on the Extended Task Structure and Its Soundness Verification |
| |
| XING Guang-lin,CHEN Zhuo.Workflow Modeling Based on the Extended Task Structure and Its Soundness Verification[J].Computer Engineering & Science,2006,28(7):91-94. |
| |
| Authors: | XING Guang-lin CHEN Zhuo |
| |
| Abstract: | Task structure is a good general representative of workfiow modeling languages. It has the advantages of compact representation, implicit termination and similar workflow modeling languages used by today＇s leading workflow management systems. But its expressive power and analysis capability are limit ted. At first we extend the expressive power of the task structure such that it can support data flow between tasks, and then we analyze and verify the soundness of the extended task structure. |
| |
| Keywords: | workflow modeling extended task structure soundness verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
