Supporting service discovery by semantic service specifications is currently an important research area. While the approaches
for the annotation of individual services are well researched, determining the semantics of compositions of services remains
an open research issue.
In this paper, we present an approach to generate the semantics of service compositions from the semantics of the contained
services. To do this we assume a formal Workflow net model of the service composition. With an example use case we show how
this works in practice.