Well-formedness -- Top level (Dezyne Reference Manual)

Next: Well-formedness – Directional, Previous: List of Well-formedness Checks, Up: Well-formedness [Contents][Index]

11.3 Well-formedness – Top level

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