nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Analysis and Control of Hybrid Diagrammatical Workflows

verfasst von : Alexander Afanasyev, Nikolay Voit, Oksana Timofeeva, Vyacheslav Epifanov

Erschienen in: Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17)

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Dynamic Models of Self-organization Through Mass Behavior in Society

Nächstes Kapitel Analysis of Design-Technology Workflows in the Conditions of Large Enterprise

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 CrossRef

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

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

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

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

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

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 CrossRef

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

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 CrossRef

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 CrossRef

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 MathSciNetCrossRefMATH

19.

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

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)

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)

26.

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

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)

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

Titel: Analysis and Control of Hybrid Diagrammatical Workflows
verfasst von: Alexander Afanasyev
Nikolay Voit
Oksana Timofeeva
Vyacheslav Epifanov
Verlag: Springer International Publishing
Buch: Proceedings of the Second International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’17)
Print ISBN: 978-3-319-68320-1

Electronic ISBN: 978-3-319-68321-8

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-68321-8_13

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner