Service-oriented architecture modeling: bridging the gap between structure and behavior

  • Authors:

  • Mickael Clavreul;Sébastien Mosser;Mireille Blay-Fornarino;Robert B. France

  • Affiliations:

  • INRIA, Rennes, France;INRIA Lille-Nord Europe, LIFL (UMR CNRS 8070), Univ. Lille 1, France;I3S (UMR CNRS 6070), Université Nice-Sophia Antipolis, France;Colorado State University, Fort Collins, CO

  • Venue:
  • Proceedings of the 14th international conference on Model driven engineering languages and systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Model-driven development of large-scale software systems is highly likely to produce models that describe the systems from many diverse perspectives using a variety of modeling languages. Checking and maintaining consistency of information captured in such multi-modeling environments is known to be challenging. In this paper we describe an approach to systematically synchronize multi-models. The approach specifically addresses the problem of synchronizing business processes and domain models in a Service-oriented Architecture development environment. In the approach, the human effort required to synchronize independently developed models is supplemented with significant automated support. This process is used to identify concept divergences, that is, a concept in one model which cannot be matched with concepts in the other model. We automate the propagation of divergence resolution decisions across the conflicting models. We illustrate the approach using models developed for a Car Crash Crisis Management System (CCCMS), a case study problem used to assess Aspect-oriented Modeling approaches.