Domain-specific individualization of workflows

The virtualization of IT services by using software-as-a-service offers imposes the problem of correct service usage. Often an application level protocol has to be followed to assure logically correct workflows. This paper presents a domain-specific approach for the specification of such application level protocols. A domain ontology is combined with a formal protocol specification language to enable correct usage patterns even for dynamically adapted workflows to support individual needs.