The project GRASPIN and its CASE environment prototypes: An overview

Abstract Within the last six years, the ESPRIT project GRASPIN has developed prototypes of a personal software engineering environment to support the construction and verification of distributed and non-sequential software systems. The GRASPIN environment represents an attempt to enable a smooth transition from today's state-of-the-art technique to 3rd generation CASE environments. It provides a flexible framework with extensive facilities for the incorporation of new methods and tools, and for the customization to a variety of languages, applications, and target systems. This paper gives an overview of the GRASPIN project, describes the main characteristics of its CASE environment prototypes, and relates the GRASPIN concept to current software development environments.

[1]  Thomas E. Cheatham,et al.  Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.

[2]  Bernd J. Krämer,et al.  Developing integrated environments with ASDL , 1989, IEEE Software.

[3]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[4]  Friedrich L. Bauer,et al.  Programming as an evolutionary process , 1975, ICSE '76.

[5]  Ian Thomas,et al.  Tool integration in the Pact environment , 1989, ICSE '89.

[6]  Friedrich L. Bauer,et al.  The Munich Project CIP , 1988, Lecture Notes in Computer Science.

[7]  Robert N. Charette,et al.  Software Engineering Environments: Concepts and Technology , 1986 .

[8]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[9]  Bernd J. Krämer,et al.  Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems , 1989 .

[10]  Claus Lewerentz,et al.  Extended programming in the large in a software development environment , 1988, Software Development Environments.

[11]  Wolfgang Polak.  Framework for a Knowledge-Based Programming Environment , 1986, Advanced Programming Environments.

[12]  Watts S. Humphrey,et al.  The State Of Software Engineering Practice: A Preliminary Report , 1989, 11th International Conference on Software Engineering.

[13]  A. Nico Habermann,et al.  Software Development Environments , 1987, Computer.

[14]  Manfred Nagl,et al.  Eine integrierte Softwareentwicklungs-Umgebung - ein alternativer konzeptioneller Ansatz (eingeladener Vortrag) , 1989, Software-Entwicklung.

[15]  Marie-Luise Christ-Neumann,et al.  ASDL - An Object-Oriented Specification Language for Syntax-Directed Environments , 1987, ESEC.

[16]  Ray Kemp.  Information systems factory study , 1987 .

[17]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[18]  D. L. Zimmerman,et al.  Algorithm design and parallel program development through formal specifications , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[19]  Bernd J. Krämer,et al.  Introducing the GRASPIN specification language SEGRAS, , 1991, J. Syst. Softw..

[20]  Bernd J. Krämer,et al.  Stepwise construction of non-sequential software systems using a net-based specification language , 1984, European Workshop on Applications and Theory in Petri Nets.

[21]  Bernard Lang,et al.  Programming Environments Based on Structured Editors: The MENTOR Experience, , 1980 .

[22]  Watts S. Humphrey,et al.  Software process modeling: principles of entity process models , 1989, ICSE '89.

[23]  Pasquale Armenise,et al.  Software Process Machines: A Framework for Future Software Development Environments , 1989, ESEC.

[24]  Gail E. Kaiser,et al.  An architecture for intelligent assistance in software development , 1987, ICSE '87.

[25]  Robert J. Ellison,et al.  Software Development Environments: Research to Practice , 1986, Advanced Programming Environments.

[26]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[27]  Mitchell D. Lubars.  The IDeA design environment , 1989, ICSE '89.

[28]  M. J. Aslett,et al.  ASPIS: A Knowledge-Based Approach to Systems Development , 1989 .

[29]  Peter H. Feiler,et al.  An Incremental Programming Environment , 1981, IEEE Transactions on Software Engineering.

[30]  B Boehm.  A spiral model of software development and enhancement , 1986, SOEN.

[31]  Leon J. Osterweil,et al.  Software Environment Research: Directions for the Next Five Years , 1981, Computer.

[32]  V. Stenning,et al.  On the role of an environment , 1987, ICSE '87.

[33]  Jack C. Wileden,et al.  Foundations for the Arcadia environment architecture , 1989, SDE 3.

[34]  Thomas Reps,et al.  The Synthesizer Generator: A System for Constructing Language-Based Editors , 1988 .

[35]  Anthony I. Wasserman,et al.  Rapid prototyping of interactive information systems , 1982, Rapid Prototyping.

[36]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[37]  Valerio Romano,et al.  Graspin: A Structured Development Environment for Analysis and Design , 1989, IEEE Softw..

[38]  Paul Klint,et al.  ASF: an algebraic specification formalism , 1987 .

[39]  D Wallace,et al.  Characteristics and functions of software environments: an overview , 1987, SOEN.

[40]  Heinz W. Schmidt.  Prototyping and analysis of non-sequential systems using predicate-event nets , 1991, J. Syst. Softw..

[41]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[42]  I. J. P. Elshoff,et al.  A distributed debugger for Amoeba , 1988, PADD '88.

[43]  Wolfgang A. Halang,et al.  Achieving high integrity of process control software by graphical design and formal verification , 1992, Softw. Eng. J..