loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Abdallah Missaoui 1 ; Zohra Sbaï 1 and Kamel Barkaoui 2

Affiliations: 1 Ecole Nationale d’Ingénieurs de Tunis, Tunisia ; 2 Conservatoire National des Arts et Métiers, France

Abstract: Web services composition is becoming very important in today’s service oriented business environment. Different services frequently have semantic inconsistencies which may lead to the failure of the services composition. In order to verify the correctness of the Web Services composition, we present a method for analyzing and verifying interactions among web services. We model web service composition based on special class of Petri nets: open workflow nets. We translate this composition to Promela, a source language of SPIN model checker, designed to describe communicating distributed services. At the requirements level, model checking is used to validate the specification against a set of formulae specified into LTL which are used to verify constraints satisfaction of web services composition.

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.235.195.196

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:
Missaoui, A.; Sbaï, Z. and Barkaoui, K. (2010). Model Checking Verification of Web Services Composition. In Proceedings of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - ACT4SOC, (ICSOFT 2010) ISBN 978-989-8425-20-1, pages 114-126. DOI: 10.5220/0003051501140126

@conference{act4soc10,
author={Abdallah Missaoui. and Zohra Sbaï. and Kamel Barkaoui.},
title={Model Checking Verification of Web Services Composition},
booktitle={Proceedings of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - ACT4SOC, (ICSOFT 2010)},
year={2010},
pages={114-126},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003051501140126},
isbn={978-989-8425-20-1},
}

TY - CONF

JO - Proceedings of the 4th International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - ACT4SOC, (ICSOFT 2010)
TI - Model Checking Verification of Web Services Composition
SN - 978-989-8425-20-1
AU - Missaoui, A.
AU - Sbaï, Z.
AU - Barkaoui, K.
PY - 2010
SP - 114
EP - 126
DO - 10.5220/0003051501140126