An Object Oriented Notation for Computer System Models
We saw in Chapter 2 that the primary means for documenting and managing the development of a computer system-based product in MOOSE is through models. At the start of the development paradigm, a Behavioural Model.i.Behavioural Model; is created, which defines the required behaviour and structure of the product. After review and approval, this initial model passes through a series of phases of refinement that incrementally accumulate implementation detail. In the first of these phases sufficient detail is added to the model to make it executable, and later phases apply implementation decisions; for example, decisions concerning the use of hardware and software. The executable property of the model is used to construct experiments that support the evaluation of subsequent design decisions. Technical management throughout the product development is based on reviews, positioned at key transition points in the development process, some of which will also exercise the Executable Model. At the end of the development process, high-level language implementations of both the hardware and software for the product are synthesised from the model.
KeywordsMethane Marketing Prefix Stim
Unable to display preview. Download preview PDF.