A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Live and let die: LSC based verification of UML models
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Model transformation for object-relational database development
Proceedings of the 2007 ACM symposium on Applied computing
A high-level requirements engineering methodology for electronic system-level design
Computers and Electrical Engineering
Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
On the conformity of models: a transducer-based approach for model transformation
Proceedings of the 2008 ACM symposium on Applied computing
Graph Transformation Semantics for a QVT Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Customizing grgen.net for model transformation
Proceedings of the third international workshop on Graph and model transformations
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation
Models in Software Engineering
Visualization, Simulation and Analysis of Reconfigurable Systems
Applications of Graph Transformations with Industrial Relevance
Model-Driven Software Development with Graph Transformations: A Comparative Case Study
Applications of Graph Transformations with Industrial Relevance
Verification and Synthesis of OCL Constraints Via Topology Analysis
Applications of Graph Transformations with Industrial Relevance
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Framework and authoring tool for an extension of the UIML language
Advances in Engineering Software
A Methodology and Framework for Creating Domain-Specific Development Infrastructures
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Towards framework definition to obtain secure business process from legacy information systems
Proceedings of the first international workshop on Model driven service engineering and data quality and security
Incremental Development of Model Transformation Chains Using Automated Testing
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
Case Study: Model Transformations for Time-triggered Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Validation of model transformations: first experiences using a white box approach
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
An UML-based approach for validation of software architecture descriptions
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Compositional modeling for data-centric business applications
SC'08 Proceedings of the 7th international conference on Software composition
An accessible verification environment for UML models of services
Journal of Symbolic Computation
Embedding domain-specific modelling languages in maude specifications
ACM SIGSOFT Software Engineering Notes
Bringing Domain Knowledge to Pattern Matching
Proceedings of the 2011 conference on Databases and Information Systems VI: Selected Papers from the Ninth International Baltic Conference, DB&IS 2010
Lessons learned from building a graph transformation system
Graph transformations and model-driven engineering
Model synchronization at work: keeping SysML and AUTOSAR models consistent
Graph transformations and model-driven engineering
Are simulation standards in our future?
Winter Simulation Conference
Managing the quality of software product line architectures through reusable model transformations
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Proceedings of the 2nd International Workshop on Model Comparison in Practice
Combining specification-based and code-based coverage for model transformation chains
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
A generic tool for tracing executions back to a DSML's operational semantics
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Test suite quality for model transformation chains
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
On enabling dependability assurance in heterogeneous networks through automated model-based analysis
SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Building a software factory for pervasive systems development
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Dynamic computation of change operations in version management of business process models
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
On the use of graph transformations for model refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Algebraic specification of a model transformation engine
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
From relational ClassSheets to UML+OCL
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A K-based formal framework for domain-specific modelling languages
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
UniTI: a unified transformation infrastructure
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Lessons learned from building model-driven development tools
Software and Systems Modeling (SoSyM)
Tool demonstration of the transformation judge
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Generation of operational transformation rules from examples of model transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Incremental semantic analysis for OCL compilers
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based veri-fication and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. In the current paper, we present an overview of (i) the major design goals and decisions, (ii) the underlying formal methodology based on metamodeling and graph transformation (iii) the software architecture based upon the XMI standard, (iv) and several benchmark applications of the VIATRA framework.