| 一种基于用例和Petri网的业务过程建模方法 |
| |
| 引用本文： | 唐燕飞,张为群.一种基于用例和Petri网的业务过程建模方法[J].西南师范大学学报(自然科学版),2006,31(3):105-109. |
| |
| 作者姓名： | 唐燕飞 张为群 |
| |
| 作者单位： | 1. 西南大学,计算机与信息科学学院,重庆,400715;西南大学,智能软件与软件工程实验室,重庆,400715;西南大学,经济管理学院,重庆,400715
2. 西南大学,计算机与信息科学学院,重庆,400715;西南大学,智能软件与软件工程实验室,重庆,400715 |
| |
| 基金项目： | 重庆市自然科学基金资助项目(CSTC,2004BB0146)，重庆市信息产业发展基金资助项目(200401021) |
| |
| 摘 要： | 在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.
|
| 关 键 词： | 用例 工作流 业务过程 Petri网 形式化 业务过程建模 |
| 文章编号： | 1000-5470（2006）03-0105-05 |
| 收稿时间： | 2006-01-03 |
| 修稿时间： | 2006年1月3日 |
A Modeling Method of Business Process Based on Use Case and Petri Nets |
| |
| TANG Yan-fei,ZHANG Wei-qun.A Modeling Method of Business Process Based on Use Case and Petri Nets[J].Journal of Southwest China Normal University(Natural Science),2006,31(3):105-109. |
| |
| Authors: | TANG Yan-fei ZHANG Wei-qun |
| |
| Institution: | School of Computer and Information Science, Southwest University, Chongqing 400715, China Intelligent Software and Software Engineering Laboratory, Southwest University, Chongqing 400715, China; School of Economics and Management, Southwest University, Chongqing 400715, China |
| |
| Abstract: | |
| |
| Keywords: | use case workflow business process Petri nets formalization business process modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《西南师范大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《西南师范大学学报(自然科学版)》下载免费的PDF全文 |
|
