Skip to main content
Springer Nature Link
Log in

Grammar-Algebraic Approach to Analyze Workflows

  • Conference paper
  • First Online:
Computational Science and Its Applications – ICCSA 2018 (ICCSA 2018)

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

Included in the following conference series:

Abstract

Improving the lifecycle of automated systems and reducing their development time are an important production problem in a large enterprise. We have created a new approach to the analysis and transformation of their processes on the basis of author’s principles, grammar, method of the design process for narrowing the semantic gap between business process analysis and business process execution. This approach allows designers to improve the quality and reduce the time spent on the lifecycle of automated systems.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Aguilar, J.C.P., Hasebe, K., Mazzara, M., Kato, K.: Model Checking of BPMN Models for Reconfigurable Workflows. arXiv preprint arXiv:1607.00478 (2016)

  2. Sherehiy, B., Karwowski, W., Layer, J.K.: A review of enterprise agility: concepts, frameworks, and attributes. Int. J. Ind. Ergon. 37, 446–460 (2007)

    Article  Google Scholar 

  3. Highsmith, J., Orr, K., Cockburn, A.: Extreme programming. In: E-Business Application Delivery, pp. 4–17 (2000)

    Google Scholar 

  4. A Global Swiss Company Offering Advanced Intelligent Application Software for Multiple Business sectors. http://whitestein.com/. Accessed 14 Mar 2018

  5. Bider, I., Jalali, A.: Agile business process development: why, how and when applying Nonaka’s theory of knowledge transformation to business process development. IseB 14(4), 693–731 (2014). https://doi.org/10.1007/s10257-014-0256-1

    Article  Google Scholar 

  6. Andersson, T., Andersson-Ceder, A., Bider, I.: State flow as a way of analyzing business processes-case studies. Logistics Inf. Manag. 15(1), 34–45 (2012). http://www.ibissoft.com/publications/Cases.pdf. Accessed 14 Mar 2018

  7. YAWL Foundation: YAWL. http://www.yawlfoundation.org/. Accessed 14 Mar 2018

  8. Bider, I.: Analysis of agile software development from the knowledge transformation perspective. In: Johansson, B., Andersson, B., Holmberg, N. (eds.) BIR 2014. LNBIP, vol. 194, pp. 143–157. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11370-8_11

    Chapter  Google Scholar 

  9. IbisSoft: iPB Reference Manual. http://docs.ibissoft.se/node/3. Accessed 14 Mar 2018

  10. Afanasyev, A.N., Voit, N.N., Kirillov, S.Y.: Development of RYT-grammar for analysis and control dynamic workflows. In: 2017 International Conference on Computing Networking and Informatics (ICCNI 2017), pp. 1–4 (2017). https://doi.org/10.1109/iccni.2017.8123797. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8123797&isnumber=8123766. Accessed 15 Mar 2017

  11. Voit, N.N.: Development of timed RT-grammars for analysis of business process at manufacturing and in cyber-physical systems. In: 2017 International Conference on Computing Networking and Informatics (ICCNI 2017), pp. 1–5 (2017). https://doi.org/10.1109/iccni.2017.8123798. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8123798&isnumber=812376. Accessed 15 Mar 2017

  12. Orchestration and Workflow. https://www.cloudenablers.com/blog/orchestration-and-workflow/. Accessed 15 Mar 2017

  13. ISO: LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, ISO 1989

    Google Scholar 

  14. Lohmann, N., Wolf, K.: Realizability is controllability. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 110–127. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14458-5_7

    Chapter  Google Scholar 

  15. Poizat, P., Salaün, G.: Checking the realizability of BPMN 2.0 choreographies. In: SAC 2012, pp. 1927–1934 (2012)

    Google Scholar 

  16. Orchestration and Workflow. https://www.cloudenablers.com/blog/orchestration-and-workflow/. Accessed 29 Dec 2017

  17. Van der Aalst, W.M.P.: Don’t go with the flow: web services composition standards exposed. IEEE Intell. Syst. 18(1), 72–76 (2003). http://www.martinfowler.workflowpatterns.com/documentation/documents/ieeewebflow.pdf. Accessed 29 Dec 2017

    Article  Google Scholar 

  18. Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Technique. McGraw-Hill, Inc., New York (1987). http://dl.acm.org/citation.cfm?id=31837. Accessed 29 Mar 2017

  19. TP026B, Rev. Rational Unified Process. https://www.ibm.com/developerworks/rational/library/content/03July/1000/1251/1251_bestpractices_TP026B.pdf. Accessed 29 Dec 2017

  20. Afanasyev, A.N., Voit, N.N., Gainullin, R.F.: Diagrammatic models processing in designing the complex automated systems. In: 10th IEEE International Conference on Application of Information and Communication Technologies (AICT 2016), pp. 441–445 (2016). https://doi.org/10.1109/icaict.2016.7991737

  21. Afanasyev, A., Voit, N.: Intelligent agent system to analysis manufacturing process models. In: Abraham, A., Kovalev, S., Tarassov, V., Snášel, V. (eds.) Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16). AISC, vol. 451, pp. 395–403. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-33816-3_39

    Chapter  Google Scholar 

  22. Afanasyev, A.N., Voit, N.N., Voevodin, E.Yu., Gainullin, R.F.: Control of UML diagrams in designing automated systems software. In: 9th IEEE International Conference on Application of Information and Communication Technologies, AICT-2015, pp. 285–288 (2015). https://doi.org/10.1109/icaict.2015.7338564

  23. Afanasyev, A., Voit, N.: Multi-agent system to analyse manufacturing process models. In: International Conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science, FLINS 2016, France, pp. 444–449 (2016). https://doi.org/10.1142/9789813146976_0072

  24. Afanasyev, A., Voit, N., Gainullin, R.: The analysis of diagrammatic models of workflows in design of the complex automated systems. In: International Conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science, FLINS 2016, France, pp. 509–514 (2016). https://doi.org/10.1007/978-3-319-33609-1_20

  25. Heitmeyer, C.L., Lynch, N.A.: The generalized railroad crossing: a case study in formal verification of real-time systems. In: IEEE RTSS, pp. 120–131 (1994)

    Google Scholar 

  26. Karpov, Yu.G.: Model Checking. Verifikaciya parallel’nyh i raspredelennyh programmnyh system. 560 s (2010) (in Russian)

    Google Scholar 

  27. Lee, E.A.: Cyber-physical systems: design challenges. In: ISORC (2008)

    Google Scholar 

