Zusammenfassung
Innerhalb des KorSo-Projektes verfolgt unsere Gruppe das Ziel, die Entwicklung zuverlässiger Informationssysteme auf der Basis formaler Spezifikationen zu unterstützen. Dazu konzentriert sich unsere Arbeit auf die Spezifikationssprache TROLL light, die es erlaubt, Teile der zu modellierenden Welt als eine Gemeinschaft nebeneinander bestehender und miteinander kommunizierender Objekte zu beschreiben. Auf diese Weise bestimmen wir sowohl die Struktur als auch das Verhalten der konzeptionellen Objekte. Unsere Spezifikationsumgebung für TROLL light erlaubt die Animation von Spezifikationen ebenso wie das Beweisen von Eigenschaften der Spezifikationen unter Verwendung von Theorembeweisern.
Die hier vorgestellte Arbeit wird vom Bundesministerium für Forschung und Technologie unter der Förderungsnummer 01 IS 203 D (KorSo = Korrekte Software) unterstützt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
S. Conrad, M. Gogolla und R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, Technische Universität Braunschweig, 1992.
H.-D. Ehrich, M. Gogolla und A. Sernadas. Objects and their Specification. In M. Bidoit und C. Choppy, Herausgeber, Proc. 8th Workshop on Abstract Data Types, S. 40–66. LNCS 655, Springer, Berlin, 1992.
R. Jungclaus, G. Saake, T. Hartmann und C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, Technische Universität Braunschweig, 1991.
A. Sernadas und H.-D. Ehrich. What Is an Object, After All? In R. Meersman, W. Kent und S. Khosla, Herausgeber, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)), S. 39–70, Amsterdam, 1991. North-Holland.
N. Viachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad und H.-D. Ehrich. Towards Reliable Information Systems: The KORSO Approach. In C. Rolland, Herausgeber, Proc. 5th Int. Conf. Advanced Information Systems Engineering. Springer, LNCS Series, 1993. To appear.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Conrad, S., Denker, G., Gogolla, M., Herzig, R., Vlachantonis, N., Ehrich, HD. (1993). Zur Entwicklung zuverlässiger Informationssysteme in KorSo. In: Reichel, H. (eds) Informatik — Wirtschaft — Gesellschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78486-6_82
Download citation
DOI: https://doi.org/10.1007/978-3-642-78486-6_82
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57192-6
Online ISBN: 978-3-642-78486-6
eBook Packages: Springer Book Archive