The temporal perspective in business process modeling: a survey and research challenges
S Cheikhrouhou, S Kallel, N Guermouche… - … Oriented Computing and …, 2015 - Springer
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 …
experts agree upon the fact that time is a key resource for processes within organisations …
E-net modeling and analysis of emergency response processes constrained by resources and uncertain durations
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 …
emergency response process, by which all individuals and groups manage hazards in an …
Modeling and verification for cross-department collaborative business processes using extended Petri nets
Recently, cross-department business processes are becoming more and more complex.
Different kinds of coordination patterns exist among different departments, which make …
Different kinds of coordination patterns exist among different departments, which make …
JDeodorant: clone refactoring
D Mazinanian, N Tsantalis, R Stein… - Proceedings of the 38th …, 2016 - dl.acm.org
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 …
maintenance of software systems. In this demonstration, we present a tool, developed as …
Formalisations and applications of BPMN
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 …
particular, we introduce a semantic model for BPMN in the process algebra CSP; we then …
Contracts for cross-organizational workflows as timed dynamic condition response graphs
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 …
process model, introduced in the PhD thesis of the second author, to allow for discrete time …
Petri net based data-flow error detection and correction strategy for business processes
Conceptual modeling, which includes both control-flow and data-flow modeling, has posed
great challenges for conventional business process management systems. To support …
great challenges for conventional business process management systems. To support …
Dynamic checking and solution to temporal violations in concurrent workflow processes
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 …
checking whether there are any temporal violations. They are not able to point out the path …
Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on Petri nets
H Wang, Q Zeng - IEEE Transactions on Systems, Man, and …, 2008 - ieeexplore.ieee.org
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 …
management systems. In this paper, we present a modeling and analysis approach for a …