Skip to main content
SpringerLink
Log in

Formal Method to Analyze Design Workflows in Software Development

  • Conference paper
  • First Online:
Book cover Computational Science and Its Applications – ICCSA 2021 (ICCSA 2021)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12957))

Included in the following conference series:

Abstract

In this paper we present a new formal method for the design workflows and software algorithms analysis in the form of algorithm graph-schemes based on the graphic languages, using the EPC language example. This method is based on the RVTI temporal automaton grammar, it also provides detection of temporal and semantic errors in algorithm graph schemes. It differs from the existing ones in the linear analysis time and accounting the concept of “time”. The application of this method to the design workflows and software algorithms analysis will reveal complex errors in computer programs at the design stage, provide an economic effect of the software development in most organizations.

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 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 129.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. Afanasyev, A., Voit, N., Ukhanova, M., Ionova, I.: Development of the approach to check the correctness of workflows. Data Sci. Knowl. Eng. Sens. Decis. Support [Internet]. World Sci. https://doi.org/10.1142/9789813273238_0173. Accessed 30 July 2018

  2. Afanasyev, A., Voit, N., Timofeeva, O., Epifanov, V.: Analysis and control of hybrid diagrammatical workflows. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Vasileva, M., Sukhanov, A. (eds.) IITI 2017. AISC, vol. 679, pp. 124–133. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-68321-8_13

    Chapter  Google Scholar 

  3. Afanasyev, A., Voit, N., Ukhanova, M., Ionova, I.: Analysis of design-technology workflows in the conditions of large enterprise. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Vasileva, M., Sukhanov, A. (eds.) IITI 2017. AISC, vol. 679, pp. 134–140. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-68321-8_14

    Chapter  Google Scholar 

  4. 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) [Internet]. IEEE, 7 October 2020. https://doi.org/10.1109/aict50176.2020.9368810

  5. Afanasyev, A.N., Voit, N.N., Kirillov, S.Y.: Temporal automata RVTI-grammar for processing diagrams in visual languages as BPMN, eEPC and Askon-Volga. In: Proceedings of the 2019 5th International Conference on Computer and Technology Applications [Internet]. ACM, 16 Apr 2019. https://doi.org/10.1145/3323933.3324067

  6. The Standish Group. https://www.standishgroup.com/

  7. van der Aalst, W.M.P.: Business process management: a comprehensive survey. ISRN Software Engineering, pp. 1–37 (2013)

    Google Scholar 

  8. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(3), 5–51 (2003)

    Article  Google Scholar 

  9. 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 

  10. 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 (APCCM2006). CRPIT, vol. 53, pp. 95–104. ACS, Hobart (2006)

    Google Scholar 

  11. 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 

  12. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of web services composition languages: the case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-39648-2_18

    Chapter  Google Scholar 

  13. Wohed, P., Perjons, E., Dumas, M., ter Hofstede, A.H.M.: Pattern based analysis of EAI languages—the case of the business modeling language. In: Camp, O., Piattini, M. (eds.) Proceedings of the 5th International Conference on Enterprise Information Systems (ICEIS 2003), vol. 3, pp. 174–184. Escola Superior de Tecnologia do Instituto Politécnico de Setúbal, Angers (2003)

    Google Scholar 

  14. OMG/BPMI: Business Process Model and Notation (BPMN) Version 2.0.2 (2014). http://www.omg.org/spec/BPMN/2.0.2/

  15. White, S.: Process modeling notations and workflow patterns. In: Fischer, L. (ed.) Workflow Handbook 2004, pp. 265–294. Future Strategies Inc., Lighthouse Point (2004)

    Google Scholar 

  16. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N.: On the suitability of BPMN for business process modelling. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 161–176. Springer, Heidelberg (2006). https://doi.org/10.1007/11841760_12

    Chapter  Google Scholar 

  17. van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: a vicious circle. In: Rump, M., Nüttgens, F.J. (eds.) Proceedings of the EPK 2002: Business Process Management Using EPCs, pp. 71–80. Gesellschaft fur Informatik, Trier (2002)

    Google Scholar 

  18. Kindler, E.: On the semantics of EPCs: resolving the vicious circle. Data Knowl. Eng. 56(1), 23–40 (2006)

    Article  Google Scholar 

  19. Rittgen, P.: From process model to electronic business process. In: Avison, D., Christiaanse, E., Ciborra, C.U., Kautz, K., Pries-Heje, J., Valor, J. (eds.) Proceedings of the European Conference on Information Systems (ECIS 1999), Copenhagen, Denmark, pp. 616–625 (1999). http://www.adm.hb.se/~pri/ecis99.pdf

  20. Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice Hall, Upper Saddle River (2000)

    MATH  Google Scholar 

  21. Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Wangler, B., Bergman, L. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431–445. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45140-4_29

    Chapter  Google Scholar 

  22. Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Informatica 39(3), 143–209 (2003)

    Article  MathSciNet  Google Scholar 

  23. Wynn, M.T., Edmond, D., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 423–443. Springer, Heidelberg (2005). https://doi.org/10.1007/11494744_24

    Chapter  MATH  Google Scholar 

  24. Mendling, J., van der Aalst, W.: Formalization and verification of EPCs with or-joins based on state and context. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007. LNCS, vol. 4495, pp. 439–453. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72988-4_31

    Chapter  Google Scholar 

  25. Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of standard process models with OR-joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007. LNCS, vol. 4803, pp. 41–58. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-76848-7_5

    Chapter  Google Scholar 

  26. Völzer, H.: A new semantics for the inclusive converging gateway in safe processes. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 294–309. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15618-2_21

    Chapter  Google Scholar 

  27. van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21–66 (1998)

    Article  Google Scholar 

  28. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333–363 (2011)

    Article  MathSciNet  Google Scholar 

  29. Simsion, G., Witt, G.: Data Modeling Essentials, 3rd edn. Elsevier, San Francisco (2005)

    MATH  Google Scholar 

  30. Hay, D.C.: Data Model Patterns: Conventions of Thought. Dorset House, Wiley, New York (2001)

    Google Scholar 

  31. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Francisco (1992)

    MATH  Google Scholar 

  32. Börger, E.: Approaches to modeling business processes. A critical analysis of BPMN, workflow patterns and YAWL. Softw. Syst. Model. 11(3), 305–318 (2012)

    Google Scholar 

  33. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)

    MATH  Google Scholar 

  34. Eriksson, H.E., Penker, M.: Business Modeling with UML. OMG Press, New York (2000)

    Google Scholar 

  35. Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H., La Rosa, M.: Configurable workflow models. Int. J. Coop. Inf. Syst. 17(2), 177–221 (2008)

    Article  Google Scholar 

  36. Hagen, C., Alonso, G.: Exception handling in workflow management systems. IEEE Trans. Softw. Eng. 26(10), 943–958 (2000)

    Article  Google Scholar 

  37. ter Hofstede, A.H.M., van der Aalst, W.M.P., Adams, M., Russell, N. (eds.): Modern Business Process Automation: YAWL and Its Support Environment. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03121-2

    Book  Google Scholar 

  38. Holt, A.W.: Coordination technology and Petri nets. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol. 222, pp. 278–296. Springer, Heidelberg (1986). https://doi.org/10.1007/BFb0016217

    Chapter  Google Scholar 

  39. Huang, Y.N., Shan, M.C.: Policies in a resource manager of workflow systems: modeling, enforcement and management. Technical report HPL-98–156, Hewlett-Packard Company (1999). http://www.hpl.hp.com/techreports/98/HPL-98-156.pdf

  40. Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture and Implementation. Thomson Computer Press, London (1996)

    Google Scholar 

  41. Kiepuszewski, B.: Expressiveness and suitability of languages for control flow modelling in workflows. Ph.D. thesis, Queensland University of Technology, Brisbane, Australia (2003)

    Google Scholar 

  42. Marshall, C.: Enterprise Modeling with UML. Addison Wesley, Reading (1999)

    Google Scholar 

  43. zur Muehlen, M.: Workflow-Based Process Controlling: Foundation, Design and Application of Workflow Driven Process Information Systems. Logos, Berlin (2004)

    Google Scholar 

  44. OMG: OMG Unified Modeling Language (OMG UML), Version 2.5 (2015). http://www.omg.org/spec/UML/2.5

  45. Russell, N., van der Aalst, W., ter Hofstede, A.: Workflow exception patterns. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 288–302. Springer, Heidelberg (2006). https://doi.org/10.1007/11767138_20

    Chapter  Google Scholar 

  46. Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: Schewe, K.D., Williams, H.E. (eds.) Proceedings of the 5th Australasian Database Conference (ADC 2004). CRPIT, vol. 27, pp. 207–214. ACS, Dunedin (2004)

    Google Scholar 

  47. Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. Comput. J. 44(4), 246–279 (2001)

    Article  Google Scholar 

  48. Glushkov, V.M., Zeitlin, G.E., Yuschenko, E.L.: Algebra. Programming Languages, 2rd edn, 320 p. Naukova dumka, Kiev, USSR (1978)

    Google Scholar 

  49. Tonbul, G., et al.: Error density metrics for business process model. In: 2009 24th International Symposium on Computer and Information Sciences, pp. 513–517. IEEE (2009)

    Google Scholar 

  50. Misra, S., et al.: A proposed pragmatic software development process model. In: Intelligent Systems: Concepts, Methodologies, Tools, and Applications, pp. 448–462 (2018)

    Google Scholar 

  51. Afanasyev, A.N., Voit, N.N.: Structural-semantic workflows analysis and designers training in design automation. UlSTU, Ulyanovsk (2018). http://venec.ulstu.ru/lib/disk/2017/467.pdf

  52. Myhill, J.: Linear Bounded Automata (WADD Technical Note). Wright Patterson AFB, Wright Air Development Division, Ohio (1960)

    Google Scholar 

  53. Kuroda, S.-Y.: Classes of languages and linear-bounded automata. Inf. Contr. 7(2), 207–223 (1964)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgment

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.

