Models of computation in the design process

Abstract:

We have analysed the relation between some inherent properties of computational models and various design tasks and phases. Since this is an endeavour far beyond a single article we have taken time as our primary parameter and have defined four MoC classes based on the time abstraction: continuous time, discrete time, synchronous time and untimed MoC. This is justified because the chosen repre sentation of time has a critical influence on synchronisation, communication and the overall system behaviour for systems described by communicating concurrent processes. For a more elaborate study that encompasses all design activities and phases we suggest to still use time abstraction as the primary criterion for defining MoCs but to use other abstractions and domains to introduce more MoC variants as suitable.

Año de publicación:

2006

Keywords:

Fuente:

scopus