Title

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

67650215706

Indexed in Scopus

yes

Open Access

no

This document is currently not available here.

Share

COinS