Modeling and Verifying Workflow-based Regulations

Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we augment the model and model checking with additional property treatment to deal with multifarious non-functional properties and property hierarchies. This enables a more powerful verification of requirements such as given business-driven regulations in these system workflows.

• Type: Conference
• Year: 2006
• Where: CAISE
• Authors: Daniel Fötsch, Elke Pulvermüller, Wilhelm Rossak
• Keywords: Additional Property Treatment, CAISE 2006, Information Management, Multifarious Non-functional Properties, Temporal Workflow Description