Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Selected papers of the Second Workshop on Concurrency and compositionality
Translations into the graph grammar machine
Term graph rewriting
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Application of graph transformation to visual languages
Handbook of graph grammars and computing by graph transformation
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Programming Approach to Computability
Programming Approach to Computability
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
A Relational Approach to Defining Transformations in a Metamodel
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Semantics of Full Statecharts Based on Graph Rewriting
Proceedings of the International Workshop on Graph Transformations in Computer Science
A Formal Semantics of UML Statecharts by Model Transition 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
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Graph grammars and global program data flow analysis
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Pair grammars, graph languages and string-to-graph translations
Journal of Computer and System Sciences
Visualization, Simulation and Analysis of Reconfigurable Systems
Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of rules and some control conditions including descriptions of initial and terminal configurations. Semantically, the rules specify a binary relation on configurations of some kind by means of rule applications which are restricted according to the control conditions. As visual models are usually represented by diagrams, graphs or similar configurations, the rule-based setting can be employed to provide visual models with semantics.