Abstract
The capacity of a composite service to change configuration according to the component services behavior is essential. In particular, this reconfiguration should be done dynamically without disturbing the service execution. To the best of our knowledge, few works were interested in verifying the coherence of this dynamic reconfiguration. By dynamic reconfiguration we mean for example, overcome the failure or the unavailability of a service component by the discovery and the replacement of another service that provides the same functionalities. To do so, we propose an approach based on Event-B for a formal verification of the structural and behavioral properties of the component service before dynamically integrated into the composition during the execution. A logistics-based process is used as use case in order to validate our approach.
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
Preview
Unable to display preview. Download preview PDF.
References
Thakkar, S., Knoblock, C.A., Ambite, J.L.: A view integration approach to dynamic composition of web services. In: Proceedings of 2003 ICAPS Workshop on Planning for Web Services (2003)
Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.C.: Adaptive and dynamic service composition in eflow (2000)
Zhang, D., Chen, M., Zhou, L.: Dynamic and personalized web services composition in e-business. IS Management 22(3), 50–65 (2005)
Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
Hamel, L., Graiet, M., Kmimech, M., Bhiri, M.T., Gaaloul, W.: A proof-based approach for verifying composite service transactional behavior. In: ICSEA, pp. 386–392 (2011)
Hamel, L., Graiet, M., Kmimech, M., Bhiri, M.T., Gaaloul, W.: Verifying Composite Service Transactional Behavior with EVENT-B. In: Crnkovic, I., Gruhn, V., Book, M. (eds.) ECSA 2011. LNCS, vol. 6903, pp. 67–74. Springer, Heidelberg (2011)
Ait-Sadoune, I., Ait-Ameur, Y.: From bpel to event-b. In: International Workshop on Integration of Model-based Formal Methods and Tools (IM FMT) at 7th International Conference on Integrated Formal Methods (IFM), Dusseldorf, Germany (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hamel, L., Graiet, M., Kmimech, M., Bhiri, M.T. (2013). Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. In: La Rosa, M., Soffer, P. (eds) Business Process Management Workshops. BPM 2012. Lecture Notes in Business Information Processing, vol 132. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36285-9_52
Download citation
DOI: https://doi.org/10.1007/978-3-642-36285-9_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36284-2
Online ISBN: 978-3-642-36285-9
eBook Packages: Computer ScienceComputer Science (R0)