Document Type

Technical Report

Publication Date

Fall 10-1-1978


A technique is presented for the description of data repository modules which are shared among a community of concurrent, asynchronous processing modules. The technique is designed to be of use in preparing models of a software system during the architectural phase of its development, when modules, module interfaces and module interactions are being defined. The rigor and precision of descriptions using the technique offers the opportunity to perform analysis during design and several approaches to analysis afforded by the technique are discussed.