Watch what I do: programming by demonstration
Watch what I do: programming by demonstration
Maintaining views incrementally
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Programming by example: programming by analogous examples
Communications of the ACM
Data-driven understanding and refinement of schema mappings
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
XSLT Stylesheet Generation by Example with WYSIWYG Editing
SAINT '02 Proceedings of the 2002 Symposium on Applications and the Internet
An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
On the Interleaving Sematics of Transformation Units - A Step into GRACE
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Bogor: an extensible and highly-modular software model checking framework
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
SSJ: SSJ: a framework for stochastic simulation in Java
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
Automating model transformation by example using inductive logic programming
Proceedings of the 2007 ACM symposium on Applied computing
Towards Model Transformation Generation By-Example
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Query-by-example: the invocation and definition of tables and forms
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
The model transformation language of the VIATRA2 framework
Science of Computer Programming
Augur 2 --- A New Version of a Tool for the Analysis of Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
ATL: A model transformation tool
Science of Computer Programming
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Design-time simulation of domain-specific models by incremental pattern matching
VLHCC '08 Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing
Change-Driven Model Transformations
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Graph Transformation with Incremental Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of stochastic systems part I: Stochastic automata
Information and Computation
Applying model transformation by-example on business process modeling languages
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
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
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Incremental model transformation for the evolution of model-driven systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformation by example
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Stochastic simulation of graph transformation systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Stochastic analysis of graph transformation systems: a case study in P2P networks
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Hi-index | 0.00 |
Model transformations are a core technology of today's model-driven software development processes. Graph transformations provide a state-of-the-art formalism to specify and execute such transformations in practice. This was the case in the SENSORIA project, where graph transformations have been used as enabling technology in a number of applications, as well as the basis of research in many topics. In this chapter, we overview the research results that have been achieved in the theory and practice, concentrating on three key areas: (i) the high-level specification of transformations, (ii) correctness analysis of transformations using formal methods, and (iii) novel event-driven execution schemes relying on incremental graph pattern matching technology.