Add support for parameterized components

habtom / factum

Architectural Design Constraints Specification and Verification

GNU General Public License v3.0

1 stars 1 forks source link

Open dmarmsoler opened 6 years ago

dmarmsoler commented 6 years ago

A component type can be parameterized by 0 or more parameters which are typed with datatypes as ports. This impacts code generation as follows:

[ ] The fixes part of the patterns locale is extended with an additional clause (similar to ports). However, compared to ports, the input parameter is 'SN(CT)id.
[ ] An additional assumption is generated: "\e. \SN(CT). e=prob SN(CT)"

dmarmsoler commented 6 years ago

@habtom Did you already implement this?