search

pascalpoizat / veca-ide

:microscope: verification of component architectures (IDE plugin)
Apache License 2.0
0 stars 0 forks source link

check events wrt provided/required operations #12

Closed pascalpoizat closed 6 years ago

pascalpoizat commented 6 years ago

Check that events correspond to the category (provided / required) in which an operation. Eg, is op1 is provided, it should not possible to have invoke op1 in behaviors or in constraints.