MIME-Version: 1.0 Server: CERN/3.0 Date: Tuesday, 07-Jan-97 15:55:01 GMT Content-Type: text/html Content-Length: 1948 Last-Modified: Tuesday, 21-Feb-95 23:18:12 GMT Protocol Theory

Protocol Theory


We investigated the semantics of basic concepts essential to the design and specification of protocols, such as these questions: What is meant by protocol A being an abstraction of protocol B ? What is meant by protocol B being a refinement of protocol A ? Answers to these questions gave rise to methods that facilitate the design of nontrivial, multi-function protocols. Our current research focus is on understanding interface semantics between modules that are service providers and consumers. We make use of such understanding to develop decomposition and composition methods for protocol engineering.

Selected publications