‹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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 10:30: Model TransformationBx at Baie des Anges B
Chair(s): Jens WeberUniversity of Victoria
08:50 - 09:00
Day opening
09:00 - 09:30
Confidentiality in the process of (model-driven) software development
Michael JohnsonMacquarie University, Australia, Perdita StevensUniversity of Edinburgh
File Attached
09:30 - 10:00
Multimodel Correspondence through Inter-Model Constraints
File Attached
10:00 - 10:30
On the Development of Consistent User Interfaces
Anthony AnjorinPaderborn University, Germany, Enes YigitbasUniversity of Paderborn, Germany, Hermann Kaindl, Roman PoppTU Wien, Vienna, Austria