메뉴 건너뛰기




Volumn 998, Issue , 2013, Pages 106-113

Towards a compendium of process technologies the jBPT library for process model analysis

Author keywords

Compendium; JBPT; Process analysis; Process technology

Indexed keywords

SYSTEMS ENGINEERING;

EID: 84903131853     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (27)

References (13)
  • 3
    • 79953067772 scopus 로고    scopus 로고
    • Simplified computation and generalization of the refined process structure tree
    • Vol. 6551 of LNCS., Springer
    • Polyvyanyy, A., Vanhatalo, J., Völzer, H.: Simplified computation and generalization of the refined process structure tree. In: WS-FM. Vol. 6551 of LNCS., Springer (2010) 25-41
    • (2010) WS-FM , pp. 25-41
    • Polyvyanyy, A.1    Vanhatalo, J.2    Völzer, H.3
  • 4
    • 79957803658 scopus 로고    scopus 로고
    • Efficient consistency measurement based on behavioral profiles of process models
    • Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans. Software Eng. 37(3) (2011) 410-429
    • (2011) IEEE Trans. Software Eng. , vol.37 , Issue.3 , pp. 410-429
    • Weidlich, M.1    Mendling, J.2    Weske, M.3
  • 5
    • 0034274870 scopus 로고    scopus 로고
    • An open graph visualization system and its applications to software engineering
    • Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software. Practice and Experience 30(11) (2000) 1203-1233
    • (2000) Software. Practice and Experience , vol.30 , Issue.11 , pp. 1203-1233
    • Gansner, E.R.1    North, S.C.2
  • 6
    • 52449135365 scopus 로고    scopus 로고
    • Verification of workflow nets
    • Vol. 1248 of LNCS., Springer
    • van der Aalst, W.M.P.: Verification of Workflow nets. In: ICATPN. Vol. 1248 of LNCS., Springer (1997) 407-426
    • (1997) ICATPN , pp. 407-426
    • Van Der Aalst, W.M.P.1
  • 8
    • 0001790593 scopus 로고
    • Depth-first search and linear graph algorithms
    • Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAMCOMP 1(2) (1972) 146-160
    • (1972) SIAMCOMP , vol.1 , Issue.2 , pp. 146-160
    • Tarjan, R.E.1
  • 11
    • 84890616478 scopus 로고    scopus 로고
    • Flexab - Flexible business process model abstraction
    • Vol. 734 of CEUR Workshop Proceedings., CEUR-WS.org
    • Weidlich, M., Smirnov, S., Wiggert, C., Weske, M.: Flexab - flexible business process model abstraction. In: CAiSE Forum. Vol. 734 of CEUR Workshop Proceedings., CEUR-WS.org (2011) 17-24
    • (2011) CAiSE Forum , pp. 17-24
    • Weidlich, M.1    Smirnov, S.2    Wiggert, C.3    Weske, M.4
  • 12
    • 57049164245 scopus 로고    scopus 로고
    • Oryx - An open modeling platform for the BPM community
    • Vol. 5240 of LNCS., Springer
    • Decker, G., Overdick, H., Weske, M.: Oryx - an open modeling platform for the BPM community. In: BPM. Vol. 5240 of LNCS., Springer (2008) 382-385
    • (2008) BPM , pp. 382-385
    • Decker, G.1    Overdick, H.2    Weske, M.3
  • 13
    • 78049296490 scopus 로고    scopus 로고
    • How to implement a theory of correctness in the area of business processes and services
    • Vol. 6336 of LNCS., Springer
    • Lohmann, N., Wolf, K.: How to implement a theory of correctness in the area of business processes and services. In: BPM. Vol. 6336 of LNCS., Springer (2010)
    • (2010) BPM
    • Lohmann, N.1    Wolf, K.2


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