Formal Model Merging Applied to Class Diagram Integration | Zendy

Artur Boronat | Zendy; José Á. Carsí | Zendy; Isidro Ramos | Zendy; Patricio Letelier | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Model Merging Applied to Class Diagram Integration

Author(s) -

Artur Boronat,

José Á. Carsí,

Isidro Ramos,

Patricio Letelier

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.06.013

Subject(s) - computer science , software engineering , class diagram , programming language , sequence diagram , merge (version control) , software development , unified modeling language , software , theoretical computer science , database , information retrieval

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 content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research