DocumentCode :
970445
Title :
Formal description techniques
Author :
Vissers, Chris A. ; Tenney, Richard L. ; Bochmann, Gregor V.
Author_Institution :
The Twente University of Technology, Enschede, The Netherlands
Volume :
71
Issue :
12
fYear :
1983
Firstpage :
1356
Lastpage :
1364
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;
fLanguage :
English
Journal_Title :
Proceedings of the IEEE
Publisher :
ieee
ISSN :
0018-9219
Type :
jour
DOI :
10.1109/PROC.1983.12778
Filename :
1457046
Link To Document :
بازگشت