Behavioral Refinement of Graph Transformation-Based Models |
| |
Authors: | Reiko Heckel Sebastian Thne |
| |
Affiliation: | aFaculty of Comp. Science, Electrical Eng., and Math., University of Paderborn, Germany;bInternational Graduate School Dynamic Intelligent Systems, University of Paderborn, Germany |
| |
Abstract: | Model-driven software engineering requires the refinement of abstract models into more concrete, platform-specific ones. To create and verify such refinements, behavioral models capturing recon- figuration or communication scenarios are presented as instances of a dynamic meta-model, i.e., a typed graph transformation system specifying the concepts and basic operations scenarios may be composed of. Possible refinement relations between models can now be described based on the corresponding meta-models.In contrast to previous approaches, refinement relations on graph transformation systems are not defined as fixed syntactic mappings between abstract transformation rules and, e.g., concrete rule expressions, but allow for a more loose, semantically defined relation between the transformation systems, resulting in a more flexible notion of refinement. |
| |
Keywords: | MDA and model transformation consistency and co-evolution refinement of graph transformation systems |
本文献已被 ScienceDirect 等数据库收录! |
|