Abstract
An einfachen Beispielen zum Verkehrsbetriebsleitsystem BON wird eine Spezifikationssprache vorgestellt, die auf der Basis des mehrsortigen Prädikatenkalküls erster Ordnung aufbaut und zur Beschreibung komplexer Informationsstrukturen mit Konstrukten ähnlich den Datenstrukturelementen höherer Programmiersprachen angereichert ist. Dynamische Vorgänge werden mit rekursiven Funktionen über der Zeit spezifiziert. Praktische Erfahrungen bei der Analyse und Modellierung rechnergestützter Automatisierungen zeigen, daß dieses Werkzeug bei angemessenem Aufwand eine vollständige, in der Detailgenauigkeit unübertroffene, geschlossene Darstellung auch dann noch erlaubt, wenn verschiedene anwendungsbezogene mathematische und informationstechnische Modelltheorien miteinander verknüpft werden müssen.
English Abstract
With examples out of the passenger transit control system ‘BON’ we introduce a specification language based on many sorted first order predicate calculus enriched with constructs for the description of complex data structures as known from high level programming languages. For modelling of dynamic behaviour we use recursive functions with time parameter. Experience in the analysis and modelling of computerized control systems shows us that this tool gives us specifications of manageable size, which are mathematical complete and exact. It works even with the combination of application oriented engineering, information processing, and mathematical theories.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Sonnenberg, Walter & Witte, Hans W. Projekt BON: Systemkonzept ÜSTRA, Hannoversche Verkehrsbetriebe AG, 1981
Sonnenberg, Walter: Projekt BON: Grobkonzept der zentralen Software ÜSTRA, Hannoversche Verkehrsbetriebe AG, 1981
Felz, Herbert und andere Das Betriebsleitsystem BON 6 Aufsätze in Nahverkehr Hefte 1+2 1984
Clocksin, William F. & Mellish, Christopher S.: Programming in PROLOG. Springer Verlag 1981
Deussen, Peter: Kausale Operatoren Univ. Karlsruhe, Inst Informatik I, Int. Bericht 15–1973
Hilbert & Ackermann: Grundzüge der theoretischen Logik, Springer Verlag 1928, 5.Aufl. 1956
IF-PROLOG Interface AG, München 1983
Krämer, Bernd: Stepwise Construction of Non-Sequential Software Systems using a Net-Based Specification Language GMD Birlinghoven 1983, Arbeitspapier #68
Keramidis, Sawwas: Eine Methode zur Spezifikation und korrekten Implementierung von asynchronen Systemen, Univ Erlangen IMMD Arbeitsberichte 15–4, 1982
Lucas, P. & Lauer, P. & Stigleitner, H. Method and Notation for the Formal Definition of Programming Languages IBM Labor Wien 1968, TR 25.087
Parnas, David L. A Technique for Software Module Specification with Examples, CACM 15–5, 1972, pp 330–336
Schmidt, A.: Über deduktive Theorien mit mehreren Sorten von Grunddingen, Math. Ann. 115, 1938
Schmidt Heinz W.& Kreowski Hans-Jörg Some Algebraic Concepts of a Petri-Net-Based Specification Language and their Initial Semantics. GMD Birlinghoven 1983, Arbeitspapier Nr.83
Schnupp, Peter: PROLOG als Spezifikations- und Modellierungswerkzeug. Springer Verlag, IFB 74, 1983 pp 173–182
Walther, Christoph: A Many-Sorted Calculus Based on Resolution and Paramodulation, Univ. Karlsruhe, Inst, Informatik I int.Bericht 34, 1982
Wegner, Peter: The Vienna Definition Language ACM Comp Surveys 4–1 (3, 72) pp 5–63
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sonnenberg, W. (1984). Problemanalyse und -spezifikation mit formalen Modellen am Beispiel eines Betriebsleitsystems für den öffentlichen Nahverkehr (BON). In: Ehrich, HD. (eds) GI — 14. Jahrestagung. Informatik-Fachberichte, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07491-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-662-07491-6_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13861-7
Online ISBN: 978-3-662-07491-6
eBook Packages: Springer Book Archive