Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Simulation modeling with event graphs
Communications of the ACM
Discrete-event simulation
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
Distributed and Parallel Databases
Transformations of Graph Grammars
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
A Comparison Between Petri-Nets and Graph Grammars
WG '80 Proceedings of the International Workshop on Graphtheoretic Concepts in Computer Science
A Suite of Metamodels as a Basis for a Classification of Visual Languages
VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
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
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Graph-based specification of access control policies
Journal of Computer and System Sciences
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Attributed graph transformation with node type inheritance
Theoretical Computer Science
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
High-level replacement units and their termination properties
Journal of Visual Languages and Computing
Correctly defined concrete syntax for visual modeling languages
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Journal of Visual Languages and Computing
Genericity for model management operations
Software and Systems Modeling (SoSyM)
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to transformation rules resulting in new rules that modify models according to the pattern specification. In the case of a negative pattern, an application condition is added to the rule. In the case of a positive one, the rule is modified to consider additional context in its left-hand side and to increase its effects. We have defined these patterns in an abstract setting, which enables their instantiation for different structures, like graphs, triple graphs and graph transformation rules. We apply the previous concepts to the specification of the syntax and semantics of visual languages. In particular, we show instantiations for: (i) graphs, with applications at the syntactical level; (ii) triple graphs, for the coordination of syntax and static semantics; and (iii) rules, for the incremental construction of execution rules. We present some examples that illustrate the usefulness of the combination of these three instantiations. In particular, we show the specification of environments for visual languages with token-holder semantics, discrete-event semantics and communication semantics.