摘要
为了研究UML活动图模型中可中断活动区间、嵌套的层次活动图等高级构造子的形式化表示,依据进程代数理论,采用一种利用CSP转换UML活动图模型的方法。建立了UML活动图元模型捕获活动图语言的主要概念和属性并依据元模型的类图将建模语言的抽象语法形式化,并给出了以“活动”为中心的形式化表示机制。共享医疗业务流程管理为案列研究背景,对活动图模型高级构造子形式化验证,结果表明CSP代数理论不仅能够对活动图模型进行表示,而且能够对共享医院业务流程多层次、全方面地进行分析。
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 Management(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 business process of the shared hospital.
作者
沈晓奕
杨德仁
SHEN Xiaoyi;YANG Deren(College of Public Health and Management,Ningxia Medical University,Yinchuan 750004;School of Sciences,Ningxia Medical University,Yinchuan 750004)
出处
《计算机与数字工程》
2019年第7期1565-1570,共6页
Computer & Digital Engineering
基金
国家自然科学基金项目“可信工作流管理系统的关键技术及其标准化研究”(编号:61862001)
宁夏医科大学教学专项改革项目“全景式IT类课程‘四融一拓’教改设计与探索”(编号:NYJY1822)
宁夏医科大学研究生创新创业项目“共享医院业务过程模型仿真研究”(编号:YJSCXCY2018006)资助
