Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment

Prototyping based on formal specification should satisfy the requirements of engineers and users equally. The support of both groups requires a formalization of all activities as contract base and an increase of experience by experimental strategies. Contrary to these requirements several problems rest with existing software development environments, which result in complex systems becoming easily unmanageable. Our approach to develop a prototyping environment integrates former results of our project “Implementation of Information Systems”. We propose the object-oriented specification language Troll as core of the integrated software development environment TBench. Troll is used for conceptual modeling of structural and behavioral aspects of the universe of discourse by offering a formal framework. Moreover the TBench utilizes Troll to realize relationships between the various graphical representations and the different stages of development. Especially Troll specification documents cover the aspects of integration on data, control and process.

[1]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[2]  Gunter Saake,et al.  Application Modelling in Heterogeneous Environments Using an Object Specification Language , 1993, Int. J. Cooperative Inf. Syst..

[3]  S. Brinkkemper,et al.  Integrating diagrams in CASE tools through modelling transparency , 1993, Inf. Softw. Technol..

[4]  Gunter Saake,et al.  TROLL: a language for object-oriented specification of information systems , 1996, TOIS.

[5]  Andreas Reuter,et al.  The ConTract Model , 1991, Database Transaction Models for Advanced Applications.

[6]  Walt Scacchi,et al.  Process integration in CASE environments , 1992, IEEE Software.

[7]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[8]  Gunter Saake,et al.  Concepts of Object-Orientation , 1992, IS/KI.

[9]  Reinhard Budde,et al.  Prototyping: An Approach to Evolutionary System Development , 1992, Springer Berlin Heidelberg.

[10]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[11]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[12]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[13]  조성일.  Tool for integration , 1997 .

[14]  William Kent,et al.  Object-Oriented Databases: Analysis, Design and Construction , 1991 .

[15]  Stefan Conrad.  Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte , 1994, GI Datenbank Rundbrief.

[16]  Ian Thomas,et al.  Definitions of Tool Integration for Environments , 1992, IEEE Softw..

[17]  Gunter Saake,et al.  Combining TROLL with the Object Modeling Technique , 1994, GI Jahrestagung.

[18]  Rudi Studer.  Informationssysteme und Künstliche Intelligenz: Modellierung , 1992, Informatik-Fachberichte.

[19]  John A. McDermid,et al.  Learning from IPSE's mistakes , 1992, IEEE Software.

[20]  Gunter Saake,et al.  Proof-Theoretic Semantics of Object-Oriented Specification Constructs , 1990, DS-4.

[21]  Gunter Saake,et al.  Animation Support for a Conceptual Modelling Language , 1993, DEXA.

[22]  Gunter Saake,et al.  Revised Version of the Modelling Language TROLL , 1994 .

[23]  Gustav Pomberger,et al.  Prototyping-Oriented Software Development , 1992, Texts and Monographs in Computer Science.

[24]  Heinz Züllighoven,et al.  Evolutionary System Development , 1992 .