Each object of the Service task type in the BPMN diagram must be linked to a software service operation type via a single connection of the supports type. This means that the function has an assigned function allocation diagram. The function allocation diagram contains an occurrence copy of the task that is linked to the software service operation type via a single connection of the supports type.
Exactly one software service type must be linked to a function via a connection of the supports type.