Home // SERVICE COMPUTATION 2010, The Second International Conferences on Advanced Service Computing // View article

Formalisation of Mediation Protocol for Web Services Composition with ACME/ARMANI ADL

Authors:
Raoudha Maraoui
Mohamed Graiet
Mourad Kmimech
Mohamed Tahar Bhiri
Béchir El Ayeb

Keywords: Web Services Composition, Mediation, Transactional Web Services, Formalization, ACME/ARMANI ADL, reliability.

Abstract:
SOA (Service Oriented Architecture) defines a new Web Services cooperation paradigm in order to develop distributed applications using reusable services. The handling of such collaboration has different problems that lead to many research efforts. In this paper, we address the problem of Web service composition. Indeed, various heterogeneities can arise during the composition. The resolution of these heterogeneities, called mediation, is needed to achieve a service composition. In this paper, we propose a sound approach to formalize Web services composition mediation with the ADL (Architecture Description Language) ACME. To do so, we first model the meta-model of composite service manager and mediation. Then we specify semi formal properties associated with this meta-model using OCL (Object Constraint Language). Afterwards, we formalize the mediation protocol using Armani, which provides a powerful predicate language in order to ensure service execution reliability.

Pages: 41 to 47

Copyright: Copyright (c) IARIA, 2010

Publication date: November 21, 2010

Published in: conference

ISSN: 2308-3549

ISBN: 978-1-61208-105-2

Location: Lisbon, Portugal

Dates: from November 21, 2010 to November 26, 2010