Skip to main content
SpringerLink
Log in

Method to Interpret Algorithms and Design Workflows in the Complex Computer-Aided Design Development

  • Conference paper
  • First Online:
Informatics and Intelligent Applications (ICIIA 2021)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1547))

Included in the following conference series:

Abstract

The paper proposes a new method for the algorithms and workflows interpretation in the computer-aided systems development at the conceptual, design, technological, and operational stages of their lifecycle, which contributes to the increase in the CAD systems development success by identifying complex temporal and structural errors in algorithms and workflows at the early stages of development. The method differs from the known ones by the following features: a rigorous mathematical description necessary for its implementation, visibility and interactive workflows debugging, automated detection of 20 errors classes, the versatility, and simplicity of constructing an analyzer for the diagrammatic specifications of workflows based on the graphical language.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. ISO 9001:2015 - Quality management systems

    Google Scholar 

  2. ISO/IEC 25010:2011 Systems and software engineering—Systems and Software Quality

    Google Scholar 

  3. OMG Unified Modeling Language Version 2.5. https://www.omg.org/spec/UML/2.5/PDF

  4. Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Techniques. McGraw-Hill, New York (1988)

    Google Scholar 

  5. Amjad, A., Azam, F., Anwar, M.W., Butt, W.H., Rashid, M.: Event-driven process chain for modeling and verification of business requirements-a systematic literature review. IEEE Access 6, 9027–9048 (2018)

    Article  Google Scholar 

  6. BPMN Specification - Business Process Model and Notation. http://bpmn.org

  7. The Standigh Group Report Chaos. https://www.projectsmart.co.uk/white-papers/chaos-report.pdf

  8. Sapozhkova, T.E.: Comparative approach to the business processes modelling. Appl. Inform. 1(37), 14–19 (2012)

    Google Scholar 

  9. Suyunova, G.B., Gayvoronskaya, N.A., Polovinko, Ye.V.: Methods of Optimizing Economic and Social Systems Using Technologies of Modeling Business Processes, Modeling, Optimization and Information Technology, vol. 6, no. 1(20), pp. 176–184 (2018)

    Google Scholar 

  10. Makurkov, A.S., Shibanov, S.V.: Notes for Active Rules Design. Youth and Science. Burning Problems of Basic and Applied Researches, pp. 367–370 (2019)

    Google Scholar 

  11. Virolainen, A.V.: Modeling business processes, pp. 82–86 (2019). Best Science Article 2019

    Google Scholar 

  12. Chernyshov, A.S.: Analysis of modeling computer-aided systems. In: Proceedings of the Conference on Information Technologies and Management Automation, Omsk, pp. 363–370 (2019)

    Google Scholar 

  13. Kopp, A., Orlovskyi, D.: An approach to analysis and optimization of business process models in BPMN notation. Inf. Process. Syst. 2(45), 108–116 (2018)

    Google Scholar 

  14. Sergievskiy, M.V., Kirpichnikova, K.K.: Validating and optimizing UML class diagrams. Cloud Sci. 5(2), 367–378 (2018)

    Google Scholar 

  15. Bohdan, I., Zadorozhnii, A.: The classification of errors on UML-diagrams occuring in the development of IT-projects. Tech. Sci. Technol. 1, 68–78 (2018)

    Google Scholar 

  16. Kopp, A., Orlovskyi, D.: Analysis and optimization of business process models in BPMN and EPC notation. Tech. Sci. Technol. 4(14), 145–152 (2018)

    Google Scholar 

  17. Anseeuw, J., et al.: Design time validation for the correct execution of BPMN collaborations. In: CLOSER, vol. 1, pp. 49–58 (2016)

    Google Scholar 

  18. Ramos-Merino, M., et al.: A pattern based method for simplifying a BPMN process model. Appl. Sci. 9(11), 2322 (2019)

    Article  Google Scholar 

  19. Claes, J., Vandecaveye, G.: The impact of confusion on syntax errors in simple sequence flow models in BPMN. In: Proper, H.A., Stirna, J. (eds.) CAiSE 2019. LNBIP, vol. 349, pp. 5–16. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-20948-3_1

    Chapter  Google Scholar 

  20. Lima, L., Tavares, A., Nogueira, S.C.: A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. Sci. Comput. Program. 197, 102497 (2020)

    Article  Google Scholar 

  21. Huang, H., Peng, R., Feng, Z.: Efficient and exact query of large process model repositories in cloud workflow systems. IEEE Trans. Serv. Comput. 11(5), 821–832 (2015)

    Google Scholar 

  22. Aalst, W.M.P.: Everything you always wanted to know about Petri Nets, but were Afraid to ask. In: Hildebrandt, T., van Dongen, B.F., Röglinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 3–9. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26619-6_1

    Chapter  Google Scholar 

  23. Barash, M., Okhotin, A.: Generalized LR parsing algorithm for grammars with one-sided contexts. Theory Comput. Syst. 61(2), 581–605 (2016). https://doi.org/10.1007/s00224-016-9683-3

    Article  MathSciNet  MATH  Google Scholar 

  24. Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A., Sazhneva, E.: Formal languages over GF(2). In: Klein, S.T., Martín-Vide, C., Shapira, D. (eds.) LATA 2018. LNCS, vol. 10792, pp. 68–79. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-77313-1_5

    Chapter  Google Scholar 

  25. Voit, N., Bochkov, S., Kirillov, S.: Temporal automaton RVTI-grammar for the diagrammatic design workflow models analysis. In: 2020 IEEE 14th International Conference on Application of Information and Communication Technologies (AICT), 7 October 2020. IEEE (2020). [Internet]. https://doi.org/10.1109/aict50176.2020.9368810

  26. Dumas, M., ter Hofstede, A.H.M.: UML activity diagrams as a workflow specification language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 76–90. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45441-1_7

    Chapter  Google Scholar 

  27. Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the suitability of UML 2.0 activity diagrams for business process modelling. In: Stumptner, M., Hartmann, S., Kiyoki, Y. (eds.) Proceedings of the Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2006), Volume 53 of CRPIT, pp. 95–104. ACS, Hobart (2006)

    Google Scholar 

  28. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N.: Pattern-based analysis of the control-flow perspective of UML activity diagrams. In: Delcambre, L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, O. (eds.) ER 2005. LNCS, vol. 3716, pp. 63–78. Springer, Heidelberg (2005). https://doi.org/10.1007/11568322_5

    Chapter  Google Scholar 

  29. Microsoft Visio. http://products.office.com/visio

  30. Misra, S.: A step by step guide for choosing project topics and writing research papers in ICT related disciplines. In: Misra, S., Muhammad-Bello, B. (eds.) ICTA 2020. CCIS, vol. 1350, pp. 727–744. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-69143-1_55

    Chapter  Google Scholar 

