Workflows are set of activities that implement and realise business
goals. Modern business goals add extra requirements on workflow systems and their
management. Workflows may cross many organisations and utilise services on a
variety of devices and/or supported by different platforms. Current workflows are
therefore inherently context-aware. Each context is governed and constrained by its
own policies and rules to prevent unauthorised participants from executing sensitive
tasks and also to prevent tasks from accessing unauthorised services and/or data. We
present a sound and multi-layered design language for the design and analysis of
secure and context aware workflows systems
