一种利用CSP转换UML活动图模型的方法

摘要：

为了研究UML活动图模型中可中断活动区间、嵌套的层次活动图等高级构造子的形式化表示,依据进程代数理论,采用一种利用CSP转换UML活动图模型的方法.建立了UML活动图元模型捕获活动图语言的主要概念和属性并依据元模型的类图将建模语言的抽象语法形式化,并给出了以"活动"为中心的形式化表示机制.共享医疗业务流程管理为案列研究背景,对活动图模型高级构造子形式化验证,结果表明CSP代数理论不仅能够对活动图模型进行表示,而且能够对共享医院业务流程多层次、全方面地进行分析.

关键词：UML活动图、元模型、形式化、通讯顺序进程(CSP)、进程代数、Petri网、共享医院

所属期刊栏目：47

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目"可信工作流管理系统的关键技术及其标准化研究";宁夏医科大学教学专项改革项目"全景式IT类课程‘四融一拓’教改设计与探索";宁夏医科大学研究生创新创业项目"共享医院业务过程模型仿真研究"

在线出版日期：2020-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1565-1570