The domain of the global variables, i.e. the variables visible all over the parameterized system definition, is defined in a instantiation file. The instantiation file is given in FC2 format having a single net. The variables are assigned using the operator = in the hooks of that net (they can be assigned equally to a set or a value). For our consumer-producer example, we instantiate the system with 2 producers, 2 consumers and a maximal buffer capacity of 3. The instantiation file is:
declarations
constant Max() ->any
constant consumers() ->any
constant producers() ->any
infix = (any any ) -> any priority 8
prefix in (any int) -> any
prefix set (any) -> any
nets 1
net 0
hook Max=3
hook consumers=set("cons1","cons2")
hook producers=in(1,2)
|