Formal description techniques
- 1 January 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 71 (12) , 1356-1364
- https://doi.org/10.1109/PROC.1983.12778
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
This publication has 2 references indexed in Scilit:
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980