Changes between Version 2 and Version 3 of ForSyDe/SpecificationModel


Ignore:
Timestamp:
03/02/12 09:59:45 (6 years ago)
Author:
ingo
Comment:

Figures centered

Legend:

Unmodified
Added
Removed
Modified
  • ForSyDe/SpecificationModel

    v2 v3  
    55illustrated in the following figure. 
    66 
    7 [[Image(forsyde-system-model.svg, centered, 400px)]] 
     7[[Image(forsyde-system-model.svg, center, 400px)]] 
    88 
    99Processes are created using the concept of ''process constructors''. A process constructor takes side-effect-free functions and values as arguments and creates a process. The following figure illustrates the concept of process constructor by creating a process that implements a Moore finite-state machine within the synchronous MoC. 
    1010 
    11 [[Image(process-constructor-mooreSY.svg, centered, 400px)]] 
     11[[Image(process-constructor-mooreSY.svg, center, 400px)]] 
    1212 
    1313The process constructor '''mooreSY''' defines the model of computation, the type of the process (FSM), and the process interface. The exact functionality of the process is defined by a function '''f''' that specifies the calculation of the next state, another function '''g''' that specifies the calculation of the output, and a value '''v''' that specifies the initial value of the Moore-FSM process.