计算机与数字工程2019，Vol.47Issue(7)：1565-1570,6.DOI:10.3969/j.issn.1672-9722.2019.07.001
一种利用CSP转换UML活动图模型的方法
A Method to Transform UML Activity Diagram Model Using CSP
摘要
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.关键词
UML活动图/元模型/形式化/通讯顺序进程(CSP)/进程代数/Petri网/共享医院Key words
UML activity diagrams/meta model/formalizing/communicating sequential process(CSP)/process algebra/ Petri net/shared hospital分类
信息技术与安全科学引用本文复制引用
沈晓奕,杨德仁..一种利用CSP转换UML活动图模型的方法[J].计算机与数字工程,2019,47(7):1565-1570,6.基金项目
国家自然科学基金项目"可信工作流管理系统的关键技术及其标准化研究"(编号:61862001) （编号:61862001）
宁夏医科大学教学专项改革项目"全景式IT类课程''四融一拓''教改设计与探索"(编号:NYJY1822) （编号:NYJY1822）
宁夏医科大学研究生创新创业项目"共享医院业务过程模型仿真研究"(编号:YJSCXCY2018006)资助. （编号:YJSCXCY2018006）
