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

Correctness Control and Detection in Aspect-Oriented Business Process Modeling

作　　者：张璇[1,2] 王旭 李彤[1,2] 陈清毅[1,2] 刘俊晖 

机构地区：[1]云南大学软件学院,昆明650091 [2]云南省软件工程重点实验室,昆明650091 [3]云南大学经济学院,昆明650091

出　　处：《计算机学报》2018年第3期521-544,共24页Chinese Journal of Computers

基　　金：国家自然科学基金(61502413;61262025;61379032;61662085);云南省应用基础研究计划面上项目(2016FB106);云南省教育厅科学研究基金重点项目(2015Z020;2013A056);云南省软件工程重点实验室开放基金面上项目(2015SE202);云南省创新团队"数据驱动的软件工程创新团队"项目;云南大学高水平创新团队"软件工程创新团队"专项项目;云南大学"中青年骨干教师培养计划"专项项目;云南大学人文社科项目基金(13YNUHSS007)资助

摘　　要：在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点分离思想,将实现不同功能的活动按照横切关注点活动和基本业务活动实施分离,提出面向方面业务过程建模框架.提供业务过程可重用建模方法的同时,灵活可控地实现过程模型正确性保障与检测.在面向方面业务过程建模框架中,首先定义面向方面业务过程元模型,将横切关注点活动封装为横切方面,将基本业务活动建模为基本过程.然后,按照业务过程模型正确性需求,基于面向方面编织特征,定义面向方面业务过程模型正确性,设计方面间编织正确性准则和方面织入基本过程正确性准则,为面向方面业务过程建模提供预防错误与异常建模的方法,并提出过程建模正确性检测方法,在建模过程中保证无错误与异常.在此基础上,提出面向方面业务过程建模方法,证明过程模型的结构正确性、性质合理性和行为一致性,并设计实现建模辅助工具TPAT(Trustworthy business Process Aided Tool),为面向方面业务过程建模提供技术支持.最后,通过在两个银行业务案例分析中使用所提出的理论、方法和技术,并进行性能评估,说明所提出的理论和方法是可行的,开发的辅助工具是有效的.面向方面方法可以为业务过程建模提供灵活可重用的建模方法,通过使用建模正确性准则并在建模过程中监控异常与错误,保证业务过程模型正确性,支持组织机构获得更好的过程支持和日益变更环境的适应性.Organizations increasingly work in a process-oriented manner, which offer promising perspectives for reducing costs and flow times, and increasing quality of service and productivity. As a consequence, single organizations may be dealing with collections of hundreds or thousands business process models. In order to support this abundance of business process modeling flexibility and improve business process models reusability, separation of concerns is used to separate the crosscutting activities and basic activities in accordance with the different functions ofthese activities, and an aspect-oriented business process modeling framework is proposed. This framework provides a reusable process modeling method and also provided a flexible and controllableway to assure correctness of the whole business process models. In the framework, an aspect oriented business process meta-model is defined first. The crosscutting concerns activities are encapsulated as crosscutting aspects, while the basic business activities are modeled in basic processes. Then, according to the correctness requirements of the business process model, based on the weaving characteristics of aspect-oriented approach, weaving correctness is defined. Weaving correctness criteria between multi-aspects and between aspects and basic processes are designed. Errors or mistakes of aspect-oriented business process modeling are prevented during the procedure of modeling. In addition, a detection method for errors or mistakes in process modeling is proposed to ensure error-free business process modeling. Based on the meta-model and the correctness criteria and the detection method, an aspect-oriented business process modeling approach is proposed. The corresponding correctness of the structures, properties and behaviors are proved. Thirdly, an aided tool TPAT （Trustworthy business Process Aided Tool） is developed to provide modeling support. Finally, the theory, the approach and the tool were used in the cases of two banking business processes. Through the

关 键 词：面向方面建模 业务过程建模 PETRI网 正确性 性能 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]