Scientific Papers
ISSI Research PapersPaper information
Title
Formal Model Merging Applied to Class Diagram Integration
Formal Model Merging Applied to Class Diagram Integration
Published in
Electronic Notes in Theoretical Computer Science (ENTCS), International ERCIM Workshop on Software Evolution (2006). 6-7 April, 2006. Lille (France). - 2006
Electronic Notes in Theoretical Computer Science (ENTCS), International ERCIM Workshop on Software Evolution (2006). 6-7 April, 2006. Lille (France). - 2006
Abstract
The integration of software artifacts is present in many scenarios of the Software Engineering field: object-oriented modeling, relational databases, XML schemas, ontologies, aspect-oriented programming, etc. In Model Management, software artifacts are viewed as models that can be manipulated by means of generic operators, which are specified independently of the context in which they are used. One of these operators is Merge, which enables the automated integration of models. Solutions for merging models that are achieved by applying this operator are more abstract and reusable than the ad-hoc solutions that are pervasive in many contexts of the Software Engineering field. In this paper, we present our automated approach for generic model merging from a practical standpoint, providing support for conflict resolution and traceability between software artifacts by using the QVT Relations language. We focus on the definition of our operator Merge, applying it to Class Diagrams integration.
The integration of software artifacts is present in many scenarios of the Software Engineering field: object-oriented modeling, relational databases, XML schemas, ontologies, aspect-oriented programming, etc. In Model Management, software artifacts are viewed as models that can be manipulated by means of generic operators, which are specified independently of the context in which they are used. One of these operators is Merge, which enables the automated integration of models. Solutions for merging models that are achieved by applying this operator are more abstract and reusable than the ad-hoc solutions that are pervasive in many contexts of the Software Engineering field. In this paper, we present our automated approach for generic model merging from a practical standpoint, providing support for conflict resolution and traceability between software artifacts by using the QVT Relations language. We focus on the definition of our operator Merge, applying it to Class Diagrams integration.
BibTeX
@misc{issi_web:id:208, title = "Formal Model Merging Applied to Class Diagram Integration", author = "Artur Boronat Moll and Jose Angel Carsí Cubel and Isidro Ramos Salavert and Patricio Letelier Torres", booktitle = "Electronic Notes in Theoretical Computer Science (ENTCS), International ERCIM Workshop on Software Evolution (2006). 6-7 April, 2006. Lille (France).", year = "2006", eprint = "http://issi.dsic.upv.es/publications/archives/", url = "", abstract = "The integration of software artifacts is present in many scenarios of the Software Engineering field: object-oriented modeling, relational databases, XML schemas, ontologies, aspect-oriented programming, etc. In Model Management, software artifacts are viewed as models that can be manipulated by means of generic operators, which are specified independently of the context in which they are used. One of these operators is Merge, which enables the automated integration of models. Solutions for merging models that are achieved by applying this operator are more abstract and reusable than the ad-hoc solutions that are pervasive in many contexts of the Software Engineering field. In this paper, we present our automated approach for generic model merging from a practical standpoint, providing support for conflict resolution and traceability between software artifacts by using the QVT Relations language. We focus on the definition of our operator Merge, applying it to Class Diagrams integration." }