Fig. 6From: A context-aware framework for dynamic composition of process fragments in the internet of servicesTranslation of basic APFL activities into LTSs. Synopsis of our APFL language with annotations and the details of how an annotated APFL process can be transformed into an annotated LTSBack to article page