UCT CS Research Document Archive

Experimentally motivated transformations for intermodel links between conceptual models

Khan, Zubeida Casmod, C. Maria Keet, Pablo Ruben Fillottrani and Karina M. Cenci (2016) Experimentally motivated transformations for intermodel links between conceptual models. In Pokorny, J and and others, Eds. Proceedings 20th Conference on Advances in Databases and Information Systems (ADBIS'16) 9809, pages 104-118, Prague, Czech Republic.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.


Complex system development and information integration at the conceptual layer raises the requirement to be able to declare intermodel assertions between entities in models that may, or may not, be represented in the same modelling language. This is compounded by the fact that semantically equivalent notions may have been represented with a different element, such as an attribute or class. We first investigate such occurrences in six ICOM projects and 40 models with 33 schema matchings. While equivalence and subsumption are in the overwhelming majority, this extends mainly to different types of attributes, and therewith requiring non-1:1 mappings. We present a solution that bridges these semantic gaps. To facilitate implementation, the mappings and transformations are declared in ATL. This avails of a common, and logic-based, metamodel to aid verification of the links.
This is currently being implemented as proof-of-concept in the ICOM tool.

EPrint Type:Conference Paper
Keywords:conceptual modeling, interoperability, databases, ATL
H Information Systems: H.1 MODELS AND PRINCIPLES
H Information Systems: H.2 DATABASE MANAGEMENT
ID Code:1108
Deposited By:Keet, C. Maria
Deposited On:14 November 2016
Alternative Locations:http://www.meteck.org/files/CMmodulesADBIS16.pdf, http://link.springer.com/chapter/10.1007/978-3-319-44039-2_8