A workflow modeling framework enhanced with problem-solving knowledge

This paper outlines a framework that extends the Unified Problemsolving Method description Language in order to enhance workflows modelling with knowledge. The framework defines the knowledge components needed to represent and reuse both the static and dynamic knowledge used to describe a business process. For this purpose, workflows are represented by means of an ontology based on High-level Petri Nets. This ontology provides the structure and axioms needed to validate and reason about the graph structure, the state and the execution of the workflow. The framework architecture is based Workflow Reference Model architecture defined by the Workflow Management Coalition and is built around the knowledge components that defines the structure and execution semantics of workflows.