Kurzfassung
Estelle ist eine formale Beschreibungstechnik für die Spezifikation von verteilten informationsverarbeitenden Systemen, insbesondere von Kommunikationsdiensten und -Protokollen des OSI Basisreferenzmodells. Estelle wurde von der International Standardization Organization (ISO) entwickelt und besitzt seit 1989 den Status eines internationalen Standards. Gegenwärtige Aktivitäten betreffen vor allem den praktischen Einsatz und die Weiterentwicklung von Estelle sowie die Bereitstellung von rechnergestützten Werkzeugen.
Der Beitrag stellt überblickartig mehrere Arbeiten auf der Grundlage von Estelle sowie dabei gewonnene Erfahrungen vor. Die Arbeiten wurden am Arbeitsbereich Rechnerorganisation der Universität Hamburg durchgeführt, teilweise in Kooperation mit industriellen Partnern. Dabei geht es zunächst um den praktischen Einsatz von Estelle als Spezifikationstechnik einerseits und als Implementierungstechnik andererseits. Weitere Arbeiten behandeln die Realisierung verteilter Applikationen mit Estelle sowie die Schaffung von Benutzerschnittstellen. Es wird ferner untersucht, inwieweit objektorientierte Konzepte in Estelle bereits verwirklicht sind. Schließlich wird ein Ansatz zur formalen Verifikation von Spezifikationen in Estelle diskutiert.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturhinweise
Andrae, C.: Eine Spezifikation von CCR in Estelle, Studienarbeit, Fachbereich Informatik, Universität Hamburg, 1990
Bredereke, J.: Spezifikation und Verifikation des InRes-Protokolls unter Verwendung von Estelle und temporaler Logik, Studienarbeit Nr. 700, Fachbereich Informatik, Universität Hamburg, 1990
Dembinski, P., Budkowski, S.: Specification Language Estelle, in: M. Diaz et al. (eds.), The Formal Description Technique Estelle, North-Holland, 1989, S. 35–75
Gotzhein, R.: The Formal Definition of the Architectural Concept ‘Interaction Point’, in: S. T. Vuong (ed.), Formal Description Techniques, II, North-Holland, 1990, S. 67–81
Hille, C.: Spezifikation eines Manufacturing Message Specification-Subsets (MMS) in Estelle mit einer nachfolgenden Implementierung in einer UNIX-Umgebung, Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1990
Estelle, LOTOS und SDL. Standard-Spezifikationssprachen für verteilte Systeme, Springer-Verlag, Berlin, 1989, 188 S.
ISO/TC97/SC16: Data Processing — Open Systems Interconnection — Basic Reference Model, Computer Networks 5, 1981, S.81–118
ISO DIS 9804.2 Service Definition for the Commitment, Concurrency and Recovery Service Element, 1988
ISO DIS 9805.2 Protocol Specification for the Commitment, Concurrency and Recovery Service Element, 1988
ISO IS 9066-1 Information processing systems-Text Communication Reliable Transfer Part 1: Model and Service Definition, 1988
ISO IS 9066-2 Information processing systems — Text Communication Reliable Transfer Part 2: Protocol Specification, 1988
ISO IS 9074, Estelle — A Formal Description Technique Based on an Extended State Transition Model, 1989, 179 S.
ISO DIS 9506 Industrial Automation Systems-System Integration and Communication-Manufacturing Message Specification / Part 1 Service / Part 2 Protocol, 1989
User Guide for the NBS Prototype Compiler for Estelle — Final Report, National Institute of Standards and Technologies, Report No. ICST/SNA-87/3, Okt. 1987, 73 S.
Peter, D.: Konzeption eines Environments zur Generierung und verteilten Ausführung von Estelle-Code, Studienarbeit Nr. 379, Fachbereich Informatik, Universität Hamburg, 1989
Peter, D.: Entwurf, Realisierung und Integration eines Protokolls zur verteilten Ausführung von Estelle-Spezifikationen, Diplomarbeit Nr. 791, Fachbereich Informatik, Universität Hamburg, 1991
Reimer T.: Implementierung eines Reliable Transfer Service Elements (RTSE) mittels der formalen Beschreibungstechnik Estelle, Diplomarbeit Nr. 593, Fachbereich Informatik, Universität Hamburg, 1989
Schüler, U.: Entwurf und Realisierung einer Benutzeroberfläche für die interaktive Simulation einer Estelle-Spezifikation, Studienarbeit Nr. 688, Fachbereich Informatik, Universität Hamburg, 1991
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrae, C. et al. (1991). Praktischer Einsatz und Weiterentwicklung von Estelle. In: Encarnação, J.L. (eds) Telekommunikation und multimediale Anwendungen der Informatik. Informatik-Fachberichte, vol 293. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77060-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-77060-9_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54755-6
Online ISBN: 978-3-642-77060-9
eBook Packages: Springer Book Archive