摘要
基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。
UML-based business process modeling is one of the most important methods in business process modeling.This work gives the formal definition of activity diagrams ,one of the most important tools in UML-based business process modeling.And the formal transformation between activity diagrams and workflow nets is proposed.Then the structural and dynamic properties of UML-based business process models can be analyzed with the support of Petri Nets theory.
出处
《计算机工程与应用》
CSCD
北大核心
2004年第29期226-228,共3页
Computer Engineering and Applications
