Specification and verification of views over composite web services using high level Petri-Nets
Document Type
Conference Proceeding
Source of Publication
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings
Publication Date
12-1-2007
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 modelling 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.
Volume
SAIC
First Page
107
Last Page
112
Disciplines
Computer Sciences
Keywords
Composition, Context-aware, High level Petri-Net, Views, Web service
Scopus ID
Recommended Citation
Boukadi, Khouloud; Ghedira, Chirine; Maamar, Zakaria; and Benslimane, Djamal, "Specification and verification of views over composite web services using high level Petri-Nets" (2007). All Works. 3177.
https://zuscholars.zu.ac.ae/works/3177
Indexed in Scopus
yes
Open Access
yes
Open Access Type
Bronze: This publication is openly available on the publisher’s website but without an open license