【摘 要】
：
为了研究UML活动图模型中可中断活动区间、嵌套的层次活动图等高级构造子的形式化表示,依据进程代数理论,采用一种利用CSP转换UML活动图模型的方法。建立了UML活动图元模型捕
【机 构】
：
宁夏医科大学公共卫生与管理学院,宁夏医科大学理学院
【基金项目】
：
国家自然科学基金项目“可信工作流管理系统的关键技术及其标准化研究”(编号:61862001);宁夏医科大学教学专项改革项目“全景式IT类课程‘四融一拓’教改设计与探索”(编号:NYJY1822);宁夏医科大学研究生创新创业项目“共享医院业务过程模型仿真研究”(编号:YJSCXCY2018006)资助
论文部分内容阅读
为了研究UML活动图模型中可中断活动区间、嵌套的层次活动图等高级构造子的形式化表示,依据进程代数理论,采用一种利用CSP转换UML活动图模型的方法。建立了UML活动图元模型捕获活动图语言的主要概念和属性并依据元模型的类图将建模语言的抽象语法形式化,并给出了以“活动”为中心的形式化表示机制。共享医疗业务流程管理为案列研究背景,对活动图模型高级构造子形式化验证,结果表明CSP代数理论不仅能够对活动图模型进行表示,而且能够对共享医院业务流程多层次、全方面地进行分析。
其他文献
现实生活中人们对幼儿心理健康知识普遍欠缺,没有充分认识到幼儿心理健康的重要性。许多人对幼儿的成长发展,往往只注意身体的健康。而很少注意心理的健康,疏忽了儿童的心理
现行《中华人民共和国会计法》（以下简称“会计法”），自1985年出台后，历经1993年、1999年两次修订，最近一次修订至今已有16载。不可否认，我国的会计环境发生重大转变，会计实践日新月
在各级政府的共同努力下,我国基本上已顺利渡过美国金融危机的冲击。虽然对政府救市行为应当予以肯定,但利益集团、政府的代理人角色、信息不完全以及政府官员的经济人属性及
食品安全健康是现代人最关注的问题之一,其中一大问题就是兽药残留。农牧产品和水产品的质量安全问题越来越严重,急需开发出快速、有效、简便且容易实施的农药兽药检测技术。
市场化的今天,民族文化的传承与创新一直是个难题,金秀瑶族服饰在日趋衰微的当下,对金秀大瑶山民族服饰文化的研究迫在眉睫。文章从《瑶山情》民族服饰创作金奖个案入手,通过
本文以腊肉为实验对象,建立一种融合光谱曲线特征和图像特征的肉类食品分类与检索方法,利用10个3×3的卷积层、3个5×5的卷积层、5个5×5的池化层和2个全连层的C
目前我国省（市）级体操运动员的身体机能训练的监控与评价单一，应选择合理的指标加强监控与评价，为竞技体操科学训练以及预防伤病提供依据；力量，特别是“核心力量”对体操项日来讲，具
提出了基于自适应权重的RFCM聚类算法,主要思路是在每一次迭代中,根据每个对象与聚类中心欧式距离不同,选择改进的正半轴反余切函数对欧式距离进行重新分布后确定均衡因子,通
治高血压 用蜂蜜100克、黑芝麻75克，先将黑芝麻蒸熟捣烂如泥，放进蜂蜜搅拌，用温开水冲化，每日分2次服用。
《班主任》作为一部20世纪80年代文学史上的文学经典,在最初通过主流文化的努力确立了它的文学史经典地位,时过境迁,新世纪之后,众多学者对该部作品重评,分析了《班主任》成