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

• 作者: 刘俊晖 张璇 李彤 王旭 陈清毅
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 面向方面建模 业务过程建模 Petri网 正确性 性能
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 软件技术与理论
• 页码范围: 521-544
• 页数: 24页
• 分类号: TP311
• 字数: 24317字
• 语种: 中文
• DOI: 10.11897/SP.J.1016.2018.00521

摘要

在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点分离思想,将实现不同功能的活动按照横切关注点活动和基本业务活动实施分离,提出面向方面业务过程建模框架.提供业务过程可重用建模方法的同时,灵活可控地实现过程模型正确性保障与检测.在面向方面业务过程建模框架中,首先定义面向方面业务过程元模型,将横切关注点活动封装为横切方面,将基本业务活动建模为基本过程.然后,按照业务过程模型正确性需求,基于面向方面编织特征,定义面向方面业务过程模型正确性,设计方面间编织正确性准则和方面织入基本过程正确性准则,为面向方面业务过程建模提供预防错误与异常建模的方法,并提出过程建模正确性检测方法,在建模过程中保证无错误与异常.在此基础上,提出面向方面业务过程建模方法,证明过程模型的结构正确性、性质合理性和行为一致性,并设计实现建模辅助工具TPAT(Trustworthy business Process Aided Tool),为面向方面业务过程建模提供技术支持.最后,通过在两个银行业务案例分析中使用所提出的理论、方法和技术,并进行性能评估,说明所提出的理论和方法是可行的,开发的辅助工具是有效的.面向方面方法可以为业务过程建模提供灵活可重用的建模方法,通过使用建模正确性准则并在建模过程中监控异常与错误,保证业务过程模型正确性,支持组织机构获得更好的过程支持和日益变更环境的适应性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学软件学院	151	861	14.0	22.0
3	刘俊晖	云南大学软件学院	6	3	1.0	1.0
5	张璇	云南大学软件学院	37	266	8.0	15.0
9	王旭	云南大学经济学院	30	153	7.0	11.0
12	陈清毅	云南大学软件学院	4	3	1.0	1.0