A Method to Transform UML Activity Diagram Model Using CSP
SHEN Xiaoyi
YANG Deren
Abstract：In order to study the formal representation of high-level constructions such as interruptible activity intervals and nested hierarchical activity diagrams in UML activity diagram model,a method of transforming UML activity diagram model by CSP is adopted according to the theory of process algebra. The main concepts and attributes of UML activity diagram meta model capture activity diagram language are established,and the abstract syntax of modeling language is formalized according to the class diagram of meta model,and a formal representation mechanism centered on ＂activity＂ is given. Shared Medical Business Process Manage?ment(SMBPM)is the background of case study. Formal verification of the high-level structure of the activity diagram model shows that the CSP algebra theory can not only represent the activity diagram model,but also analyze the multi-level and all-sided busi?ness process of the shared hospital.
Keywords：UML activity diagramsmeta modelformalizingcommunicating sequential process(CSP)process algebraPetri netshared hospital
Publication Date：2019-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：6( 1565-1570 )