An introduction to Z and formal specifications
Software Engineering Journal - Special Section on Z
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Acme: architectural description of component-based systems
Foundations of component-based systems
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Test Driven Development: By Example
Test Driven Development: By Example
Computer
Automatic Dependability Analysis for Supporting Design Decisions in UML
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
Model-Based Test Driven Development of the Tefkat Model-Transformation Engine
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Requirements Engineering
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
Towards Testing the Implementation of Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting and Repairing Inconsistencies across Heterogeneous Models
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
ATL: A model transformation tool
Science of Computer Programming
Proposed Design Notation for Model Transformation
ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Transformations Have to be Developed ReST Assured
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Unit Testing Model Management Operations
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Transformation Language Integration Based on Profiles and Higher Order Transformations
Software Language Engineering
Reusable Model Transformation Patterns
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Automatic Model Generation Strategies for Model Transformation Testing
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Formal Support for QVT-Relations with Coloured Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Test-Driven Development of Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Barriers to systematic model transformation testing
Communications of the ACM
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
A Practical Guide to SysML: The Systems Modeling Language
A Practical Guide to SysML: The Systems Modeling Language
Decentralized service composition in pervasive computing environments
Proceedings of the 6th International Wireless Communications and Mobile Computing Conference
A Visual Specification Language for Model-to-Model Transformations
VLHCC '10 Proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing
transML: a family of languages to model model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Design guidelines for the development of quality-driven model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Symbolic graphs for attributed graph constraints
Journal of Symbolic Computation
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Realizing Model Transformation Chain interoperability
Software and Systems Modeling (SoSyM)
Nested constraints and application conditions for high-level structures
Formal Methods in Software and Systems Modeling
Romeo: a tool for analyzing time petri nets
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
The epsilon object language (EOL)
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
MCC: a model transformation environment
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Algebraic specification of a model transformation engine
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
UniTI: a unified transformation infrastructure
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. In this way, even though transformations should be built using sound engineering principles--just like any other kind of software--there is currently a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing. In this paper, we propose a unified family of languages to cover the life cycle of transformation development enabling the engineering of transformations. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation languages.