DocumentCode
3299650
Title
An epistemic logic based synthesis of communication services and protocols
Author
Amyay, Omar ; Juanole, Guy ; Zwecker, Stella
Author_Institution
CNRS, Toulouse, France
fYear
1992
fDate
9-12 Jun 1992
Firstpage
674
Lastpage
681
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location
Yokohama
Print_ISBN
0-8186-2865-0
Type
conf
DOI
10.1109/ICDCS.1992.235112
Filename
235112
Link To Document