Querying and Splitting Techniques for SBA: a Model Checking based approach

Abstract : Current approaches to fragmentation of services are not business- oriented. They are not based on a real temporal query language, and in general, they return execution traces instead of parts of the process. We propose in this work an approach for fragmentation based on model checking and slicing techniques. Fragmentation is based on business rules expressed in LTL. In our work the fragmentation does not consist in splitting a web service composition in a set of fragments. It is defined as the seeking of a single fragment that contributes to the verification of a business rule.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01354474
Contributor : Équipe Gestionnaire Des Publications Si Liris <>
Submitted on : Thursday, August 18, 2016 - 7:29:04 PM
Last modification on : Tuesday, February 26, 2019 - 11:49:41 AM

Links full text

Identifiers

Citation

Yahia Chabane, François Hantry, Mohand-Said Hacid. Querying and Splitting Techniques for SBA: a Model Checking based approach. 19th INternational Symposium on Methodologies for Intelligent Systems (ISMIS 2011), Jun 2011, Warsaw, Poland. pp.105-122, ⟨10.1007/978-3-642-22732-5_10⟩. ⟨hal-01354474⟩

Share

Metrics

Record views

204