One key perspective when dealing with business process management is time. All business
experts agree upon the fact that time is a key resource for processes within organisations …

Time and resource management and optimization are two important challenges for an
emergency response process, by which all individuals and groups manage hazards in an …

We present two formalisations of the Business Process Modelling Notation (BPMN). In
particular, we introduce a semantic model for BPMN in the process algebra CSP; we then …

Code duplication is widely recognized as a potentially harmful code smell for the
maintenance of software systems. In this demonstration, we present a tool, developed as …

Recently, cross-department business processes are becoming more and more complex.
Different kinds of coordination patterns exist among different departments, which make …

We conservatively extend the declarative Dynamic Condition Response (DCR) Graph
process model, introduced in the PhD thesis of the second author, to allow for discrete time …

Conceptual modeling, which includes both control-flow and data-flow modeling, has posed
great challenges for conventional business process management systems. To support …

Current methods that deal with concurrent workflow temporal violations only focus on
checking whether there are any temporal violations. They are not able to point out the path …

Time and resource management and verification are two important aspects of workflow
management systems. In this paper, we present a modeling and analysis approach for a …

Product development process (PDP) is one of the most important business processes for
enterprises but it has difficulty in workflow management because of the uncertain and …