Authors: Ronny Seiger, Christine Keller, Florian Niebling, Thomas Schlegel
Cyber-physical Systems introduce several new requirements for modelling and executing autonomous processes. Current workflow languages are not able to completely fulfil these requirements, as they mostly lack expressiveness and flexibility. In this paper, we therefore present a new workflow language for formalizing processes within heterogeneous and dynamic environments. Our approach is highly model- based and uses aspects of component-based software engineering. We present an object-oriented meta-model for describing processes, which enables the hierarchical composition of process components and leverages reusability. In addition, a domain-specific model is used for typification of process elements. Due to the object- orientation, we are able to easily extend our models and create variants of processes. Type-based modelling and polymorphism enable the dynamic selection of appropriate process steps at runtime, creating flexible processes. We present a graphical editor and a distributed execution engine for our meta-model. In addition, we discuss the use of semantic technologies for smart workflows.