Title :
Formal description techniques
Author :
Vissers, Chris A. ; Tenney, Richard L. ; Bochmann, Gregor V.
Author_Institution :
The Twente University of Technology, Enschede, The Netherlands
Abstract :
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.
Keywords :
Formal specifications; Guidelines; Meeting planning; Open systems; Proposals; Protocols; Standards development; Technical drawing;
Journal_Title :
Proceedings of the IEEE
DOI :
10.1109/PROC.1983.12778