DataFlow Analysis in BPMN Models

Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour

2017

Abstract

Business Process Management and Notation (BPMN) is the defacto standard used in enterprises for modeling business processes.However, this standard was not provided with a formal semantics, which makes the possibility of analysis limited to informal approaches such as observation. While most of the existing formal approaches for BPMN models verification focus on the control-flow, only few has treated the data-flow angle. The latter is important since the correct execution of activities in BPMN models is based on data’s availability and correctness. In this paper, we present a new approach that uses the DataRecord concept, adapted for the BPMN standard. The main advantage of our approach is that it locates the stage where the data flow anomaly has taken place as well as the source of data flow problem. Therefore the designer can easily correct the data flow anomaly.The model’s data flow problems are detected using an algorithm specific for the BPMN standard.

References

  1. Clarke et al. (1999). Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK.
  2. Dijkman et al. (2007). Formal semantics and analysis of BPMN process models using petri nets. Technical Report 7115, Tech Univ QLD, Brisbane.
  3. J.Ye et al. (2008). Transformation of BPMN to yawl. In International Conference on Computer Science and Software Engineering, pages 354-359, Wuhan, China.
  4. Kabbaj et al. (2015). Towards an active help on detecting data flow errors in business process models. International Journal of Computer Science and Applications, 12:16-25.
  5. OASIS (2007). Web Services Business Process Execution Language. Burlington, USA.
  6. OMG (2011). Business Process Management and Notation (BPMN 2.0). Needham,USA.
  7. Prandi et al. (2008). Formal analysis of bpmn via a translation into cows. In 10th COORDINATION Intenrnational Conference ICFEM, pages 249-263, Oslo, Norway.
  8. PYH. Wong, J. G. (2008). A process semantics for BPMN. In 10th Formal Engineering Methods ICFEM, pages 355-374, Kitakyushu, Japan.
  9. Rachdi et al. (2016). Liveness and reachability analysis of BPMN process models. CIT. Journal of Computing and Information Technology, 24:195-207.
  10. Sadiq et al. (2008). Data flow and validation in workflow modelling. In 15th Australasian database conference, pages 207-214, Dunedin, New Zealand.
  11. Stackelberg et al. (2014). Detecting data-flow errors in BPMN 2.0. Open Journal of Information Systems, 1:1-19.
  12. Trcka et al. (2009). Data-flow anti-patterns: Discovering data-flow errors in workflows. In Advanced Information Systems Engineering (21st International Conference, CAiSE), pages 425-439, Amsterdam, The Netherlands.
  13. Vanhatalo et al. (2008). Automatic workflow graph refactoring and completion. In 6th International Conference on Service-Oriented Computing, pages 100-115, Sydney, Australia.
Download


Paper Citation


in Harvard Style

Rachdi A., En-Nouaary A. and Dahchour M. (2017). DataFlow Analysis in BPMN Models . In Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-248-6, pages 229-237. DOI: 10.5220/0006271202290237


in Bibtex Style

@conference{iceis17,
author={Anass Rachdi and Abdeslam En-Nouaary and Mohamed Dahchour},
title={DataFlow Analysis in BPMN Models},
booktitle={Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2017},
pages={229-237},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006271202290237},
isbn={978-989-758-248-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - DataFlow Analysis in BPMN Models
SN - 978-989-758-248-6
AU - Rachdi A.
AU - En-Nouaary A.
AU - Dahchour M.
PY - 2017
SP - 229
EP - 237
DO - 10.5220/0006271202290237