A Generative Approach to Change-Driven Consistency in Multi-View Modeling

8 years 4 days ago

Download sdqweb.ipd.kit.edu

When software architectures are modeled from diﬀerent viewpoints using diﬀerent notations, it is necessary to keep information that appears in several models consistent. To achieve consistency for a speciﬁc system, developers need two competences: First, they have to be able to express the conceptual relationships between the elements of the involved modeling languages and domains. Second, they have to be able to enforce these relationships by implementing model transformations that keep speciﬁc model instances consistent. Current transformation approaches, however, do not separate this conceptual challenge of specifying consistency from the technical complexity of implementing it. To ease multi-view modeling, we present a generative approach, in which change-driven in-place transformations are d from abstract speciﬁcations in order to sustain consistency between several models. These speciﬁcations can be expressed by domain experts using a consistency language that suppor...

Max E. Kramer

Real-time Traffic