Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Using OCL Beyond Specifications
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Formalizing UML Models and OCL Constraints in PVS
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Translation of QVT Relations into QVT Operational Mappings
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An object-oriented operation-based approach to translation between MOF metaschemas
Data & Knowledge Engineering
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach
Models in Software Engineering
On the Use of Higher-Order Model Transformations
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Interaction-based feature-driven model-transformations for generating e-forms
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Bridging concrete and abstract syntaxes in model-driven engineering: a case of rule languages
Software—Practice & Experience
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Test-Driven Development of Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
From UML/OCL to SBVR specifications: A challenging transformation
Information Systems
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Improving higher-order transformations support in ATL
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
An observer-based notion of model inheritance
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
A transformation contract to generate aspects from access control policies
Software and Systems Modeling (SoSyM)
Model-driven development of model transformations
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Incremental security verification for evolving UMLsec models
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Explicit transformation modeling
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Weaving-based configuration and modular transformation of multi-layer systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Comparing verification techniques for model transformations
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Verification of ATL transformations using transformation models and model finders
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Software and Systems Modeling (SoSyM)
Typing artifacts in megamodeling
Software and Systems Modeling (SoSyM)
Applying MDE to the (semi-)automatic development of model transformations
Information and Software Technology
On model compatibility with referees and contexts
Software and Systems Modeling (SoSyM)
Employing the object constraint language in model-based engineering
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Specifying model changes with UMLchange to support security verification of potential evolution
Computer Standards & Interfaces
| Hi-index | 0.00 |
Much of the current work on model transformations seems essentially operational and executable in nature. Executable descriptions are necessary from the point of view of implementation. But from a conceptual point of view, transformations can also be viewed as descriptive models by stating only the properties a transformation has to fulfill and by omitting execution details. This contribution discusses the view that model transformations can be abstracted as being transformation models. As a simple example for a transformation model, the well-known transformation from the Entity-Relationship model to the Relational model is shown. A transformation model in this contribution is nothing more than an ordinary, simple model, i.e., a UML/MOF class diagram together with OCL constraints. A transformation model may transport syntax and semantics of the described domain. The contribution thus covers two views on transformations: An operational model transformation view and a descriptive transformation model view.