Next: Well-formedness -- Directional, Previous: List of Well-formedness Checks, Up: Well-formedness [Contents][Index]
These checks are concerned about interface, event and component definitions.
|• Interface must define an event|
|• Interface must define a behavior|
|• Out-event must be void|
|• Component with behavior must have a trigger|
|• Component with behavior must define a provides port|