Verification of BPMN Model Functional Completeness by using the Topological Functioning Model

Erika Nazaruka, Viktorija Ovchinnikova, Gundars Alksnis, Uldis Sukovskis

2016

Abstract

BPMN (Business Process Model and Notation) models are used to specify business knowledge in the language that is familiar for business people. They consist of multiple process diagrams that highlight different aspects of interaction among participants. Verification of BPMN models is important since graphical fragmentary presentation could be a source of errors such as incompleteness, deadlocks, livelocks, incorrect terminations etc. We consider verification of model completeness. The model is transformed to the topological functioning model (TFM) in order to check completeness of inputs, outputs and functioning cycles of the entire specified system. The proposed approach is dedicated to the verification of the model at the beginning of analysis, and it could be supplemented by other methods at the design stage. This approach is more dedicated to analysis of the whole system, than to the verification of the concrete fragment work.

References

  1. Asnina, E., 2006. The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing. Applied computer systems, Volume 26, pp. 21-32.
  2. Asnina, E., 2009. A Formal Holistic Outline for Domain Modeling. Riga, RTU, pp. 400-407.
  3. Asnina, E. and Osis, J., 2010. Computation Independent Models: Bridging Problem and Solution Domains. In: Proceedings of the 2nd InternationalWorkshop on Model-Driven Architecture and Modeling TheoryDriven Development (MDA & MTDD 2010), in conjunction with ENASE 2010. Lisbon: SciTePress, pp. 23-32.
  4. Asnina, E. and Osis, J., 2011c. Topological Functioning Model as a CIM-Business Model. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global, pp. 40 - 64.
  5. Asnina, E. and Ovcinnikova, V., 2015. Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems. In: J. Filipe and L. Maciaszek, eds. ENASE 2015 : Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, Spain, Barcelona, 29-30 April, 2015. s.l.:SciTePress, pp. 364-373.
  6. Donins, U., 2012. Topological Unified Modeling Language: Development and Application, Riga: RTU.
  7. Donins, U. et al., 2011. Towards the Refinement of Topological Class Diagram as a Platform Independent Model. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011). Lisbon: SciTePress, pp. 79-88.
  8. El Hichami, O. et al., 2014. Towards formal verification of business process using a graphical specification. In: Information Science and Technology (CIST), 2014 Third IEEE International Colloquium in. s.l.:IEEE, pp. 12-17.
  9. Falcioni, D., Polini, A., Polzonetti, A. and Re, B., 2012. Direct Verification of BPMN Processes through an Optimized Unfolding Technique. In: 12th International Conference on Quality Software (QSIC), 27-29 Aug. 2012. s.l.:IEEE, pp. 179-188.
  10. Flavio, C., Alberto, P., Barbara, R. and Damiano, F., 2010. An ECLIPSE Plug-In for Formal Verification of BPMN Processes. In: Communication Theory, Reliability, and Quality of Service (CTRQ), 2010 Third International Conference on. s.l.:IEEE, pp. 144- 149.
  11. Huai, W., Liu, X. and Sun, H., 2010. Towards Trustworthy Composite Service Through Business Process Model Verification. In: Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing (UIC/ATC), 2010 7th International Conference on. s.l.:IEEE, pp. 422-427.
  12. Yamasathien, S. and Vatanawood, W., 2014. An approach to construct formal model of business process model from BPMN workflow patterns. In: Digital Information and Communication Technology and it's Applications (DICTAP), 2014 Fourth International Conference on. s.l.:IEEE, pp. 211-215.
  13. Ye, J., Sun, S., Wen, L. and Song, W., 2008. Transformation of BPMN to YAWL. In: Computer Science and Software Engineering, 2008 International Conference on. s.l.:IEEE, pp. 354-359.
  14. Kherbouche, O., Ahmad, A. and Basson, H., 2012. Detecting structural errors in BPMN process models. In: Multitopic Conference (INMIC), 2012 15th International. s.l.:IEEE, pp. 425-431.
  15. Ligeza, A., Kluza, K. and Potempa, T., 2012. AI approach to formal analysis of BPMN models. Towards a logical model for BPMN diagrams. In: Computer Science and Information Systems (FedCSIS), 2012 Federated Conference on. s.l.:IEEE, pp. 931-934.
  16. Morales, L., 2013. Business process verification using a Formal Compositional Approach and Timed Automata. In: Computing Conference (CLEI), 2013 XXXIX Latin American. s.l.:IEEE, pp. 1-10.
  17. Object Management Group, 2011. Documents Associated With Business Process Model And Notation™ (BPMN™) Version 2.0. [Online] Available at: http://www.omg.org/spec/BPMN/2.0/ [Accessed 10 January 2015].
  18. Object Management Group, 2015. Business Process Model and Notation. [Online] Available at: http://www.bpmn.org/ [Accessed 11 January 2015].
  19. Osis, J. and Asnina, E., 2011a. Is Modeling a Treatment for the Weakness of Software Engineering?. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global, pp. 1-14.
  20. Osis, J. and Asnina, E., 2011b. Topological Modeling for Model-Driven Domain Analysis and Software Development: Functions and Architectures. In: ModelDriven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global, pp. 15-39.
  21. Osis, J. and Asnina, E., 2011d. Derivation of Use Cases from the Topological Computation Independent Business Model. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global, pp. 65 - 89.
  22. Osis, J. and Asnina, E., 2011. Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey - New York: IGI Global.
  23. Osis, J., Asnina, E. and Grave, A., 2007. MDA Oriented Computation Independent Modeling of the Problem Domain. In: Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2007). Barselona: INSTICC Press, pp. 66-71.
  24. Osis, J., Asnina, E. and Grave, A., 2008. Computation Independent Representation of the Problem Domain in MDA. e-Informatica Software Engineering Journal, 2(1), pp. 29-46.
  25. Osis, J., Asnina, E. and Grave, A., 2008. Formal Problem Domain Modeling within MDA. In: Software and Data Technologies, Communications in Computer and Information Science. Berlin: Springer-Verlag Berlin Heidelberg, pp. 387-398.
  26. Osis, J. and Donins, U., 2010. Formalization of the UML Class Diagrams. Berlin, Springer-Verlag, pp. 180-192.
  27. Osis, J. and Slihte, A., 2010. Transforming Textual Use Cases to a Computation Independent Model. Lisbon, SciTePress, pp. 33-42.
  28. Slihte, A. and Osis, J., 2014. The Integrated Domain Modeling: A Case Study. In: Databases and Information Systems: Proceedings of the 11th International Baltic Conference (DB&IS 2014), Estonia, Tallinn, 8-11 June, 2014. Tallinn: Tallinn University of Technology Press, pp. 465-470.
  29. Slihte, A., Osis, J. and Donins, U., 2011. Knowledge Integration for Domain Modeling. Lisbon, SciTePress, pp. 46-56.
  30. Solaiman, E., Sun, W. and Molina-Jimenez, C., 2015. A Tool for the Automatic Verification of BPMN Choreographies. New York, NY, IEEE, pp. 728-735.
  31. SPIN, 2015. Verifying Multi-threaded Software with SPIN. [Online] Available at: http://spinroot.com /spin/whatispin.html. [Accessed January 2016].
  32. Takemura, T., 2008. Formal Semantics and Verification of BPMN Transaction and Compensation. In: AsiaPacific Services Computing Conference, 2008. APSCC 7808. s.l.:IEEE, pp. 284-290.
  33. Tantitharanukul, N., Sugunnasil, P. and Jumpamule, W., 2010. Detecting deadlock and multiple termination in BPMN model using process automata. In: Electrical Engineering/Electronics Computer Telecommunications and Information Technology (ECTI-CON), 2010 International Conference on. s.l.:IEEE, pp. 478-482.
  34. Universität Hamburg, 2015. Petri Nets World. [Online] Available at: http://www.informatik.unihamburg.de/TGI/PetriNets/ [Accessed January 2015].
Download


Paper Citation


in Harvard Style

Nazaruka E., Ovchinnikova V., Alksnis G. and Sukovskis U. (2016). Verification of BPMN Model Functional Completeness by using the Topological Functioning Model . In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016) ISBN 978-989-758-189-2, pages 349-358. DOI: 10.5220/0005930903490358


in Bibtex Style

@conference{mdi4se16,
author={Erika Nazaruka and Viktorija Ovchinnikova and Gundars Alksnis and Uldis Sukovskis},
title={Verification of BPMN Model Functional Completeness by using the Topological Functioning Model},
booktitle={Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)},
year={2016},
pages={349-358},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005930903490358},
isbn={978-989-758-189-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2016)
TI - Verification of BPMN Model Functional Completeness by using the Topological Functioning Model
SN - 978-989-758-189-2
AU - Nazaruka E.
AU - Ovchinnikova V.
AU - Alksnis G.
AU - Sukovskis U.
PY - 2016
SP - 349
EP - 358
DO - 10.5220/0005930903490358