Skip to main content
SpringerLink
Log in

Analysis and Control of Hybrid Diagrammatical Workflows

  • Conference paper
  • First Online:
Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17) (IITI 2017)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 679))

Abstract

The paper presents a method for analyzing hybrid project workflows based on the author’s RV-grammar by using BPMN as an example, as well as translations of such project workflows into languages describing business processes (e.g., BPEL with the author’s RVTt-grammar). The effectiveness of author’s grammars for hybrid project workflows’ analysis and translation at large design and manufacturing enterprises is assessed.

The reported study was funded by RFBR and Government of Ulyanovsk Region according to the research project № 16-47-732152.

This research is supported by the grant of the Ministry of Education and Science of the Russian Federation, the project № 2.1615.2017/4.6.

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

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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. Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: From process modeling to infrastructure for automation. J. Distrib. Parallel Database Syst. 3(2), 119–153 (1995). doi:10.1007/BF01277643

    Article  Google Scholar 

  2. Wang, Y., Fan, Y.: Using temporal logics for modeling and analysis of workflows. In: Proceedings of IEEE International Conference on E-Commerce Technology for Dynamic E-Business (2004). doi:10.1109/CEC-EAST.2004.72

  3. Bock, C.: Introduction to business process and definition metamodel. U.S. National Institute of Standard and Technology. Manufacturing Engineering (2008). https://www.nist.gov

  4. Poizat, P., Salaün, G., Krishna, A.: Checking business process evolution. In: 13th International Conference on Formal Aspects of Component Software (FACS), <hal-01366641> (2016). https://hal.inria.fr/hal-01366641

  5. Martens, A.: Analyzing web service based business processes. In: FASE 2005, pp. 19–33 (2005). doi:10.1007/978-3-540-31984-9_3

  6. Raedts, I., Petkovic, M., Usenko, Y.S., van der Werf, J.M., Groote, J.F., Somers, L.: Transformation of BPMN models for behaviour analysis. In: MSVVEIS 2007, pp. 126–137 (2007). http://jmw.vdwerf.eu/_media/public/transformationforbehaviouranalysis.pdf

  7. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008). doi:10.1016/j.infsof.2008.02.006

    Article  Google Scholar 

  8. Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: ICFEM 2008, pp. 355–374 (2008). doi:10.1007/978-3-540-88194-0_22

  9. Wong, P.Y.H., Gibbons, J.: Verifying business process compatibility. In: QSIC 2008, pp. 126–131 (2008). doi:10.1109/QSIC.2008.6

  10. Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf. Syst. 36(2), 292–312 (2011). doi:10.1016/j.is.2010.06.005

    Article  Google Scholar 

  11. Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: BPM 2007, vol. 4714. LNCS, pp. 305–319 (2007). doi:10.1007/978-3-540-75183-0_22

  12. Güdemann, M., Poizat, P., Salaün, G., Dumont, A.: VerChor: a framework for verifying choreographies. In: FASE 2013, pp. 226–230 (2013). doi:10.1007/978-3-642-37057-1_16

  13. Mateescu, R., Salaün, G., Ye, L.: Quantifying the parallelism in BPMN processes using model checking. In: CBSE 2014, pp. 159–168 (2014). doi:10.1145/2602458.2602473

  14. Kossak, F., Illibauer, C., Geist, V., Kubovy, J., Natschläger, C., Ziebermayr, T., Kopetzky, T., Freudenthaler, B., Schewe, K.-D.: A rigorous semantics for BPMN 2.0 process diagrams (2014). doi:10.1007/978-3-319-09931-6_4

  15. Bultan, T., Fu, X.: Specification of realizable service conversations using collaboration diagrams. Serv. Oriented Comput. Appl. 2(1), 27–39 (2008). doi:10.1109/SOCA.2007.41

    Article  Google Scholar 

  16. Salaün, G., Bultan, T.: Realizability of choreographies using process algebra encodings. In: IFM 2009, vol. 5423. LNCS, pp. 167–182 (2009). doi:10.1007/978-3-642-00255-7_12

  17. VBPMN Framework. https://pascalpoizat.github.io/vbpmn/

  18. Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC graphs. Theor. Comput. Sci. 331(1), 97–114 (2005). doi:10.1016/j.tcs.2004.09.034

    Article  MathSciNet  MATH  Google Scholar 

  19. ISO. LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Technical report 8807, ISO (1989)

    Google Scholar 

  20. Lohmann, N., Wolf, K.: Realizability is controllability. In: WS-FM 2009, vol. 6194. LNCS, pp. 110–127 (2010). doi:10.1007/978-3-642-14458-5_7

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

  22. Fu, K.: Structural Methods of Pattern Recognition, p. 319. Mir Moscow(1977)

    Google Scholar 

  23. Costagliola, G., Lucia, A.D., Orece, S., Tortora, G.: A parsing methodology for the implementation of visual systems. http://www.dmi.unisa.it/people/costagliola/www/home/papers/method.ps.gz

  24. Wittenburg, K., Weitzman, L.: Relational grammars: theory and practice in a visual language interface for process modeling (1996). http://citeseer.ist.psu.edu/wittenburg96relational.html

  25. Zhang, D.Q., Zhang, K.: Reserved graph grammar: a specification tool for diagrammatic VPLs. In: IEEE Symposium on Visual Languages, Proceedings. IEEE, pp. 284–291 (1997)

    Google Scholar 

  26. Zhang, K.B., Zhang, K., Orgun, M.A.: Using graph grammar to implement GlobalLayout for a visual programming language generation system (2002)

    Google Scholar 

  27. Afanasyev, A., Voit, N.: Intelligent agent system to analysis manufacturing process models. In: Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI 2016), vol. 451. Advances in Intelligent Systems and Computing, AISC, pp. 395–403 (2016). doi:10.1007/978-3-319-33816-3_39

  28. Afanasyev, A., Voit, N., Gaynullin, R.: The analysis of diagrammatic models of workflows in design of the complex automated systems. In: Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI 2016), vol. 450. Advances in Intelligent Systems and Computing, AISC, pp. 227–236 (2016). doi:10.1007/978-3-319-33609-1_20

  29. 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), pp. 441–445 (2016)

    Google Scholar 

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

