Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Radu Mateescu 1 Sylvain Rampacek 2
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS navigation.
Type de document :
Communication dans un congrès
Joseph Barjis and Murali Narasipuram and Peter Rittgen. EOMAS 2008, Jun 2008, Montpellier, France. Springer Verlag, 10, pp.179-193, 2008, Lecture Notes in Business Information Processing. 〈10.1007/978-3-540-68644-6_13〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00319100
Contributeur : Radu Mateescu <>
Soumis le : vendredi 5 septembre 2008 - 16:01:47
Dernière modification le : mercredi 11 avril 2018 - 01:55:39
Document(s) archivé(s) le : mardi 28 juin 2011 - 16:31:33

Fichier

Mateescu-Rampacek-08.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Radu Mateescu, Sylvain Rampacek. Formal Modeling and Discrete-Time Analysis of BPEL Web Services. Joseph Barjis and Murali Narasipuram and Peter Rittgen. EOMAS 2008, Jun 2008, Montpellier, France. Springer Verlag, 10, pp.179-193, 2008, Lecture Notes in Business Information Processing. 〈10.1007/978-3-540-68644-6_13〉. 〈inria-00319100〉

Partager

Métriques

Consultations de la notice

282

Téléchargements de fichiers

116