面向方面业务过程建模的正确性控制与检测.PDF

第 卷 第 期 ４１ ３ 　 　　 　　 　　 　　 Ｖｏｌ．４１ Ｎｏ．３ 年 月 ２０１８ ３ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｍａｒ．２０１８ 　 面向方面业务过程建模的正确性控制与检测 ），） ） ），） ），） ），） １ ２ ３ １ ２ １ ２ １ ２ 张 璇 王 旭 李 彤 陈清毅 刘俊晖 　 　 　 　 　 　 　 １）（云南大学软件学院 昆明 ６５００９１） 　 　 ２）（云南省软件工程重点实验室 昆明 ６５００９１） 　 　 ３）（云南大学经济学院 昆明 ６５００９１） 　 　 摘 要 在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时，积 　 　 累了成百上千的业务过程模型 为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性，采用关注点 ． 分离思想，将实现不同功能的活动按照横切关注点活动和基本业务活动实施分离，提出面向方面业务过程建模框 架 提供业务过程可重用建模方法的同时，灵活可控地实现过程模型正确性保障与检测 在面向方面业务过程建模 ． ． 框架中，首先定义面向方面业务过程元模型，将横切关注点活动封装为横切方面，将基本业务活动建模为基本过 程 然后，按照业务过程模型正确性需求，基于面向方面编织特征，定义面向方面业务过程模型正确性，设计方面间 ． 《 编织正确性准则和方面织入基本过程正确性准则，为面向方面业务过程建模提供预防错误与异常建模的方法，并 提出过程建模正确性检测方法，在建模过程中保证无错误与异常 在此基础上，提出面向方面业务过程建模方法， ． 计 证明过程模型的结构正确性、性质合理性和行为一致性，并设计实现建模辅助工具 （ ＴＰＡＴ Ｔｒｕｓｔｗｏｒｔｈ ｂｕｓｉｎｅｓｓ ｙ ），为面向方面业务过程建模提供技术支持 最后，通过在两个银行业务案例分析中使用所提出 ＰｒｏｃｅｓｓＡｉｄｅｄＴｏｏｌ ． 的理论、方法和技术，并进行性能评估，说明所提出的理论和方法是可行的，开发的辅助工具是有效的 面向方面方 算 ． 法可以为