Abstract
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.
This work is part of the joint research project “DFG-Forschergruppe Petrinetz-Technologie”, supported by the German Research Council (DFG), and the GRAPHIT project, supported by DLR and CNPq.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R. Bardohl. GenGEd-Visual Definition of Visual Languages based on Algebraic Graph Transformation. Verlag Dr. Kovac, 2000. PhD thesis, Technical University of Berlin, Dept. of Computer Science, 1999.
J. Bosch. Transformation of Software Architecture. In Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach. Chapter 6, Addison Wesley, 2000.
S. Carriere, S. Woods, and R. Kazman. Software Architectural Transformation. In Proc. 6th Working Conference on Reverse Engineering, IEEE Computer Society, 1999.
P. Donohe, editor. Software Architecture. Kluwer Academic Publishers, 1999.
C. Ermel, R. Bardohl, and H. Ehrig. Generation of Animation Views for Petri Nets in GENGED. In Ehrig et al (eds.), Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems, Springer, LNCS, 2002. To appear.
H. Fahmy and R. Holt. Using Graph Rewriting to Specify Software Architectural Transformations. In Proc. of Automated Software Engineering (ASE 2000), 2000.
H. Giese, J. Graf, and G. Wirtz. Modeling Distributed Software Systems with Object Coordination Nets. In Proc. Int. Symposium on software Engineering for Parallel and Distributed Systems (PDSE’98), Kyoto, Japan, pages 107–116, jul. 1998.
Holger Giese and Jörg P. Wadsack. Reengineering for Evolution of Distributed Information Systems. In Scott Tilley, editor, 3rd International Workshop on Net-Centric Computing (NCC 2001), May 14, 2001; Toronto, Canada, May 2001.
M. Goedicke, T. Meyer, and G. Taentzer. ViewPoint-oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. In Proc. 4th IEEE Int. Symposium on Requirements Engineering (RE’99), June 7–11, 1999, University of Limerick, Ireland. IEEE Computer Society, 1999. ISBN 0-7695-0188-5.
M. Große-Rhode, R. Kutsche, and F. Bübl. Concepts for the Evolution of Component-Based Software Systems. Technical Report TR-2000/11, FB Informatik, TU Berlin, 2000.
D. Hirsch, P. Inverardi, and U. Montanari. Graph Grammars and Constraint Solving for Software Architecture Styles. In Proc. ISAW’98, 1998.
D. Hirsch, P. Inverardi, and U. Montanari. Modeling Software Architectures and Styles with Graph Grammars and Constraint Solving. In Proc. Working IFIP Conference on Software Architecture, 1999.
V. Issarny, L. Bellissard, M. Riveill, and A. Zarras. Component-Based Programming of Distributed Applications. In Distributed Systems, pages 327–353. Springer-Verlag, LNCS 1752, 2000.
J. Padberg. Formal Foundation for Transformations of Specification Architectures. In Software Evolution Through Transformations: Towards Uniform Support throughout the Software Life-Cycle (SET’02), Satellite Event of ICGT’02, 2002.
M. Shaw and D. Garlan. Software Architecture-Perspectives on an Emerging Discipline. Prentice Hall, 1996.
G. Taentzer. Distributed Graphs and Graph Transformation. Applied Categorical Structures, 4(4):431–462, December 1999.
M. Wermelinger and J. Fiadeiro. A Graph Transformation Approach to Software Architecture Reconfiguration. In H. Ehrig and G. Taentzer, editors, Proc. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems (GRATRA’ 00). TU Berlin, FB Informatik, TR 2000-2, 2000. Accepted to Journal of Science of Computer Programming.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bardohl, R., Ermel, C., Padberg, J. (2002). Transforming Specification Architectures by GenGED. In: Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds) Graph Transformation. ICGT 2002. Lecture Notes in Computer Science, vol 2505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45832-8_5
Download citation
DOI: https://doi.org/10.1007/3-540-45832-8_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44310-0
Online ISBN: 978-3-540-45832-6
eBook Packages: Springer Book Archive