A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Toward a Time-centric modeling of Business Processes in BPMN 2.0
Proceedings of International Conference on Information Integration and Web-based Applications & Services
| Hi-index | 0.00 |
The Business Process Modeling Notation (BPMN) is a standard for modeling business processes in the early phases of systems development. Model verification is an important means to guarantee the trustiness of composite services. The verification of model, especially the model with strict time constraints, is a challenge in the field of trust composite services. Whether a model is trustworthy depends not only on the model structure but also on quantitative properties such as time properties. In this paper, we propose a mapping from BPMN to time Petri nets, and use the verification techniques on the basis. The algorithm we present can be used to check the model structure and the time choreography.