Academia.eduAcademia.edu

Figure from:Declarative approach for model composition

See full PDFdownloadDownload figure
Figure 9. Generated model compositions.

Figure 9 Generated model compositions.

Related Figures (5)

Figure 2. Possible model compositions.
Figure 2. Possible model compositions.
Figure 3. Property-driven model composition process.
Figure 3. Property-driven model composition process.
Figure 4. Model composition process in Alloy. 4.1 Defining Input Figure 5 presents a simple meta-model for class diagrams in Figure 1, defined in Alloy. It defines an Element, which has two sets of properties — those that are associated with it using composite associations and using shared associations. An Element can specialize at most one other element. In this meta- model, multiple specializations are not allowed. In addition, the meta-model defines two generic elements — LeftElement and RightElenent, which are used as a base for all elements of the first and the second input model, respectively. Both LeftElement and RightElement extend the generic Element type.
Figure 4. Model composition process in Alloy. 4.1 Defining Input Figure 5 presents a simple meta-model for class diagrams in Figure 1, defined in Alloy. It defines an Element, which has two sets of properties — those that are associated with it using composite associations and using shared associations. An Element can specialize at most one other element. In this meta- model, multiple specializations are not allowed. In addition, the meta-model defines two generic elements — LeftElement and RightElenent, which are used as a base for all elements of the first and the second input model, respectively. Both LeftElement and RightElement extend the generic Element type.