Article
Specification and verification of views over composite web services using high level Petri-Nets
ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings
Document Type
Conference Proceeding
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.
Disciplines
Keywords
- Composition,
- Context-aware,
- High level Petri-Net,
- Views,
- Web service
Scopus ID
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
https://www.scitepress.org/Papers/2007/23495/23495.pdf
Citation Information
Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar and Djamal Benslimane. "Specification and verification of views over composite web services using high level Petri-Nets" ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings Vol. SAIC (2007) p. 107 - 112 Available at: http://works.bepress.com/zakaria-maamar/417/