[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

LamShankar94a

  1. Simon S Lam & A Udaya Shankar
  2. A Theory of Interfaces and Modules I -- Composition Theorem
  3. IEEE Trans SE V20n1(Jan 1994)pp55-71
  4. =THEORY SAFETY LIVENESS MODULARITY PROOF COMPOSITION
  5. See [Jonsson94]

    [KayReed93]

    [ChandyMisra88]

    [AbadiLamport93]


      Need to divide up software into modules that can be designed separately. Then need to know that when the pieces are composed the whole will work.

      Proposes a formal model of the ways that modules interface. Defines what it means for a module to satisfy an interface(M offers I, and M offers I using L). Assumes this forms a DAG. Shows that such systems can be composed.

      Interfaces are two sided - providers and consumers of services. Both sides are designed to not perform badly if the other side performs ok. The provider is designed to guarantee that the service is provided some time after it is requested. Providing a service is a conditional progress properties.

      Object-oriented programming only specifies safety (lack of bad results).



Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]