Towards a Comprehensive Formal Model for Business Processes

• Published in: Information and Software Technologies Vol. 639; pp. 174 - 186
• Main Authors: Mecheraoui, Khalil, Belala, Nabil, Saïdouni, Djamel Eddine
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2016; Springer International Publishing
• Series: Communications in Computer and Information Science
• Subjects: Action durations; Business processes; Data modeling; Formal specification; Open workflow model; Time constraints; True-concurrency semantics
• ISBN: 9783319462530; 3319462539
• ISSN: 1865-0929; 1865-0937
• DOI: 10.1007/978-3-319-46254-7_14

In order to enable enterprises to operate more effectively and efficiently, providing a high reliability of the specification of business processes is an active research subject. However, the proposed approaches use limited models. WS-BPEL (or BPEL for short) is the most well known and used orchestr...