UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC)

被引：9

作者：

Amjad, Anam ^{[1
]}

Azam, Farooque ^{[1
]}

Anwar, Muhammad Waseem ^{[1
]}

Butt, Wasi Haider ^{[1
]}

Rashid, Muhammad ^{[2
]}

Naeem, Aamir ^{[1
]}

机构：

[1] Natl Univ Sci & Technol, Coll Elect & Mech Engn, Dept Comp & Software Engn, Islamabad 44000, Pakistan

[2] Umm Al Qura Univ, Comp Engn Dept, Mecca 21421, Saudi Arabia

来源：

IEEE ACCESS | 2018年 / 6卷

关键词：

Business processes; BPML; complex events; EPC; UMLPACE; verification;

D O I：

10.1109/ACCESS.2018.2883610

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Business processes (BPs) are often modeled to elaborate process-related business requirements (BRs). This leads to verify the complex BRs in early automation stages. Among various BP languages, event-driven process chain (EPC) is a well-known semi-formal modeling language, which is verifiable after transforming it into any other formal language, such as, timed automata or Petri nets. However, full potential of EPC cannot be exploited as yet because existing EPC tools can only model or verify the simple patterns and they lack the modeling/verification of complex patterns. Moreover, only the proprietary tools are available, which limit its applicability toward overwhelming utilization amongst widespread practitioners and research community. This research work is the first attempt to make EPC more expressive in terms of modeling complex patterns for real time systems. Particularly, the UMLPACE (Unified Modeling Language Profile for Atomic and Complex events in EPC) has been developed, which adapts the concepts of UML activity diagram for representing both simple as well as complex patterns in EPC. As a part of research, a complete open source transformation engine is developed to transform UMLPACE source models into timed automata target models for the verification of complex BPs. The implementation of transformation engine is carried out in JAVA language and Acceleo tool through model-to-text transformation approach. Finally, the broader applications of UMLPACE are demonstrated through two benchmark case studies.

引用

页码：76198 / 76216

页数：19

共 41 条

[1]

Aalst W.M.P., 2009, FORM ASP COMPUT, V22, P459

[2]

Amjad A., 2017, PROC 9 IEEE GCC C EX, P1

[3] Event-Driven Process Chain for Modeling and Verification of Business Requirements-A Systematic Literature Review [J].