The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
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
CITATION
A.U. Shankar, S.S. Lam, "A Theory of Interfaces and Modules - I: Composition Theorem", IEEE Transactions on Software Engineering, vol. 20, no. , pp. 55-71, January 1994, doi:10.1109/32.263755
91 ms
(Ver )