Download references

Author information

Authors and Affiliations

  1. Ulyanovsk State Technical University, Ulyanovsk, Russia

    Alexander Afanasyev, Nikolay Voit, Oksana Timofeeva & Vyacheslav Epifanov

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

  3. Oksana Timofeeva
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Vyacheslav Epifanov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexander Afanasyev .

Editor information

Editors and Affiliations

  1. Scientific Network for Innovation and Research Excellence, Machine Intelligence Research Labs (MIR labs), Auburn, Washington, USA

    Ajith Abraham

  2. Rostov State Transport University , Rostov-on-Don, Russia

    Sergey Kovalev

  3. Bauman Moscow State Technical University , Moscow, Russia

    Valery Tarassov

  4. VSB-Technical University of Ostrava , Ostrava, Czech Republic

    Vaclav Snasel

  5. Department Electrical Power Engineering, Technical University of Varna, Varna, Bulgaria

    Margreta Vasileva

  6. Rostov State Transport University , Rostov-on-Don, Russia

    Andrey Sukhanov

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Afanasyev, A., Voit, N., Timofeeva, O., Epifanov, V. (2018). Analysis and Control of Hybrid Diagrammatical Workflows. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Vasileva, M., Sukhanov, A. (eds) Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17). IITI 2017. Advances in Intelligent Systems and Computing, vol 679. Springer, Cham. https://doi.org/10.1007/978-3-319-68321-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-68321-8_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-68320-1

  • Online ISBN: 978-3-319-68321-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation