Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets

Abstract : This paper presents a high level Petri-Net approach for specifying and verifying views over composite Web service. High level Petri-Nets have the capacity of formally modeling and verifying complex systems. A view is mainly used for tracking purposes as it permits representing a contextual snapshot of a composite Web service specification. The use of the proposed high level Petri-Net approach is illustrated with a running example that shows how Web services composition satisfies users' needs. A proof-of-concept of this approach is also presented in the paper.
Type de document :
Communication dans un congrès
9th International Conference on Enterprise Information System (ICEIS 07), Jun 2007, Madeira, Portugal. pp. 107-112, 2007
Liste complète des métadonnées

https://hal-emse.ccsd.cnrs.fr/emse-00746912
Contributeur : Florent Breuil <>
Soumis le : mardi 30 octobre 2012 - 09:14:41
Dernière modification le : lundi 21 mars 2016 - 17:43:57

Identifiants

  • HAL Id : emse-00746912, version 1

Citation

Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar, Hanifa Boucheneb. Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets. 9th International Conference on Enterprise Information System (ICEIS 07), Jun 2007, Madeira, Portugal. pp. 107-112, 2007. 〈emse-00746912〉

Partager

Métriques

Consultations de la notice

168