An Event-Based Design Methodology Supported by DREAM ; CU-CS-140-78

A methodology for the architectural design of software systems is composed of three interrelated facilities. First, there must be some means of capturing the requirements for the system in some primarily non-procedural specification. Second, there must be some means for describing potential modularizations of the system in some primarily pseudo-procedural design which captures the essential detail concerning the modules; interfaces and their interactions. Finally, there must be some means of determining whether a system design appropriately meets the system specification. In this paper, we present a design methodology based on the use of event and event sequence descriptions. We first give a brief definition of the Design Realization, Evaluation and Modelling (DREAM) system and its description language as they relate to an event-based design method. Then we define the design method and give a simple example