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

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

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...

Full description

Bibliographic Details
Main Authors: Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt, Muhammad Rashid, Aamir Naeem
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Business processes
BPML
complex events
EPC
UMLPACE
verification
Online Access:https://ieeexplore.ieee.org/document/8551266/

Internet

https://ieeexplore.ieee.org/document/8551266/

Similar Items