Algebraic specification of modules and their basic interconnections
Journal of Computer and System Sciences
Amalgamation of graph transformations: a synchronization mechanism
Journal of Computer and System Sciences
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
An algebraic framework for the transformation of attributed graphs
Term graph rewriting
Fundamenta Informaticae - Special issue on graph transformations
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
A view-oriented approach to system modelling based on graph transformation
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
Graph transformation units and modules
Handbook of graph grammars and computing by graph transformation
Classification and comparison of module concepts for graph transformation systems
Handbook of graph grammars and computing by graph transformation
Spatial and Temporal Refinement of Typed Graph Transformation Systems
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Transformations of Graph Grammars
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Refinements of Graph Transformation Systems via Rule Expressions
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Inner and Mutual Compatibility of Basic Operations on Module Specifications
CAAP '86 Proceedings of the 11th Colloquium on Trees in Algebra and Programming
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
Describing Policies with Graph Constraints and Rules
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Graph-based specification of access control policies
Journal of Computer and System Sciences
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
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
Graph Transformation Units --- An Overview
Concurrency, Graphs and Models
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
Reusing dynamic communication protocols in self-adaptive embedded component architectures
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
| Hi-index | 0.00 |
Graph transformation systems are a formal specification technique for software systems that support the rule based specification of the dynamic behaviour of a system. Their main advantages are the intuitive visual representation of states and state transformations as graphs on the one hand, and the fully formal semantics on the other hand, that allow precise statements about the specification and tool support. In this paper we introduce refinements and modules for typed graph transformation systems to support the software specification development in both dimensions: modules for the horizontal structuring of a specification, i.e., its composition from feasible parts, and refinements for the development over time.