Title :
An epistemic logic based synthesis of communication services and protocols
Author :
Amyay, Omar ; Juanole, Guy ; Zwecker, Stella
Author_Institution :
CNRS, Toulouse, France
Abstract :
The advantages of an initial specification based on the knowledge properties of the service users and service providers for specifying the communication mechanisms of a layer is discussed. This particular way of proceeding with specification causes the designer to express pertinent high level properties that enable the designer to rationally infer a complete specification of the mechanistic attributes of an operational specification
Keywords :
formal specification; knowledge representation; protocols; communication services; epistemic logic based synthesis; knowledge properties; mechanistic attributes; operational specification; protocols; service providers; service users; specification; Context; Context-aware services; Error correction; Logic; Mechanical factors; Nonhomogeneous media; Protocols;
Conference_Titel :
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location :
Yokohama
Print_ISBN :
0-8186-2865-0
DOI :
10.1109/ICDCS.1992.235112
