Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

https://hal-emse.ccsd.cnrs.fr/emse-00746912
Contributor : Florent Breuil <>
Submitted on : Tuesday, October 30, 2012 - 9:14:41 AM
Last modification on : Wednesday, August 5, 2020 - 3:42:28 AM

Identifiers

  • 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. ⟨emse-00746912⟩

Share

Metrics

Record views

442