Logo eprints

On structured model-driven transformations

Bruni, Roberto and Lluch-Lafuente, Alberto and Montanari, Ugo On structured model-driven transformations. International journal of software and informatics, 5 (1-2). pp. 185-206. ISSN 1673-7288 (2011)

PDF - Draft Version
Download (770kB) | Preview


Structural aspects play a key role in the model-driven development of software systems. Effective techniques and tools must therefore be based on suitable representation formalisms that facilitate the specification, manipulation and analysis of the structure of models. Graphical and algebraic approaches have been shown to be very successful for such purposes: 1) graphs offer natural a representation of topological structures, 2) algebras offer a natural representation of compositional structures, 3) both graphs and algebras can be manipulated in a declarative way by means of rule-based techniques, 4) they allow for a layered presentation of models that enables compositional techniques and favours scalability. Most of the existing approaches represent such layering in a plain manner by overlapping the intra- and the inter-layered structure. It has been shown that some layering structures can be conveniently represented by an explicit hierarchical structure enabling then structurally inductive manipulations of the resulting models. Moreover, providing an inductive presentation of the structure facilitates the compositional analysis and verification of models. In this paper we compare and reconcile some recent approaches and synthesise them into an algebraic and graph-based formalism for representing and manipulating models with inductively defined hierarchical structure.

Item Type: Article
Additional Information: Festschrift in Honor of Prof. Manfred Broy
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 30 not found.
Date Deposited: 12 Sep 2011 13:50
Last Modified: 27 Sep 2011 11:09
URI: http://eprints.imtlucca.it/id/eprint/859

Actions (login required)

Edit Item Edit Item