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. >
['Omar Amyay', 'Guy Juanole', 'Stella Zwecker']
An epistemic logic based synthesis of communication services and protocols