Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Graph grammars and constraint solving for software architecture styles
ISAW '98 Proceedings of the third international workshop on Software architecture
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
Component-Based Programming of Distributed Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Using Graph Rewriting to Specify Software Architectural Transformations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Modeling Distributed Software Systems with Object Coordination Nets
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Software Architectural Transformation
WCRE '99 Proceedings of the Sixth Working Conference on Reverse Engineering
Hi-index | 0.00 |
This contribution concerns transformations of specification architectures which are diagrams of sub-specifications. The graph of a diagram presents the architecture: nodes correspond to sub-specifications and edges to specification morphisms. We do not fix a specific visual specification technique, so this approach is in the tradition of high-level replacement systems.The main emphasis of this contribution is the specification and transformation of specification architectures using GenGED. In GenGED, a visual language (VL) is defined by a visual alphabet and a visual syntax grammar. We define a VL for specification architectures by composing VLs for graphs and Petri nets enhanced by Petri net morphisms. From this VL definition a syntax-directed editor is generated supporting the editing of consistent specification architectures where local and global changes can easily be defined as transformation rules in our VL and visualized in the GenGED environment.