摘要
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到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.
出处
《西南师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第3期105-109,共5页
Journal of Southwest China Normal University(Natural Science Edition)
基金
重庆市自然科学基金资助项目(CSTC
2004BB0146)
重庆市信息产业发展基金资助项目(200401021)