Abstract
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.
This work was partially supported by the CEC under ESPRIT-III BRA WG 6071 IS-CORE and ESPRIT BRA WG 8319 ModelAge. The work of T. Hartmann and J. Kusch is supported by DFG under Sa 465/1-3. The work of P. Hartel is supported by OBLOG Software SA, Lisboa, Portugal.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
R. Budde, K. Kautz, K. Kuhlenkamp, and H. Züllighoven. Prototyping — An Approach to Evolutionary System Development. Springer-Verlag, 1992.
A. W. Brown and J. A. McDermid. Learning from IPSE's Mistakes. Integrated Case, IEEE, pages 23–28, March 1992.
W. Bischofberger and G. Pomberger. Prototyping-Oriented Software Development. Springer, 1992.
S. Brinkkemper. Integration diagrams in case tools through modelling transparency. Information and Software Technology, 35(2):101–105, 2 1993.
M.R. Cagan. The HP Softbench environment: An architecture for a new generation of software tools. InHP Journal 41, pages 36–47, 1990.
S. Conrad. Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte. Fortschritt-Berichte Reihe 10, Nr. 295. VDI-Vieweg, 1994.
ESDI S.A, Lisbon. OBLOG CASE V1.0 — User's Guide, 1993.
H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of Object-Orientation. In Proc. of the 2nd Workshop of “Informationssysteme und Künstliche Intelligenz: Modellierung”, Ulm, pages 1–19. Springer IFB 303, 1992.
J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere), pages 243–284, Amsterdam, 1991. North-Holland.
J. J. van Griethuysen. Concepts and Terminology for the Conceptual Schema and the Information Base. Report N695, ISO/TC97/SC5, 1982.
T. Hartmann, R. Jungclaus, and G. Saake. Animation Support for a Conceptual Modelling Language. In V. MaŘík, J. Lazansky, and R.R. Wagner, editors, 4th DEXA, Prague, pages 56–67. LNCS 720, Springer, 1993.
T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kusch. Revised Version of the Modelling Language Troll (Version 2.0). Informatik-Bericht 94-03, Technische Universität Braunschweig, 1994.
R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll — A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 1995. To appear.
R. Jungclaus, R.J. Wieringa, P. Hartel, G. Saake, and T. Hartmann. Combining Troll with the Object Modeling Technique. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software, pages 35–42. Springer, Informatik aktuell, 1994.
J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems, 5(2):185–207, 1980.
P. Mi and W. Scacchi. Process Integration in CASE Environments. IEEE Computer-Aided Software Engineering (CASE), pages 54–62, 1992.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design. Prentice-Hall, 1991.
D. Schefström and G. van den Broek. Tool Integration. Wiley Professional Computing, 1993.
G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogeneous Environments using an Object Specification Language. IJICIS, 2(4):425–449, 1993.
I. Thomas and B. A. Nejmeh. Definitions of Tool Integration for Environments. IEEE Integrated Case, pages 29–35, March 1992.
H. Wächter and A. Reuter. The ConTract Model. In A. K. Elmagarmid, editor, Database Transaction Models for Advanced Applications, pages 219–263. Morgan-Kaufmann, Palo Alto, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kusch, J., Hartel, P., Hartmann, T., Saake, G. (1995). Gaining a uniform view of different integration aspects in a prototyping environment. In: Revell, N., Tjoa, A.M. (eds) Database and Expert Systems Applications. DEXA 1995. Lecture Notes in Computer Science, vol 978. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0049103
Download citation
DOI: https://doi.org/10.1007/BFb0049103
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60303-0
Online ISBN: 978-3-540-44790-0
eBook Packages: Springer Book Archive