Analysis and Applications of Timed Service Protocols

Abstract : Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted that a service description should include not only the interface, but also the business protocol supported by the service. The present work focuses on the formalization of an important category of protocols that includes time-related constraints (called timed protocols), and the impact of time on compatibility and replaceability analysis. We formalized the following timing constraints: C-Invoke constraints define time windows within which a service operation can be invoked while M-Invoke constraints define expiration deadlines. We extended techniques for compatibility and replaceability analysis between timed protocols by using a semantic-preserving mapping between timed protocols and timed automata, leading to the identification of a novel class of timed automata, called protocol timed automata (PTA). PTA exhibit a particular kind of silent transition that strictly increase the expressiveness of the model, yet they are closed under complementation, making every type of compatibility or replaceability analysis decidable. Finally, we implemented our approach in the context of a larger project called ServiceMosaic, a model-driven framework for Web service life-cycle management.
Type de document :
Article dans une revue
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2010, 19 (4), 〈10.1145/1734229.1734230〉
Liste complète des métadonnées

Littérature citée [50 références]  Voir  Masquer  Télécharger
Contributeur : Julien Ponge <>
Soumis le : lundi 17 mai 2010 - 15:25:53
Dernière modification le : mercredi 11 avril 2018 - 01:50:44
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 14:55:56


Fichiers produits par l'(les) auteur(s)



Julien Ponge, Benatallah Boualem, Fabio Casati, Farouk Toumani. Analysis and Applications of Timed Service Protocols. ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2010, 19 (4), 〈10.1145/1734229.1734230〉. 〈inria-00483952〉



Consultations de la notice


Téléchargements de fichiers