Changes between Version 1 and Version 2 of ForSyDe/SpecificationModel


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

--

Legend:

Unmodified
Added
Removed
Modified
  • ForSyDe/SpecificationModel

    v1 v2  
    11In ForSyDe a system is modelled as a hierarchical concurrent process 
    22network. ''Processes'' communicate with each other via ''signals''. ForSyDe 
    3 supports several models of computation and allows processes belonging to 
     3supports several [[ModelsOfComputation|Models of Computation (MoCs)]] and allows processes belonging to 
    44different models of computation to communicate via ''domain interfaces'' as 
    55illustrated in the following figure. 
    66 
    7 [[Image(forsyde-system-model.svg)]] 
     7[[Image(forsyde-system-model.svg, centered, 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)]] 
     11[[Image(process-constructor-mooreSY.svg, centered, 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.