Annette is a lecturer and researcher at the Technical University of Kaiserslautern. Her research interests include semantics of concurrent and distributed programming, with a focus on replication, synchronization, and programming language concepts such as Software Transactional Memory and Replicated Data Structures. Annette was involved in several national and international research projects, and is currently applying lots of Erlang in the EU-Projects “SyncFree: Large-scale Computation without Synchronization” and “Lightkone: Lightweight computation for networks at the edge”.
Work flow frameworks have become an integral part of modern information systems. They provide a clearly defined interface and structure for interaction with a system. The specification of work flow systems, however, is usually ad-hoc. Often, programmers simply define a number of tasks (forms and actions) that are sequentially connected. Users are then restricted to input data in this prescribed order.
In this talk, we present a data-flow oriented work flow system where the data flow is described in terms of a purely functional program. This approach offers the user and the system flexibility in the order of tasks while guaranteeing a consistent and correct result.