Analysis of Composite Web Services using Logging Facilities

Mohsen Rouached 1 Claude Godart 1
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Web services are becoming more and more complex, involving numerous interacting business objects within considerable processes. In order to fully explore Web service business opportunities while ensuring a correct and reliable modelling and execution, analyzing and tracking Web services interactions will enable them to be well understood and controlled. Then, given the resulting event log we want to verify certain specified properties, to provide knowledge about the context of and the reasons for discrepancies between services'behaviours and related instances. This paper advocates a novel technique to log composite Web services and a formal approach, based on an algeabric specification of the discrete event calculus language DEC, to check behavioural properties of composite Web services regarding their execution log. An automated induction-based theorem prover SPIKE is used as verification back-end.
Type de document :
Communication dans un congrès
Second International Workshop on Engineering Service-Oriented Applications: Design and Composition - WESOA'06, Dec 2006, Chicago, USA, 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00114029
Contributeur : Mohsen Rouached <>
Soumis le : mercredi 15 novembre 2006 - 12:09:39
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : mardi 6 avril 2010 - 22:43:50

Fichier

Identifiants

  • HAL Id : inria-00114029, version 1

Collections

Citation

Mohsen Rouached, Claude Godart. Analysis of Composite Web Services using Logging Facilities. Second International Workshop on Engineering Service-Oriented Applications: Design and Composition - WESOA'06, Dec 2006, Chicago, USA, 2006. 〈inria-00114029〉

Partager

Métriques

Consultations de la notice

179

Téléchargements de fichiers

112