Specify a component

The actions in this section illustrate the specification of a component with provided and required interfaces. Also relations between these interfaces can be expressed.

Add component constraints

Constraints on relations between events of different interfaces can be expressed in a CommaSuite component specifications with extension .component. As an illustration we consider the vending machine component with interfaces as depicted in the figure below.

image