Author information

Authors and Affiliations

  1. Ulyanovsk State Technical University, Ulyanovsk, Russia

    N. N. Voit & S. I. Bochkov

Authors
  1. N. N. Voit
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. I. Bochkov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to N. N. Voit .

Editor information

Editors and Affiliations

  1. University of Perugia, Perugia, Italy

    Osvaldo Gervasi

  2. University of Basilicata, Potenza, Potenza, Italy

    Beniamino Murgante

  3. Covenant University, Ota, Nigeria

    Sanjay Misra

  4. University of Cagliari, Cagliari, Italy

    Chiara Garau

  5. University of Cagliari, Cagliari, Italy

    Ivan Blečić

  6. Monash University, Clayton, VIC, Australia

    David Taniar

  7. Kyushu Sangyo University, Fukuoka, Japan

    Bernady O. Apduhan

  8. University of Minho, Braga, Portugal

    Ana Maria A. C. Rocha

  9. Polytechnic University of Bari, Bari, Italy

    Eufemia Tarantino

  10. Polytechnic University of Bari, Bari, Italy

    Carmelo Maria Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Voit, N.N., Bochkov, S.I. (2021). Formal Method to Analyze Design Workflows in Software Development. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2021. ICCSA 2021. Lecture Notes in Computer Science(), vol 12957. Springer, Cham. https://doi.org/10.1007/978-3-030-87013-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-87013-3_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-87012-6

  • Online ISBN: 978-3-030-87013-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation