Enhancing Protocol Specifications to Include Orthogonal Functions

Protocol design has long been recognized as an important and challenging research problem. While this problem is inherently complicated and no panacea solutions exist nowadays, some formal methods have been employed successfully to assist in protocol design process. In the same spirit, this paper presents an approach to refine a protocol specification to comply with a requirement specification containing actions beyond those given in the protocol specification.