基于i-BPMN业务架构的CPN可执行建模方法
CPN Executable Modeling Method Based on i-BPMN Business Architecture
DOI: 10.12677/AAM.2023.122058, PDF,   
作者: 周宇秀, 倪 枫*, 刘 姜, 肖云天, 朱佳怡:上海理工大学管理学院,上海
关键词: BPMNCPN业务架构建模方法BPMN CPN Business Architecture Modeling Method
摘要: BPMN (Business Process Model and Notation)已成为企业业务架构的主流框架标准。但由于其本身存在的局限性,对业务架构描述存在不足,且无法对业务架构的动态特性进行分析,因此,对于现有的基于TOGAF中ACF元模型提出一种完整覆盖业务架构的i-BPMN建模方法进行研究,建立i-BPMN中的四种模型场景过程模型、活动模型、规则模型以及数据实体模型与CPN (Colored Petri nets)的建模语言间映射关系,实现了架构模型组到可执行模型的转化,提出一种基于i-BPMN业务架构的CPN可执行模型五阶段建模方法,方法过程中采用CPN Tools工具对业务架构进行动态仿真分析。最后,以智慧课堂中“课堂小测”的i-BPMN业务架构为例,验证该方法的可行性和有效性。由于映射过程是一一映射的,为模型组到可执行模型的自动转换提供了技术支持。
Abstract: Business Process Model and Notation (BPMN) has become the mainstream framework standard for enterprise Business architecture. However, due to its own limitations, the description of the busi-ness architecture is insufficient, and the dynamic characteristics of the business architecture cannot be analyzed. Therefore, an i-BPMN modeling method based on the ACF metamodel in TOGAF is pro-posed to completely cover the business architecture. The mapping relationship between scene pro-cess model, activity model, rule model, data entity model and CPN (Colored Petri Nets) modeling language was established in i-BPMN, and the transformation from architecture model group to ex-ecutable model was realized. A five-stage modeling method of CPN executable model based on i-BPMN business architecture is proposed. CPN Tools is used to dynamically simulate and analyze the business architecture. Finally, the i-BPMN business architecture of “classroom quiz” in smart classroom is taken as an example to verify the feasibility and effectiveness of this method. Since the mapping process is one-to-one, it provides technical support for automatic transformation of model groups into executable models.
文章引用:周宇秀, 倪枫, 刘姜, 肖云天, 朱佳怡. 基于i-BPMN业务架构的CPN可执行建模方法[J]. 应用数学进展, 2023, 12(2): 550-562. https://doi.org/10.12677/AAM.2023.122058

参考文献

[1] OMG (2011) Business Process Model and Notation (BPMN) Version 2.0.
[2] Dijkman, R.M., Dumas, M. and Ouyang, C. (2008) Semantics and Analysis of Business Process Models in BPMN. Information & Software Technology, 50, 1281-1294. [Google Scholar] [CrossRef
[3] Zafar, I., Azam, F., et al. (2019) A Novel Framework to Automatically Generate Executable Web Services from BPMN Models. IEEE Access, 7, 93653-93677. [Google Scholar] [CrossRef
[4] Yongchareon, S., Liu, C.F. and Zhao, X.H. (2020) UniFlexView: A Unified Framework for Consistent Construction BPMN and BPEL Process Views. Concurrency and Computation: Practice and Experience, 32, e5646. [Google Scholar] [CrossRef
[5] Díaz, E., et al. (2020) An Empirical Study of Rules for Mapping BPMN Models to Graphical User Interfaces. Multimedia Tools and Applications, 80, 9813-9848.
[6] Li, L. and Dai, F. (2018) Transformation and Visualization of BPMN Models to Petri Nets. IOP Conference Series: Earth and Environmental Science, 186, Article ID: 012047. [Google Scholar] [CrossRef
[7] Da, I.F., Zhao, W.Z., Yang, Y., et al. (2018) Formal Semantics and Analysis of BPMN 2.0 Choreographies.
[8] Umair, M., Kamel, B., Li, Z., et al. (2018) Transformation of Business Process Model and Notation Models on to Petri Nets and Their Analysis. Advances in Mechanical Engineering, 10, 668-688. [Google Scholar] [CrossRef
[9] Li, Z.H. and Ye, Z.W. (2021) A Petri Nets Evolution Method that Supports BPMN Model Changes. Scientific Programming, 2021, Article ID: 6610795. [Google Scholar] [CrossRef
[10] Zhong, C., He, W., Li, Z., et al. (2019) Deadlock Analysis and Control Using Petri Net Decomposition Techniques. Information Sciences, 482, 440-456. [Google Scholar] [CrossRef
[11] Dechsupa, C., Vatanawood, W. and Thongtak, A. (2019) Hierar-chical Verification of the BPMN Design Model Using the State Space Analysis. IEEE Access, 7, 16795-16815. [Google Scholar] [CrossRef
[12] Naoum, M., Hichami, O.E., Achhab, M.A., et al. (2016) A Probabilistic Method for Business Process Verification: Reachability, Liveness and Deadlock Detection. IEEE Interna-tional Colloquium on Information Science & Technology, Tangier, 24-26 October 2016, 128-132. [Google Scholar] [CrossRef
[13] Corradini, F., Morichetta, A., Polini, A., et al. (2020) Correctness Checking for BPMN Collaborations with Sub-Processes. Journal of Systems and Software, 166, Article ID: 110594. [Google Scholar] [CrossRef
[14] Ramos-Merino, M., Santos-Gago, J.M., et al. (2019) BPMN-E2: A BPMN Extension for an Enhanced Work Flow Description. Software & Systems Modeling, 18, 2399-2419. [Google Scholar] [CrossRef
[15] Yoursfi, A., Bauer, C., Saidi, R., et al. (2016) uBPMN: A BPMN Extension for Modeling Ubiquitous Business Processes. Information & Software Technology, 74, 55-68. [Google Scholar] [CrossRef
[16] Onggo, B.S., et al. (2018) A BPMN Extension to Support Dis-crete Event Simulation for Healthcare Applications: An Presentation of Queues, Attributes and Data-Driven Decision Points. Journal of the Operational Research Society, 69, 788-802. [Google Scholar] [CrossRef
[17] 陈蕾, 倪枫. 基于i-BPMN的翻转课堂教学系统业务流程建模[J]. 智能计算机与应用, 2019, 9(4): 180-186, 191.
[18] 倪枫, 王明哲, 周丰, 等. 可执行体系框架的HCPN建模方法[J]. 系统工程与电子技术, 2010, 32(5): 959-965.
[19] 周小舟. IDEF0与CPN的自动转换方法研究[J]. 计算机与数字工程, 2012, 40(4): 42-44, 125.
[20] Liu, S., Dai, Y., Cai, Z., et al. (2021) Construction of Double-Precision Wisdom Teaching Framework Based on Blockchain Technology in Cloud Platform. IEEE Access, 9, 11823-11834. [Google Scholar] [CrossRef