Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets - Mines Saint-Étienne
Conference Papers Year : 2007

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.
No file

Dates and versions

emse-00746912 , version 1 (30-10-2012)

Identifiers

  • HAL Id : emse-00746912 , version 1

Cite

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⟩
235 View
0 Download

Share

More