Towards a Comprehensive Formal Model for Business Processes

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

Full description

Saved in:
Bibliographic Details
Published inInformation and Software Technologies Vol. 639; pp. 174 - 186
Main Authors Mecheraoui, Khalil, Belala, Nabil, Saïdouni, Djamel Eddine
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2016
Springer International Publishing
SeriesCommunications in Computer and Information Science
Subjects
Action durations
Business processes
Data modeling
Formal specification
Open workflow model
Time constraints
True-concurrency semantics
Online AccessGet full text

Cover

More Information
Summary: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 orchestration language describing the Web services composition in form of business process. However, BPEL lacks a formal semantics. This paper introduces High-Level Time Open Workflow Nets with Action Duration model (HL-DToN) which is an extension of Time Petri Nets with Action Duration (DTPN) for tackling different aspects of business processes as far as possible. We use this model either to specify WS-BPEL processes or to directly specify business processes.
ISBN:9783319462530
3319462539
ISSN:1865-0929
1865-0937
DOI:10.1007/978-3-319-46254-7_14