nach oben

International Journal of Parallel Programming

Erschienen in:

20.10.2017

Soundness Analytics of Composed Logical Workflow Nets

verfasst von: Wei Liu, Lu Wang, Xin Feng, Man Qi, Chun Yan, Maozhen Li

Erschienen in: International Journal of Parallel Programming | Ausgabe 4/2019

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Cooperative systems with passing value indeterminacy and batch processing can be well modeled by composed logical workflow nets. Soundness guarantees no deadlock and livelock and each activity has potential to be executed. The soundness of composed logical workflow nets can be judged by reachability graphs. But reachability graphs can cause state space explosion. Path nets, single line nets, composed path nets and composed single line nets are proposed in the paper. They are used to determine soundness of logical workflow nets and composed logical workflow nets based on net structures and logical expressions avoiding reachability graphs. The presented concepts and techniques are applied to judge soundness of e-commerce transaction processes modeled by composed logical workflow nets, and they are illustrated by an example.

Vorheriger Artikel Analysis for Behavioral Economics in Social Networks: An Altruism-Based Dynamic Cooperation Model

Nächster Artikel Against Signed Graph Deanonymization Attacks on Social Networks

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 "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

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

Liu, W., Wang, L., Du, Y.Y., Li, M.Z.: Deadlock property analysis of concurrent programs based on Petri net structure. Int. J. Parallel Prog. 45(4), 879–898 (2017)CrossRef

Van Der Aalst, W.M.P., Weske, M.: Reflections on a Decade of Interorganizational Workflow Research. Seminal Contributions to Information Systems Engineering, pp. 307–313. Springer, Berlin (2013)

Li, H.X., Du, Y.Y.: A survey of research issues and key technology for business process management. J. Shandong Univ. Sci. Technol. 34(1), 22–28 (2015)

Tian, Y.H., Du, Y.Y.: A grouping algorithm of optimal alignments. J. Shandong Univ. Sci. Technol. 34(1), 29–34 (2015)

Han, Y.B., Wang, J., Zhang, P.: Business-oriented service modeling: a case study. Simul. Model. Pract. Theory 17(8), 1413–1429 (2009)CrossRef

Wang, J., Du, Y.Y., Yu, S.X.: Coloured logic Petri nets and analysis of their reachable trees. Enterp. Inf. Syst. 9(8), 900–919 (2015)CrossRef

Du, Y.Y., Ning, Y.H.: Property analysis of logic Petri nets by marking reachability graphs. Front. Comput. Sci. 8(4), 684–692 (2014)MathSciNetCrossRefMATH

Du, Y.Y., Qi, L., Zhou, M.C.: A vector matching method for analyzing logic Petri nets. Enterp. Inf. Syst. 5(4), 449–468 (2011)CrossRef

Liu, W., Du, Y.Y., Yan, C.: Soundness preservation in composed logical time workflow nets. Enterp. Inf. Syst. 6(1), 95–113 (2012)CrossRef

10.

Liu, W., Du, Y.Y., Zhou, M.C., et al.: Transformation of logical workflow nets. IEEE Trans. Syst. Man Cybern. Syst. 44(10), 1401–1412 (2014)CrossRef

11.

Hu, Q., Du, Y.Y., Yu, S.X.: Service net algebra based on logic Petri nets. Inf. Sci. 268(6), 271–289 (2014)MathSciNetCrossRefMATH

12.

Yan, C., Sun, H.T., Liu, W.: Study of fuzzy association rules and cross-selling toward property insurance customers based on FARMA. J. Intell. Fuzzy Syst. 31(6), 2789–2794 (2016)CrossRef

13.

Li, Y.Q., Yan, C., Liu, W., Li, M.Z.: A principle component analysis-based random forest with the potential nearest neighbor method for automobile insurance fraud identification. Appl. Soft Comput. (2017). doi:10.1016/j.asoc.2017.07.027

14.

Ding, Z.J., Wang, J.L., Jiang, C.J.: An approach for synthesis petri nets for modeling and verifying composite web service. J. Inf. Sci. Eng. 24(5), 1309–1328 (2008)

15.

Du, Y.Y., Jiang, C.J., Zhou, M.C., et al.: Modeling and monitoring of e-commerce workflows. Inf. Sci. 179(7), 995–1006 (2009)MathSciNetCrossRefMATH

16.

Sun, H.C., Du, Y.Y.: Soundness analysis of inter-organizational workflows. Inf. Technol. J. 7(8), 1194–1199 (2008)MathSciNetCrossRef

17.

Liu, W., Wang, P., Du, Y.Y., Zhou, M.C., Yan, C.: Extended logical Petri nets-based modeling and analysis of business processes. IEEE Access (2017). doi:10.1109/ACCESS.2017.2743113

18.

Liu, G.J., Jiang, C.J., Wu, Z.H., et al.: A live subclass of Petri nets and their application in modeling flexible manufacturing systems. Int. J. Adv. Manuf. Technol. 41(1), 66–74 (2009)CrossRef

19.

Liu, G.J., Reisig, W., Jiang, C.J., et al.: A branching process based method to check soundness of workflow systems. IEEE Access 4, 4104–4118 (2016)CrossRef

Titel: Soundness Analytics of Composed Logical Workflow Nets
verfasst von: Wei Liu
Lu Wang
Xin Feng
Man Qi
Chun Yan
Maozhen Li
Publikationsdatum: 20.10.2017
Verlag: Springer US
Erschienen in: International Journal of Parallel Programming / Ausgabe 4/2019
Print ISSN: 0885-7458
Elektronische ISSN: 1573-7640
DOI: https://doi.org/10.1007/s10766-017-0536-8

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 "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 4/2019

WolfPath: Accelerating Iterative Traversing-Based Graph Processing Algorithms on GPU

Guest Editorial: Special Issue on Algorithms and Systems on Big Graph Processing

Analysis for Behavioral Economics in Social Networks: An Altruism-Based Dynamic Cooperation Model

Editorial: Special Issue on Side-Channel and Fault Analysis of High-Performance Computing Platforms

Memory Tampering Attack on Binary GCD Based Inversion Algorithms

MemJam: A False Dependency Attack Against Constant-Time Crypto Implementations