A Relative Timed Semantics for BPMN
Electronic Notes in Theoretical Computer Science (ENTCS)
CEC '09 Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing
Specifying and Monitoring Temporal Properties in Web Services Compositions
ECOWS '09 Proceedings of the 2009 Seventh IEEE European Conference on Web Services
Towards Trustworthy Composite Service Through Business Process Model Verification
UIC-ATC '10 Proceedings of the 2010 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing
Satisfaction and coherence of deadline constraints in inter-organizational workflows
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Time-Aware Automatic Process View Generation
ICEBE '13 Proceedings of the 2013 IEEE 10th International Conference on e-Business Engineering
Hi-index | 0.00 |
Business-to-business (B2B) e-commerce market is expected to expand rapidly in coming years. In this context, organizations tend to rely more on business process management (BPM) to streamline their operations. The business process field is influenced by a wide range of temporal constraints which rise from legal, regulatory, and managerial rules. One of the most promising standards for business process modeling, namely the Business process Model and notation BPMN poorly addresses the time dimension so far. In this paper, we elaborate an extension to BPMN 2.0 to handle the time dimension. The aim of this BPMN extensions is to support business analysts and modellers in easily including the needed temporal constraints in their processes. We motivate and justify our proposed extensions by means of illustrative case studies. Furthermore, based on the proposed extensions, a verification approach based on the model checking technique is used to diagnose potential temporal violations of the process model. The work presented in this paper sets foundation for later automation of these constraints through process execution engines.