Download references

Acknowledgement

The reported research was funded by Russian Foundation for Basic Research and the government of the region of the Russian Federation, Grant no: 18-47-730032.

The research was carried out under the “Development of theoretical, methodological and scientific and methodological support for the processes of identifying and leveling professional and psychological deficits of a teacher using VR technologies” project, which is funded by the Ministry of Education of the Russian Federation, within the state assignment (supplementary agreement No. 073-03-2021-040/2 dated 07/21/2021 to agreement No. 073-03-2021-040 dated 01/18/2021).

Author information

Authors and Affiliations

  1. Ulyanovsk State Technical University, Ulyanovsk, Russia

    Nikolay Voit & Semen Bochkov

Authors
  1. Nikolay Voit
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Semen Bochkov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nikolay Voit .

Editor information

Editors and Affiliations

  1. Østfold University College, Halden, Norway

    Sanjay Misra

  2. Covenant University, Ota, Nigeria

    Jonathan Oluranti

  3. Silesian University of Technology, Gliwice, Poland

    Robertas Damaševičius

  4. Kaunas University of Technology, Kaunas, Lithuania

    Rytis Maskeliunas

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Voit, N., Bochkov, S. (2022). Method to Interpret Algorithms and Design Workflows in the Complex Computer-Aided Design Development. In: Misra, S., Oluranti, J., Damaševičius, R., Maskeliunas, R. (eds) Informatics and Intelligent Applications. ICIIA 2021. Communications in Computer and Information Science, vol 1547. Springer, Cham. https://doi.org/10.1007/978-3-030-95630-1_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-95630-1_19

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-95629-5

  • Online ISBN: 978-3-030-95630-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation