ADEPTworkflow - advanced workflow technology for the efficient support of adaptive, enterprise-wide processes

WfMS for (potentially) enterprise-wide application scenarios. It concentrates on the realization of flexible, robust WF-based applications, which have to run stable and which are used by non-computer-experts. To achieve the desired robustness, an appropriate formal WF model has been developed which allows to validate the correctness of a WF template already at build-time (e.g., exclusion of deadlocks, proper invocation of activity components, etc.). For achieving flexibility, appropriate concepts have been developed to support ad-hoc changes of in-progress WF (e.g., to add new steps, to omit steps, to change the sequence of steps, or to jump forward/backward in the flow), while maintaining their correctness and consistency [1]. Such deviations from the pre-modeled WF template may become necessary to cope with exceptional situations or to model incompletely defined parts of a WF template at run-time [2]. To ensure that the offered change facilities are usable by “normal ” WF participants, high-level, powerful modification operations have been developed, which hide the com-plexity of a dynamic change to a large degree from the user. That means, that they are not burdened with the re-mapping of activity parameters, the problem of missing input values due to the deletion of a step, or the avoidance of any obscure system behavior (e.g., deadlocks). Instead users may define a dynamic change at a high semantic level (e.g., to insert a new step between two node sets), withou