Toward enhanced life-cycle support for declarative processes

The need for flexible process-aware information systems resulted in a recent interest in declarative approaches, as they promise a high degree of flexibility. However, the potential of current declarative approaches is impeded by deficiencies in understandability and maintainability. This paper proposes an approach toward better understandability and maintainability of declarative processes by adopting well established techniques from the domain of software engineering. More specifically, the ideas of test-driven development and automated acceptance testing are adopted to interweave process specification and process testing. Thereby, during modeling, testcases balance the circumstantial/sequential information mismatch as well as improve understandability by dispensing with hard mental operations and removing hidden dependencies. Because testcases are also understandable to domain experts, they foster communication between domain experts and model builders, providing a common basis for communication. During process execution, testcases, in turn, help to document the reasons for process deviations and ensure that respective deviations can be easily considered during schema evolution. Furthermore, testcases ensure that no undesired behavior is introduced through process adaptations.