论文部分内容阅读
UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。
UML活动图模型正确性诊断方法
【摘 要】
：
UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊
【机 构】
：
南京航空航天大学信息科学与技术学院
【出 处】
：
计算机工程
【发表日期】
：
2011年14期
其他文献
近年来,随着我国经济的发展,各行各业的经营效益和规模都在不断扩大,铁路企业作为我国目前运输系统中最为重要的部分,对我国国民经济水平的提高起到了至关重要的作用。随着当
美国次贷危机爆发以来,系统重要性金融机构、“太大而不能倒”、“联系太紧而不能倒”问题受到国际组织、各国监管当局和学界的广泛关注,成为国际金融监管改革的重要内容。随
抗日战争时期,贵州作为西南大后方的交通枢纽,国民政府十分重视其稳定与发展,在贵州省政府的支持下,贵州银行于1941年重组成立。目前学术界对于贵州银行的研究很少。本文以贵
目的探讨甲状腺乳头状癌(PTC)细针穿刺涂片中Galectin-3、Cytokeratin-19的表达及其临床意义。方法选择甲状腺组织样本120例,其中正常甲状腺组织90例(对照组),PTC组织30例(观
现代科学技术的发展日新月异,而且综合性越来越强,新的边缘科学与交叉学科层出不穷,从而促成了学科间的融合,使学科与学科之间的知识变得密不可分,因而,以体现学科知识融合的