ICEIS (4) - SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS

Author First name, Last name, Institution

Khouloud Boukadi
Chirine Ghedira
Zakaria Maamar
Djamal Benslimane

Document Type

Conference Proceeding

Publication Date

6-12-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 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.

First Page

107

Last Page

112

Disciplines

Computer Sciences

Recommended Citation

Boukadi, Khouloud; Ghedira, Chirine; Maamar, Zakaria; and Benslimane, Djamal, "ICEIS (4) - SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS" (2007). All Works. 1913.
https://zuscholars.zu.ac.ae/works/1913

Indexed in Scopus

no

Open Access

no