Issue No. 01 - January (1994 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.263755
<p>We model a system as a directed acyclic graph where nodes represent modules and arcs represent interfaces. At the heart of our theory is a definition of what it means for a module to satisfy a set of interfaces as a service provider for some and as a service consumer for others. Our definition of interface satisfaction is designed to be separable; i.e., interfaces encode adequate information such that each module in a system can be designed and verified separately, and composable; i.e., we have proved a composition theorem for the system model in general.</p>
directed graphs; systems analysis; user interfaces; formal specification; interface theory; modules; composition theorem; system modelling; directed acyclic graph; nodes; arcs; interface satisfaction; service provider; service consumer; module design; module verification; system model; system design; specification
A. Shankar and S. Lam, "A Theory of Interfaces and Modules - I: Composition Theorem," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 55-71, 1994.