Formal description techniques

Formal description techniques

Early in the development of OSI, it was recognized that formal description techniques (FDT's) would be required to accomplish the goals of OSI. This paper is a brief history and a report on the status of the work of ISO/TC97/SC16/WG1 ad hoc Group on Formal Description Techniques. The group comp...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the IEEE 1983-01, Vol.71 (12), p.1356-1364
Hauptverfasser: Vissers, C.A., Tenney, R.L., Bochmann, G.V.
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Formal specifications
Guidelines
Meeting planning
Open systems
Proposals
Protocols
Software
Standards development
Technical drawing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Early in the development of OSI, it was recognized that formal description techniques (FDT's) would be required to accomplish the goals of OSI. This paper is a brief history and a report on the status of the work of ISO/TC97/SC16/WG1 ad hoc Group on Formal Description Techniques. The group comprises three subgroups: the first working on architectural concepts; the second, on an FDT based on extended finite-state machines; and the third, on an FDT based on temporal ordering of interaction primitives. An overview of the techniques developed by each of these groups, as of December, 1982, is presented.
ISSN:0018-9219
1558-2256
DOI:10.1109/PROC.1983.12778