Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Assuming that \(\tau \notin Act\) (\(\tau \) indicates invisible action, also known as silent or internal action).
- 2.
\(\Phi PL\) is the set of multisets over PL.
- 3.
It is used to force early termination of some of the children (in the parallel case) [5].
- 4.
For instance, because of a selection failure.
- 5.
In WS-BPEL, “if \(\mathtt {startCounterValue}\) is greater than \(\mathtt {finalCounterValue}\), then the child \(\langle \mathtt {scope}\rangle \) activity must not be performed and the \(\langle \mathtt {forEach}\rangle \) activity is complete.” [5].
References
Rogge-Solti, A., Kasneci, G.: Temporal anomaly detection in business processes. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 234–249. Springer, Heidelberg (2014). doi:10.1007/978-3-319-10172-9_15
Thatte, S.: XLANG: Web services for business process design. Microsoft Corporation (2001)
Leymann, F., et al.: Web services flow language (WSFL 1.0) (2001)
Kavantzas, N., et al.: Web services choreography description language version 1.0. W3C Candidate Recommendation 9, 290–313 (2005)
OASIS Standard. WSBPEL Ver. 2.0 (2007). http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
Andrews, T., et al.: Business Process Execution Language for Web services (2003)
Thivolle, D.: Langages modernes pour la modélisation et la vérification des systèmes asynchrones. Ph.D. thesis, Université de Grenoble and Université Polytechnique de Bucarest (2011)
Cavalli, A., et al.: Definition of the mapping from BPEL to WS-TEFSM. In: Livrable WEBMOV-FC-D2.3/T2.4 (2008)
Stahl, C.: A Petri net semantics for BPEL (2005)
Lohmann, N.: A feature-complete petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008). doi:10.1007/978-3-540-79230-7_6
Abouzaid, F., Mullins, J.: A calculus for generation, verification and refinement of BPEL specifications. Electron. Notes Theor. Comput. Sci. 200(3), 43–65 (2007)
Belala, N., et al.: Time petri nets with action duration: a true concurrency real-time model. Int. J. Embed. Real-Time Commun. Syst. (IJERTCS) 4(2), 62–83 (2013)
ISO/JTC1/SC7/ WG19: International Standard ISO/IEC 15909: Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation (2004)
Reisig, W., Massuthe, P., Schmidt, K.: An Operating Guideline Approach to the SOA (2005)
Petri, C.: Kommunikation mit Automaten. Ph.D. thesis. Schriften des Instituts für instrumentelle Mathematik, University of Bonn, Germany (1962)
WFMC: Workflow management coalition terminology and glossary. Technical Report WFMC-TC-1011, Workflow Management Coalition, Brussels (1999)
van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) Application and Theory of Petri Nets 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997). doi:10.1007/3-540-63139-9_48
Sbaï, Z.: Contribution á la Modélisation et á la Vérification de Processus Workflow. Ph.D. thesis, Ecole Doctorale Informatique, Télécommunications et Electronique de paris. France (2010)
Sbaï, Z., Barkaoui, K., Boucheneb, H.: Compatibility analysis of time open workflow nets. In: PNSE 2014 - Petri Nets and Software Engineering (2014)
Jenner, L.: Further studies on timed testing of concurrent systems. Technical Report 4, Institute für Mathematik, Universität Augsburg (1998)
Merlin, P.M.: A study of the recoverability of computing systems. Ph.D. thesis. University of California, Irvine, USA (1974)
Ramchandani, C.: Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA (1974)
Sifakis, J.: Use of petri nets for performance evaluation. Model. Perform. Eval. Comput. Syst. 4, 75–93 (1977)
Saïdouni, D.E., Belala, N.: Actions duration in timed models. In: The International Arab Conference on Information Technology (2006)
Du, Y., et al.: Timed compatibility analysis of Web service composition: A modular approach based on Petri nets. Autom. Sci. Eng. 11(2), 594–606 (2014)
Mecheraoui, K.: Spécification formelle des processus métiers par l’utilisation des réseaux de Petri temporellement temporisés. MSc Thesis, Ecole Nationale Supérieure d’Informatique (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Mecheraoui, K., Belala, N., Saïdouni, D.E. (2016). Towards a Comprehensive Formal Model for Business Processes. In: Dregvaite, G., Damasevicius, R. (eds) Information and Software Technologies. ICIST 2016. Communications in Computer and Information Science, vol 639. Springer, Cham. https://doi.org/10.1007/978-3-319-46254-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-46254-7_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46253-0
Online ISBN: 978-3-319-46254-7
eBook Packages: Computer ScienceComputer Science (R0)