Formal description technique


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)

Read Also:

  • Formaldehyde

    [fawr-mal-duh-hahyd, fer-] /fɔrˈmæl dəˌhaɪd, fər-/ noun, Chemistry. 1. a colorless, toxic, potentially carcinogenic, water-soluble gas, CH 2 O, having a suffocating odor, usually derived from methyl alcohol by oxidation: used chiefly in aqueous solution, as a disinfectant and preservative, and in the manufacture of various resins and plastics. /fɔːˈmældɪˌhaɪd/ noun 1. a colourless poisonous irritating […]

  • Formal equivalence

    noun 1. (logic) the relation that holds between two open sentences when their universal closures are materially equivalent

  • Formalin

    [fawr-muh-lin] /ˈfɔr mə lɪn/ noun, Chemistry. 1. a clear, colorless, aqueous solution of 40 percent formaldehyde. /ˈfɔːməlɪn/ noun 1. a 40 per cent solution of formaldehyde in water, used as a disinfectant, preservative for biological specimens, etc formalin for·ma·lin (fôr’mə-lĭn) n. An aqueous solution of formaldehyde that is 37 percent by weight.

  • Formalin pigment

    formalin pigment for·ma·lin pigment (fôr’mə-lĭn) n. A pigment formed in blood-rich tissues that come in contact with aqueous solutions of formaldehyde that have acidic pH values.

  • Formalise

    [fawr-muh-lahyz] /ˈfɔr məˌlaɪz/ verb (used with object), formalized, formalizing. 1. to make , especially for the sake of official or authorized acceptance: to formalize an understanding by drawing up a legal contract. 2. to give a definite form or shape to. 3. to state or restate (the rules or implied rules of a grammar or […]


Disclaimer: Formal description technique definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.