University of Piraeus
Business Process (BP) analysis aims to investigate properties of BPs by performing simulation, diagnosis and verification with the goal of supporting BP Management (BPM). In this paper, the authors propose a framework for BPM that relies on the BP Modeling Notation (BPMN). More specifically, they first introduce a method to deal with the BPM life cycle. Then, they discuss a platform to support this life cycle. The platform comprises three basic modules: a visual BPMN-based designer, a process tracing service, and a BP Manager for, respectively, the design, configuration and execution phases of the BPM life cycle.