一种基于用例和Petri网的业务过程建模方法

A Modeling Method of Business Process Based on Use Case and Petri Nets

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.

In this paper, following the definition of Use Case description formalization, a mapping algorithm is constructed from the Use Case to Petri nets model, and a modeling method of business process is proposed based on Use Case and Petri nets. This method gets requirement from Use Case, graphs Use Case with Petri nets, so as to get tion of Use Case is unified by the advantage from both modeling tools, The grammatical form of descripintroduction of concept of task in workflow modeling.