Querying and Splitting Techniques for SBA: a Model Checking based approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

François Hantry
  • Fonction : Auteur
  • PersonId : 987722
Mohand-Said Hacid

Résumé

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.

Dates et versions

hal-01354474 , version 1 (18-08-2016)

Identifiants

Citer

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⟩
122 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More