loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Khouloud Boukadi 1 ; Chirine Ghedira 2 ; Zakaria Maamar 3 and Djamal Benslimane 2

Affiliations: 1 Division for Industrial Engineering and Computer Sciences, ENSM, France ; 2 LIRIS Laboratory, Claude Bernard Lyon 1 University, France ; 3 College of Information Technology, Zayed University, United Arab Emirates

ISBN: 978-972-8865-91-7

Keyword(s): Web service, Composition, Context-aware, high level Petri-Net, Views.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Internet and Collaborative Computing ; Software Agents and Internet Computing

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.172.111.215

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Boukadi K.; Ghedira C.; Maamar Z.; Benslimane D. and (2007). SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS.In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS, ISBN 978-972-8865-91-7, pages 107-112. DOI: 10.5220/0002349501070112

@conference{iceis07,
author={Khouloud Boukadi and Chirine Ghedira and Zakaria Maamar and Djamal Benslimane},
title={SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS,},
year={2007},
pages={107-112},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002349501070112},
isbn={978-972-8865-91-7},
}

TY - CONF

JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 5: ICEIS,
TI - SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS
SN - 978-972-8865-91-7
AU - Boukadi, K.
AU - Ghedira, C.
AU - Maamar, Z.
AU - Benslimane, D.
PY - 2007
SP - 107
EP - 112
DO - 10.5220/0002349501070112

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.