Model Driven Architecture: Applying MDA to Enterprise Computing
Model Driven Architecture: Applying MDA to Enterprise Computing
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Transformation: The Missing Link of MDA
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools
Tool integration at the meta-model level: the Fujaba approach
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tool integration applications and frameworks
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
CSMR '05 Proceedings of the Ninth European Conference on Software Maintenance and Reengineering
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Automatic support for traceability in a generic model management framework
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Formal Model Merging Applied to Class Diagram Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Support for QVT-Relations with Coloured Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
Think global, act local: implementing model management with domain-specific integration languages
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
An algebraic semantics for MOF
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Graphical definition of in-place transformations in the eclipse modeling framework
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Evolution and change management of XML-based systems
Journal of Systems and Software
An algebraic specification of generic OCL queries within the eclipse modeling framework
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
An Algebraic Semantics for QVT-Relations Check-only Transformations
Fundamenta Informaticae
A simple game-theoretic approach to checkonly QVT Relations
Software and Systems Modeling (SoSyM)
Enforcing QVT-R with mu-calculus and games
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Implementing QVT-R bidirectional model transformations using alloy
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
DaemonX: Design, Adaptation, Evolution, and Management of Native XML (and More Other) Formats
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |
In Model-Driven Engineering, a software development process is a sequence of manipulation tasks that are applied to models, where model transformations play a relevant role. MOMENT (MOdel manageMENT) is a framework that is integrated in the Eclipse platform. MOMENT provides a collection of generic set-oriented operators to manipulate EMF models. In this paper, we present the model transformation mechanism that is embodied by the ModelGen operator. This operator uses the term rewriting system Maude as transformation engine and provides support for traceability. ModelGen has been defined in an algebraic specification so that we can use formal tools to reason about transformation features, such as termination and confluence. Furthermore, its application to EMF models shows that formal methods can be applied to industrial modeling tools in an efficient way. Finally, we indicate how the ModelGen operator provides support for the QVT Relations language in the MOMENT Framework.