Welcome to the InfoSci Platform
A Checking Service Composition Approach based on Model Transformation

A Checking Service Composition Approach based on Model Transformation

Redouane Nouara, Allaoua Chaoui
Copyright: © 2016 |Volume: 7 |Issue: 1 |Pages: 18
ISSN: 1947-3176|EISSN: 1947-3184|EISBN13: 9781466692046|DOI: 10.4018/IJERTCS.2016010102
Cite Article Cite Article

MLA

Nouara, Redouane, and Allaoua Chaoui. "A Checking Service Composition Approach based on Model Transformation." IJERTCS vol.7, no.1 2016: pp.30-47. http://doi.org/10.4018/IJERTCS.2016010102

APA

Nouara, R. & Chaoui, A. (2016). A Checking Service Composition Approach based on Model Transformation. International Journal of Embedded and Real-Time Communication Systems (IJERTCS), 7(1), 30-47. http://doi.org/10.4018/IJERTCS.2016010102

Chicago

Nouara, Redouane, and Allaoua Chaoui. "A Checking Service Composition Approach based on Model Transformation," International Journal of Embedded and Real-Time Communication Systems (IJERTCS) 7, no.1: 30-47. http://doi.org/10.4018/IJERTCS.2016010102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

The service oriented architecture (SOA) approach constitutes an ideal solution for distributed application development. However, its success is conditioned by a solution to the problem of dynamic service composition. The formal-based tools are ones of the promising solutions to this problem, because of their mathematical-basis who can provide possibility of doing computation on services behavior in order to confirm the existence or not of some particular behaviours. In this paper, the authors present an approach based on model transformation (MT) for checking behavioural compatibility between services. Elementary services behaviours, modelled as OWFNet, an extenstion of Petri Nets, are automatically translated to a LOTOS specification. The translation is done by a two-fold transformation, model to model (M2M) and model to text (M2T). The resulting Lotos text specification is submitted to a LOTOS toolkit to check service composability.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.