Abstract
This position paper weighs the benefits against the problems of using a graph rewrite system for the formal specification of an integrated software engineering model and for its implementation using the same graph rewrite system. The integrated software engineering approach, called GRIDS1, has been motivated by the shortcomings of software engineering support for real-life software projects. It is based on the formal integration of software engineering aspects for the automatic construction and well-defined manipulation of situational project frameworks. GRIDS uses the graph rewrite system PROGRES for the formal specification of the concepts and for their prototypical implementation. Without claiming to cover the entire field of graph rewrite systems, the experiences of this particular, graph-based approach are used as example for a discussion about the adequacy, the benefits, but also the shortcomings and the problems of applying a graph rewrite approach to realize automated software and method engineering support.
GRaph-based, Integrated Development of Software
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Andries and G. Engels. A Hybrid Query Language for the Extended Entity-Relationship Model. Journal for Visual Languages, 7(3):321–352, September 1996.
P. Heimann, G. Joeris, C.-A. Krapp, and B. Westfechel. DYNAMITE: Dynamic Task Nets for Software Process Management. In Proc. of the 18th International Conference on Software Engineering, pages 331–341, Berlin, Germany, March 1996. IEEE Computer Society Press.
D. Jäger, A. Schleicher, and B. Westfechel. AHEAD: A Graph-Based System for Modeling and Managing Development Processes. In Proc. of the Workshop on Applications of Graph Transformations with Industrial Relevance (ACTIVE’ 99. Springer, September 1999. in this book.
M. Nagl. Characterization of the IPSEN Project. In Madhavji, Schäfer, and Weber, editors, Proc. of the 1st International Conference on Systems Development Environments & Factories 1989, pages 141–150. Pitman Press, 1990.
A. Radermacher. Support for Design Pattern Through Graph Transformation Tools. In Proc. of the Workshop on Applications of Graph Transformations with Industrial Relevance (ACTIVE’ 99. Springer, September 1999. will appear as LNCS in 2000.
J. Rekers. On the Use of Graph Grammars for Defining the Syntax of Graphical Languages. In Proc. of the Colloquium on Graph Transformation, Palma de Mallorca, Spain, 1994.
A. Schürr. Introduction to the Specification Language PROGRES. In M. Nagl, editor, Building Tightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, pages 248–279. Springer, 1996.
A. Schleicher. Enacting Object-Oriented Process Models Using Graph Transformations. In Proc. of the Workshop on Applications of Graph Transformations with Industrial Relevance (ACTIVE’ 99. Springer, September 1999. in this book.
J. Schwartz and B. Westfechel. Integrated Data Management in a Heterogeneous CIM Environment. In Proc. CompEuro’ 93, pages 272–286. IEEE Computer Society Press, 1993.
A. Schürr, A. Winter, and A. Zündorf. Developing Tools with the PRO-GRES Environment. In M. Nagl, editor, Building Tightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, pages 356–369. Springer, 1996.
B. Westfechtel. A Graph-Based Approach to the Construction of Tools for the Life Cycle Integration between Software Documents. In Proc. of the 5th International Workshop on Computer-Aided Software Engineering, pages 2–13. IEEE Computer Society Press, 1992.
A. Zamperoni. GRIDS-GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software Engineering. In Proc. of the 18th International Conference on Software Engineeering, Berlin, Germany, pages 48–59. IEEE Computer Society Press, March 1996.
A. Zamperoni. Formal Integration of Software Engineering Aspects. PhD thesis, University of Paderborn, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zamperoni, A., Engels, G. (2000). Formal Integration of Software Engineering Aspects Using a Graph Rewrite System - A Typical Experience ?! -. In: Nagl, M., Schürr, A., Münch, M. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 1999. Lecture Notes in Computer Science, vol 1779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45104-8_28
Download citation
DOI: https://doi.org/10.1007/3-540-45104-8_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67658-4
Online ISBN: 978-3-540-45104-4
eBook Packages: Springer Book Archive