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 |