Skip to main content
SpringerLink
Log in

Unterstützung des korrektheitszentrierten Entwurfs von Informationssystemen

  • Conference paper
Datenbanksysteme in Büro, Technik und Wissenschaft

Part of the book series: Informatik aktuell ((INFORMAT))

  • 57 Accesses

Zusammenfassung

Im vorliegenden Beitrag wird ein Ansatz zum Einsatz von Verifikationswerkzeugen in der Entwurfsphase für Informationssysteme vorgestellt. Basierend auf einer einfachen Beschreibungssprache für Struktur und Verhalten von Objekten wird ein geigneter Kalkül präsentiert, mit dem das Beweisen von Objekteigenschaften mittels Herleitung aus der Spezifikation möglich wird. Hiermit ist eine frühe formale Überprüfung des Entwurfes auf wichtige Eigenschaften möglich.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. A.-P. Bröhl and W. Dröschel. Das V-Modell: Der Standard für die Softwareentwicklung mit Praxisleitfaden. Oldenbourg-Verlag, München, 1993.

    Google Scholar 

  2. S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92–02, TU Braunschweig, 1992.

    Google Scholar 

  3. S. Conrad. Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte. Fortschritt-Berichte Reihe 10, Nr. 295. VDI-Verlag, Düsseldorf, 1994.

    Google Scholar 

  4. J. Fiadeiro and T. Maibaum. Towards Object Calculi. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, Workshop IS-CORE 91, ESPRIT BRA WG 3023, London, pages 129–178. Informatik-Bericht 91–03, Technische Universität Braunschweig, 1991.

    Google Scholar 

  5. M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO’93), pages 17–32. Springer, Berlin, LNCS 722, 1993.

    Google Scholar 

  6. G. Gentzen. Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39: 176–210, 1935.

    Article  MathSciNet  Google Scholar 

  7. R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light In C. Chrisment, editor, Proc. Basque Int. Workshop on Information Technology (BIWIT’94) ) pages 183–194. Cépaduès-Éditions, Toulouse, 1994.

    Google Scholar 

  8. A. Heuer. Objektorientierte Datenbanken — Konzepte, Modelle, Systeme. Addison Wesley, 1992.

    Google Scholar 

  9. R. Herzig, H. Fischer, and M. Gogolla. Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen. In L. Wegner, editor, Proc. Gl-Workshop “Benutzungsschnittstellen für Datenbanken„, Kassel, 17.–18.3.94, pages 43–45. GI-Datenbankrundbrief 13, Mai 1994.

    Google Scholar 

  10. R. Herzig and M. Gogolla. An Animator for the Object Specification Language TROLL light. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE 94), pages 4–17. Université du Quebéc à Montréal, 1994.

    Google Scholar 

  11. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The THOLL Language. Informatik- Bericht 91–04, TU Braunschweig, 1991.

    Google Scholar 

  12. F. Krückeberg. Zertifizierung von Software. Wirtschaftsinformatik, 35 (2): 183–186, 1993.

    Google Scholar 

  13. B. Paech. Gentzen-Systems for Propositional Temporal Logics. In E. Börger, H. Kleine Büning, and M.M. Richter, editors, 2nd Workshop on Computer Science Logic, pages 240–253. Springer, LNCS 385, 1988.

    Google Scholar 

  14. L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, editor, Logic and Computer Science ) pages 361–385. Academic Press, 1990.

    Google Scholar 

  15. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, 1991.

    Google Scholar 

  16. H.D. Rombach. Software-Qualität und Qualitätssicherung. Informatik Spektrum, 16 (5): 267–272, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Technische Informationssysteme, Universität Magdeburg, Postfach 4120, D-39016, Magdeburg, Germany

    Stefan Conrad

Authors
  1. Stefan Conrad
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Am Flughafen 17, D-79110, Freiburg, Germany

    Georg Lausen

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Conrad, S. (1995). Unterstützung des korrektheitszentrierten Entwurfs von Informationssystemen. In: Lausen, G. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79646-3_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-79646-3_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59095-8

  • Online ISBN: 978-3-642-79646-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation