Anam Amjad, Farooque Azam, Muhammad Waseem Anwar, Wasi Haider Butt, Muhammad Rashid, Aamir Naeem. UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC). IEEE Access, 6:76198-76216, 2018. [doi]
Abstract is missing.