(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”].
[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
[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.