TY - JOUR
T1 - Automated model synchronization
T2 - A case study on UML with Maude
AU - Boronat, Artur
AU - Meseguer, José
N1 - Funding Information:
We are grateful to anonymous reviewers for their helpful comments. The first author has been supported by the University of Leicester. The second author has been supported by NSF Grant CCF 09-05584
Publisher Copyright:
© Graph Transformation and Visual Modeling Techniques 2011.
PY - 2011
Y1 - 2011
N2 - Design specifications of software-intensive systems involve models that have been defined with different modelling languages for different purposes. Hence, a specification can be seen as the description of a system from multiple viewpoints, each providing domain-specific constructs for modelling the system in a more precise way. Such heterogeneity of models can jeopardize the consistency of the specification, because updates in one viewpoint may cause unpredictable design errors in other viewpoints, which can then be transferred to the implementation. OMG's Meta-Object Facility enhances the automation of the model consistency management by providing a uniform format for different modelling languages. In this paper, we illustrate a technique, based on rewriting logic and on strategies for finding inconsistencies in MOF-based heterogeneous specifications and for resolving them in an automated way.
AB - Design specifications of software-intensive systems involve models that have been defined with different modelling languages for different purposes. Hence, a specification can be seen as the description of a system from multiple viewpoints, each providing domain-specific constructs for modelling the system in a more precise way. Such heterogeneity of models can jeopardize the consistency of the specification, because updates in one viewpoint may cause unpredictable design errors in other viewpoints, which can then be transferred to the implementation. OMG's Meta-Object Facility enhances the automation of the model consistency management by providing a uniform format for different modelling languages. In this paper, we illustrate a technique, based on rewriting logic and on strategies for finding inconsistencies in MOF-based heterogeneous specifications and for resolving them in an automated way.
KW - Inconsistency repair plans
KW - MOF
KW - Maude
KW - Model synchronization
UR - http://www.scopus.com/inward/record.url?scp=85034666472&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85034666472&partnerID=8YFLogxK
U2 - 10.14279/tuj.eceasst.41.644.655
DO - 10.14279/tuj.eceasst.41.644.655
M3 - Article
AN - SCOPUS:85034666472
SN - 1863-2122
VL - 41
JO - Electronic Communications of the EASST
JF - Electronic Communications of the EASST
ER -