Abstract
This paper proposes a formal environment, named FMEBP, for modeling business processes. This environment is based on a transformation approach that translates Web services, described in BPEL language, to abstract specifications, written in a high-level real-time language called D-LOTOS. The interest of D-LOTOS language is provided from the fact that it is based on true-concurrency semantics and supports both timing constraints and actions durations. For assessing the proposed environment we study a specification of a Web services application.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation 140(1), 2–34 (1993)
Belala, N., Saïdouni, D.E.: Actions Duration in Timed Models. In: Proceeding of International Arab Conference on Information Technology (ACIT 2006), Yarmouk University, Irbid (2006)
Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. In: Computer Networks and ISDN Systems, pp. 14:25–14:59 (1987)
Breugel, F.V.: Koshkina, M.: Models and verification of BPEL (2006), http://www.cse.yorku.ca/~ranck/research/drafts/tutorial.pdf
Chirichiello, A., Salaün, G.: Encoding abstract descriptions into executable web services: Towards a formal development. In: Proc. of the 3rd IEEE/WIC/ACM Intl. Conf. on Web Intelligence (WI 2005), pp. 457–463 (2005)
Fares, E., Bodeveix, J.P., Filali, M.: Verification of Timed BPEL 2.0 Models. Enterprise, Business-Process and Information Systems Modeling 81, 261–275 (2011)
Ferrara, A.: Web services: a process algebra approach. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004), New York City, NY, USA, pp. 242–251 (2004)
ISO/IEC. LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. In: International Standard 8807. International Organisation of Standardization — Information Processing Systems — Open Systems Interconnection. Genève (1988)
Jordan, D., et al.: Web Services Business Process Execution Language (WSBPEL), OASIS Standard (2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
Kazhamiakin, R., Pandya, P., Pistore, M.: Representation, verification, and computation of timed properties in Web Service Compositions. In: Proceedings of the IEEE International Conference on Web Services, pp. 497–504. IEEE Computer Society, Washington, DC (2006)
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. IJSTTT 1, 134–152 (1997)
Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Hee, K.V., Reisig, W., Wolf, K. (eds.) Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS 2007), University of Podlasie, pp. 21–35 (June 2007)
Mateescu, R., Rampacek, S.: Formal Modeling and Discrete-Time Analysis of BPEL Web Services. International Journal of Simulation and Process Modeling (2008)
Saïdouni, D.E., Courtiat, J.P.: Prise en compte des durées d’action dans les algèbres de processus par l’utilisation de la sémantique de maximalité. In: Ingénierie des Protocoles (CFIP 2003), France, Paris, pp. 51–66 (2003)
Thivolle, D.: Langages modernes pour la modélisation et la vérification des systèmes asynchrones. PhD thesis. Grenoble: Grenoble University (laboratory of computing) (2011)
van der Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service interaction: Patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 42–88. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Chama, I.E., Belala, N., Saidouni, DE. (2014). FMEBP: A Formal Modeling Environment of Business Process. In: Dregvaite, G., Damasevicius, R. (eds) Information and Software Technologies. ICIST 2014. Communications in Computer and Information Science, vol 465. Springer, Cham. https://doi.org/10.1007/978-3-319-11958-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-11958-8_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11957-1
Online ISBN: 978-3-319-11958-8
eBook Packages: Computer ScienceComputer Science (R0)