The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1994 vol.20)
pp: 55-71
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
S.S. Lam, A.U. Shankar, "A Theory of Interfaces and Modules - I: Composition Theorem", IEEE Transactions on Software Engineering, vol.20, no. 1, pp. 55-71, January 1994, doi:10.1109/32.263755
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool