Publication year: 2008
: 978-3-540-69927-9
This book includes different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
: Computer Science, Unified Modeling Language (UML), aspect-oriented modeling, calculus, domain-specific languages, embedded systems, formal methods, formal semantics, generic programming, graph transformation, meta-modeling, model checking, model transformation, model-driven architecture, modeling, modeling quality, Theory of Computation