loading
Papers Papers/2022 Papers Papers/2022

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

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.

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 3.15.214.185

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. and Benslimane, D. (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; ISSN 2184-4992, SciTePress, 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},
issn={2184-4992},
}

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
IS - 2184-4992
AU - Boukadi, K.
AU - Ghedira, C.
AU - Maamar, Z.
AU - Benslimane, D.
PY - 2007
SP - 107
EP - 112
DO - 10.5220/0002349501070112
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic