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
- A theory of interfaces and modules I--composition theorem
Simon S. Lam and A. Udaya Shankar
IEEE Transactions on Software Engineering,
vo. 20, no. 1, pages 55-71, January 1994
- A relational notation for state transition systems
Simon S. Lam and A. Udaya Shankar
IEEE Transactions on Software Engineering,
vo. 16, no. 7, pages 755-775, July 1990
- A stepwise refinement heuristic for protocol construction
A. Udaya Shankar and Simon S. Lam
ACM TOPLAS, vol. 14, no. 3, pages 417-461, July 1992.