一种利用CSP转换UML活动图模型的方法
沈晓奕1
杨德仁2
1.宁夏医科大学公共卫生与管理学院 银川 7500042.宁夏医科大学理学院 银川 750004
摘要：为了研究UML活动图模型中可中断活动区间、嵌套的层次活动图等高级构造子的形式化表示,依据进程代数理论,采用一种利用CSP转换UML活动图模型的方法.建立了UML活动图元模型捕获活动图语言的主要概念和属性并依据元模型的类图将建模语言的抽象语法形式化,并给出了以"活动"为中心的形式化表示机制.共享医疗业务流程管理为案列研究背景,对活动图模型高级构造子形式化验证,结果表明CSP代数理论不仅能够对活动图模型进行表示,而且能够对共享医院业务流程多层次、全方面地进行分析.
关键词：UML活动图元模型形式化通讯顺序进程(CSP)进程代数Petri网共享医院
分类号：TP311(计算技术、计算机技术)
资助基金：国家自然科学基金(61862001)宁夏医科大学教学专项改革项目(NYJY1822)宁夏医科大学研究生创新创业项目(YJSCXCY2018006)
论文发表日期：2019-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 1565-1570 )
英文信息