Download references

Acknowledgments

The reported study was funded by RFBR according to the research project № 17-07-01417.

Author information

Authors and Affiliations

  1. Ulyanovsk State Technical University, Ulyanovsk, Russia

    Alexander Afanasyev & Nikolay Voit

Authors
  1. Alexander Afanasyev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nikolay Voit
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Alexander Afanasyev or Nikolay Voit .

Editor information

Editors and Affiliations

  1. University of Perugia, Perugia, Italy

    Osvaldo Gervasi

  2. University of Basilicata, Potenza, Italy

    Beniamino Murgante

  3. Covenant University, Ota, Nigeria

    Sanjay Misra

  4. Saint Petersburg State University, Saint Petersburg, Russia

    Elena Stankova

  5. Polytechnic University of Bari, Bari, Italy

    Carmelo M. Torre

  6. University of Minho, Braga, Portugal

    Ana Maria A.C. Rocha

  7. Monash University, Clayton, Victoria, Australia

    David Taniar

  8. Kyushu Sangyo University, Fukuoka shi, Fukuoka, Japan

    Bernady O. Apduhan

  9. Politecnico di Bari, Bari, Italy

    Eufemia Tarantino

  10. Myongji University, Yongin, Korea (Republic of)

    Yeonseung Ryu

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Afanasyev, A., Voit, N. (2018). Grammar-Algebraic Approach to Analyze Workflows. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2018. ICCSA 2018. Lecture Notes in Computer Science(), vol 10963. Springer, Cham. https://doi.org/10.1007/978-3-319-95171-3_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-95171-3_39

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-95170-6

  • Online ISBN: 978-3-319-95171-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics