Advertisement

An Object Oriented Notation for Computer System Models

  • Derrick Morris
  • David Evans
  • Peter Green
  • Colin Theaker
Part of the Applied Computing book series (APPLCOMP)

Abstract

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.

Keywords

Dictionary Entry External View Object Orient Functional View Primitive Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1996

Authors and Affiliations

  • Derrick Morris
    • 1
  • David Evans
    • 1
  • Peter Green
    • 1
  • Colin Theaker
    • 2
  1. 1.Department of ComputationUMISTManchesterUK
  2. 2.School of ComputingStaffordshire UniversityStaffordUK

Personalised recommendations