Building integrated software development environments. Part I: tool specification

ABSTRACT

The conceptual modeling approach of the IPSEN (Integrated Project Support Environment) project for building highly integrated environments is based on using attributed graphs to model and implement arbitrary object structures, in particular all kinds of software documents and their relationships. A language based on graph grammars, called PROGRESS (PROgrammed Graph REwriting SyStems), and a suitable method for the application of this language, called graph grammar engineering, have been developed over the last ten years. This language and method are being extensively used for specifying the complex graph structures of internal document representations as well as for specifying the functionality of all tools (editors, browsers, analyzers, debuggers) working on these internal rpresentations. This paper explains the language and the method for applying the language based on a pragmatic nontrivial example of a software production process and its corresponding documents. In particular, it is shown why and how a graph grammar-based strongly typed language is perfectly suitable to formally specify highly integrated software tools. In addition, it is shown that the implementation of these tools (i.e., an environment composed of these tools) is systematically being derived from the formal specifications.

REFERENCES

• 1: P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.14-24, November 28-30, 1988, Boston, Massachusetts, United States
• 2: Rolf Bahlke , Gregor Snelting, The PSG system: from formal language definitions to interactive programming environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.547-576, Oct. 1986 [doi>10.1145/6465.20890]
• 3: Volker Gruhn, Managing software processes in the environment MELMAC, ACM SIGSOFT Software Engineering Notes, v.15 n.6, p.193-205, Dec. 1990
• 4: ~DONZEAu-Gou~E, V., HU~T, G., KAHN, G., AND LANG, B. Programming environments based ~on structured editors: The MENTOR experience. Tech. Rep. 26, INRIA, Paris, 1980.
• 5: ~DERISSEN, J., HRUSCHKA, P., BEECK, M. V.D., JANNING, T., AND NAGL, M. Integrating ~structured analysis and information modeling. In Case--Von der Idee i~ber Methoden zu ~Werkzeugen, Hauser Verlag, Munich, 1992, pp. 214-231.
• 6: ~NGELS, G., HOHENSTEIN, U., H(iLSMANN, K., LSHR-RICHTER, P., AND EHRICH, H.D. CADDY ~--Computer aided design of non-standard databases. In Proceedings of the 1st International ~Conference on System Development Environments and Factories (Berlin, May 1989), N. ~Madhavji, W. Sch~ifer, H. Weber, Eds. Pitman, London, 1989, pp. 151-158.
• 7: Gregor Engels , Claus Lewerentz , Wilhelm Schäfer, Graph Grammar Engineering: A Software Specification Method, Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, p.186-201, December 02-06, 1986
• 8: G Engels , M Nagl , W Schafer, On the structure of structure-oriented editors for different applications, Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.190-198, December 09-11, 1986, Palo Alto, California, United States
• 9: Gregor Engels , Andreas Schürr, A hybrid interpreter in a software development environment, Proc. of the 1st European Software Engineering Conference on ESEC '87, p.80-88, December 1987, Strasbourg, France
• 10: ~ENGELS, G. AND SCHAFER, W. Programmrng Environments, Concepts and Realizatwn. Teub- ~ner-Verlag, Stuttgart, 1989 (in German).
• 11: Ramez Elmasri , Gio Wiederhold, GORDAS: A Formal High-Level Query Language for the Entity-Relationship Model, Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis, p.49-72, October 12-14, 1981
• 12: ~GSTTLER, H Graph grammars used in software engineering. In IFB 178, Springer Verlag, ~Berlin, 1988 (in German).
• 13: ~H/JNNEKENS, H., JUN~rERMANN, G., PEUSCHEL, B., SCHXFER, W., AND V^GTS, K.J. A step ~toward knowledge-based software process modeling. In Proceedings of the 1st International ~Conference on System Development Enwronments and Factories, N. Madhavji, W. Sch~ifer, H. ~Weber, Eds. (Berlin, May 1989), Pitman, London, 1989, pp. 49 58
• 14: Richard Hull , Roger King, Semantic database modeling: survey, applications, and research issues, ACM Computing Surveys (CSUR), v.19 n.3, p.201-260, Sept. 1987 [doi>10.1145/45072.45073]
• 15: A. Nico Habermann, Introduction to Operation Systems Design, Science Research Associates, 1976
• 16: A N Habermann , D Notkin, Gandalf: software development environments, IEEE Transactions on Software Engineering, v.12 n.12, p.1117-1127, Dec.1986
• 17: Susan Beth Horwitz, Generating language-based editors: a relationally-attributed approach, 1985
• 18: ~JANNING, T. AND LEFERING, M. Transformation from requirements engineering into design ~ --the method and the tool. In Proceedings of Software Engineering and its Applications ~(Toulouse, 1990), pp. 223-238.
• 19: ~KAUL, M. Precedence graph grammars. Ph.D. dissertation, Univ. of Passau, 1985 (m German).
• 20: ~KASTENS, U. Ordered attribute grammars. Acta Inf. 13 (1980), 229-256.
• 21: Simon M. Kaplan , Steven K. Goering, Priority Controlled Incremental Attribute Evaluation in Attributed Graph Grammars, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming, p.306-336, March 13-17, 1989
• 22: Claus Lewerentz, Extended programming in the large in a software development environment, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.173-182, November 28-30, 1988, Boston, Massachusetts, United States
• 23: ~LEWERENTZ, C., AND SCH/iRR, A. GRAS, a management system for graph-like documents. In ~Proceedings of the 1st Conference on Data Knowledge Bases (Jerusalem, 1988), Morgan- ~Kaufman, London, 1988, pp. 19-31.
• 24: ~NAGL, M. Graph Grammars--Theory, Applicatwns, and Implementatwn. Vieweg-Verlag, ~Wiesbaden, 1979 (in German).
• 25: ~NAGL, M. Graph technology applied to a software project. In The Book ofL. Rozenberg and ~Salomaa, Eds. Springer Verlag, Berlin, 1985, pp. 303-322.
• 26: ~NAGL, M. Software Engineering: Methodological Programming-In-The-Large. Springer ~Verlag, Berlin, 1990 (in German).
• 27: John R. Nestor , Joseph M. Newcomer , Paola Giannini , Donald L. Stone, IDL: the language and its implementation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
• 28: Thomas Reps , Tim Teitelbaum, The synthesizer generator, Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.42-48, April 1984
• 29: ~SCHOTTE, A. Specification and generation of compilers for graph languages by attributed ~graph grammars. Ph.D. dissertation, Express-Edition, Berlin, 1987 (in German).
• 30: ~SCH/)RR, A. Specifying operationally by programmed graph rewriting systems: Formal ~definitions, applications, and tools. Ph.D. dissertation, RWTH Aachen, 1991 (in German).
• 31: ~SCHfiRR, A PROGRESS: A VHL-language based on graph grammars. In Proceedings of the ~4th International Workshop on Graph Grammars (1990), LNCS, Springer Verlag, Berlin, ~1991, to appear.
• 32: Frank DeRemer , Richard Jüllig, Tree-affix dendrogrammars for languages and compilers, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.300-319, January 14-18, 1980
• 33: Thomas W. Reps , Carla Marceau , Tim Teitelbaum, Remote attribute updating for language-based editors, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.1-13, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512645]
• 34: Tim Teitelbaum , Thomas Reps, The Cornell program synthesizer: a syntax-directed programming environment, Communications of the ACM, v.24 n.9, p.563-573, Sept. 1981 [doi>10.1145/358746.358755]
• 35: ~VERIt~IJEN, G., AND VAN BEKKUM, J. NIAM: An information analysis method. In Proceed- ~ings of lFIP TC-8 Conference on Comparative Review of Information Systems Methodologies ~(CRIS-1). A. Verrijn-Stuart, T.W. Olk, and H. Sol, Eds., North Holland, Amsterdam, 1982, ~pp. 537-590.
• 36: B. Westfechtek, Revision control in an integrated software development environment, ACM SIGSOFT Software Engineering Notes, v.14 n.7, p.96-105, Nov. 1989
• 37: Albert Zündorf , Andy Schürr, Nondeterministic Control Structures for Graph Rewriting Systems, Proceedings of the 17th International Workshop, p.48-62, June 17-19, 1991
• 38: ~proceedings of the 1st International Symposium on Practical Software Development Environ- ~ments (Pittsburgh, Pa., 1984). ACM SIGPLAN Notices 19, 5 (1984).
• 39: ~Proceedings of the 2nd International Symposium on Practical Software Development Environ- ~ments (Palo Alto, Calif., 1986). ACM SIGPLAN Notices 22, I (1986).
• 40: ~Proceedings of the 3rd International Symposium on Practical Software Development Environ- ~ments (Boston 1988). ACM SIGSOFT Notes 13, 5 (1988).
• 41: ~Proceedings of the 4th International Symposium on Practical Software Development Environ- ~ments (Irvine, Calif., 1990). ACM SIGSOFT Notes 15, 6 (1990).

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
  D.3 PROGRAMMING LANGUAGES

  H. Information Systems
  H.2 DATABASE MANAGEMENT

General Terms:
Design, Languages

Keywords:
attribute grammars, attributed graphs, environment generators, graph grammars