메뉴 건너뛰기




Volumn 6426 LNCS, Issue PART 1, 2010, Pages 410-418

The biconnected verification of workflow nets

Author keywords

[No Author keywords available]

Indexed keywords

BICONNECTED COMPONENTS; BUSINESS PROCESS; CONNECTIVITY PROPERTIES; DIAGNOSTIC INFORMATION; FORMAL REPRESENTATIONS; LOCALIZATION OF FLAWS; PROCESS BEHAVIOR; STRUCTURE THEORY; WORKFLOW NETS; SOUNDNESS VERIFICATIONS;

EID: 78650105134     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16934-2_29     Document Type: Conference Paper
Times cited : (2)

References (17)
  • 1
    • 43149123380 scopus 로고    scopus 로고
    • A feature-complete Petri net semantics for WS-BPEL 2.0
    • Dumas, M., Heckel, R. (eds.)WS-FM2007. Springer, Heidelberg
    • Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.)WS-FM2007. LNCS, vol. 4937, pp. 77-91. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.4937 , pp. 77-91
    • Lohmann, N.1
  • 2
    • 3242701587 scopus 로고    scopus 로고
    • Tool support for verifying UML activity diagrams
    • Eshuis, R., Wieringa, R.: Tool support for verifying UML activity diagrams. IEEE Trans. Software Eng. 30(7), 437-447 (2004)
    • (2004) IEEE Trans. Software Eng. , vol.30 , Issue.7 , pp. 437-447
    • Eshuis, R.1    Wieringa, R.2
  • 3
    • 52449135365 scopus 로고    scopus 로고
    • Verification of workflow nets
    • Azéma, P., Balbo, G. (eds.) ICATPN 1997. Springer, Heidelberg
    • Aalst, W.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
    • (1997) LNCS , vol.1248 , pp. 407-426
    • Aalst, W.1
  • 4
    • 0002719897 scopus 로고    scopus 로고
    • The application of Petri nets to workflow management
    • Aalst, W.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21-66 (1998)
    • (1998) Journal of Circuits, Systems, and Computers , vol.8 , Issue.1 , pp. 21-66
    • Aalst, W.1
  • 5
    • 84976669902 scopus 로고
    • Algorithm 447: Efficient algorithms for graph manipulation
    • Hopcroft, J., Tarjan, R.: Algorithm 447: efficient algorithms for graph manipulation. ACM Commun. 16(6), 372-378 (1973)
    • (1973) ACM Commun. , vol.16 , Issue.6 , pp. 372-378
    • Hopcroft, J.1    Tarjan, R.2
  • 6
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 7
    • 0002367242 scopus 로고
    • Analysis of petri nets by stepwise refinements
    • Valette, R.: Analysis of petri nets by stepwise refinements. J. Comput. Syst. Sci. 18(1), 35-46 (1979)
    • (1979) J. Comput. Syst. Sci. , vol.18 , Issue.1 , pp. 35-46
    • Valette, R.1
  • 8
    • 0002307971 scopus 로고    scopus 로고
    • Workflow verification: Finding control-flow errors using petri-net-based techniques
    • van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) BPM 2000. Springer, Heidelberg
    • Aalst, W.: Workflow verification: Finding control-flow errors using petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) BPM 2000. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
    • (2000) LNCS , vol.1806 , pp. 161-183
    • Aalst, W.1
  • 9
    • 0001243769 scopus 로고
    • Dividing a graph into triconnected components
    • Hopcroft, J., Tarjan, R.: Dividing a graph into triconnected components. SIAM Journal on Computing 2(3), 135-158 (1973)
    • (1973) SIAM Journal on Computing , vol.2 , Issue.3 , pp. 135-158
    • Hopcroft, J.1    Tarjan, R.2
  • 10
    • 84958530316 scopus 로고    scopus 로고
    • A linear time implementation of SPQR-trees
    • Marks, J. (ed.) GD 2000. Springer, Heidelberg
    • Gutwenger, C., Mutzel, P.: A linear time implementation of SPQR-trees. In: Marks, J. (ed.) GD 2000. LNCS, vol. 1984, pp. 77-90. Springer, Heidelberg (2001)
    • (2001) LNCS , vol.1984 , pp. 77-90
    • Gutwenger, C.1    Mutzel, P.2
  • 11
    • 79958208317 scopus 로고    scopus 로고
    • Simplified computation and generalization of the refined process structure tree
    • to appear, September
    • Polyvyanyy, A., Vanhatalo, J., Voelzer, H.: Simplified computation and generalization of the refined process structure tree. In: WS-FM, Hoboken, NJ, US, (to appear, September 2010)
    • (2010) WS-FM, Hoboken, NJ, US
    • Polyvyanyy, A.1    Vanhatalo, J.2    Voelzer, H.3
  • 12
    • 77955356972 scopus 로고    scopus 로고
    • Efficient computation of causal behavioural profiles using structural decomposition
    • Lilius, J., Penczek, W. (eds.) Applications and Theory of Petri Nets. Springer, Heidelberg
    • Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) Applications and Theory of Petri Nets. LNCS, vol. 6128, pp. 63-83. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6128 , pp. 63-83
    • Weidlich, M.1    Polyvyanyy, A.2    Mendling, J.3    Weske, M.4
  • 13
    • 70349303600 scopus 로고    scopus 로고
    • Instantaneous soundness checking of industrial business process models
    • Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. Springer, Heidelberg
    • Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278-293. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5701 , pp. 278-293
    • Fahland, D.1    Favre, C.2    Jobstmann, B.3    Koehler, J.4    Lohmann, N.5    Völzer, H.6    Wolf, K.7
  • 14
    • 38349014920 scopus 로고    scopus 로고
    • Faster and more focused control-flow analysis for business process models through SESE decomposition
    • Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. Springer, Heidelberg
    • Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4749 , pp. 43-55
    • Vanhatalo, J.1    Völzer, H.2    Leymann, F.3
  • 15
    • 85034854874 scopus 로고
    • Transformations and decompositions of nets
    • Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. Springer, Heidelberg
    • Berthelot, G.: Transformations and decompositions of nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 359-376. Springer, Heidelberg (1987)
    • (1987) LNCS , vol.254 , pp. 359-376
    • Berthelot, G.1
  • 17
    • 78650154791 scopus 로고    scopus 로고
    • Structural abstraction of process specifications
    • Polyvyanyy, A.: Structural abstraction of process specifications. In: ZEUS (2010)
    • (2010) ZEUS
    • Polyvyanyy, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.