Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case
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.
KeywordsWeb Service Dynamic reconfiguration Event-B formal verification structural and behavioral properties logistics-based process
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 2.Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.C.: Adaptive and dynamic service composition in eflow (2000)Google Scholar
- 3.Zhang, D., Chen, M., Zhou, L.: Dynamic and personalized web services composition in e-business. IS Management 22(3), 50–65 (2005)Google Scholar
- 5.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)Google Scholar
- 7.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)Google Scholar