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.
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 : Thursday, December 19, 2019 - 1:30:21 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

428