‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 09:30 - 10:00 at Baie des Anges B - Model Transformation Chair(s): Jens Weber

The synchronisation of n≥ 2 heterogenously typed models requires a thorough understanding of global consistency rules. After having related these models by determining identical entities in them, we express the global rules in terms of diagrammatic predicates imposed on a comprehensive metamodel, which integrates the structural properties of all involved model spaces. If the global rules are violated, a possible subsequent consistency restoration can make use of formal descriptions for the verification of these rules. The comprehensive metamodel is constructed in the category of directed graphs. If there is an arbitrary number of related models, comprehensive artefacts can formally be represented by colimits, i.e. by universal categorical constructions. The goal of the paper is to establish a practical algorithm for this construction. The main example, a web service integration scenario from the health care domain, also shows that relating graph morphisms may be non-injective, which is incorporated into the algorithm.

Tue 10 Apr

08:50 - 10:30: Bx 2018 - Model Transformation at Baie des Anges B
Chair(s): Jens WeberUniversity of Victoria
bx-2018-papers152334300000008:50 - 09:00
Day opening
bx-2018-papers152334360000009:00 - 09:30
Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh
File Attached
bx-2018-papers152334540000009:30 - 10:00
File Attached
bx-2018-papers152334720000010:00 - 10:30
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria