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.
Riddle, William E., "Abstract Monitor Types ; CU-CS-143-78" (1978). Computer Science Technical Reports. 141.