Formal Description Technique

Computing Dictionary

Formal Description Technique definition

specification, protocol
(FDT) A formal method for developing telecomunications services and protocols. FDTs range from abstract to implementation-oriented descriptions. All FDTs offer the means for producing unambiguous descriptions of OSI services and protocols in a more precise and comprehensive way than natural language descriptions. They provide a foundation for analysis and verification of a description. The target of analysis and verification may vary from abstract properties to concrete properties. Natural language descriptions remain an essential adjunct to formal description, enabling an unfarmiliar reader to gain rapid insight into the structure and function of services and protocols.
Examples of FDTs are LOTOS, Z, SDL, and Estelle.
[ISO/IEC DTR10167: "Guidelines for the application of Estelle, LOTOS and SDL"].
(1994-12-06)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: formal cause
Next Definition: formal equivalence
More from Thesaurus.com
Synonyms and Antonyms for formal description technique
More from Reference.com
Search for articles containing formal description technique
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature