메뉴 건너뛰기




Volumn 117 LNBIP, Issue , 2012, Pages 24-35

Creating sound and reversible configurable process models using CoSeNets

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS;

EID: 84861676517     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-30359-3_3     Document Type: Conference Paper
Times cited : (25)

References (19)
  • 1
    • 52449135365 scopus 로고    scopus 로고
    • Verification of Workflow Nets
    • Azéma, P., Balbo, G. (eds.) ICATPN 1997. Springer, Heidelberg
    • van der Aalst, W.M.P.: 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
    • Van Der Aalst, W.M.P.1
  • 3
    • 74549140366 scopus 로고    scopus 로고
    • The Difference between Graph-Based and Block-Structured Business Process Modelling Languages
    • Kopp, O., Martin, D., Wutke, D., Leymann, F.: The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages. Enterprise Modelling and Information Systems 4(1), 3-13 (2009)
    • (2009) Enterprise Modelling and Information Systems , vol.4 , Issue.1 , pp. 3-13
    • Kopp, O.1    Martin, D.2    Wutke, D.3    Leymann, F.4
  • 4
    • 84856571249 scopus 로고    scopus 로고
    • Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study
    • Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. Springer, Heidelberg
    • Vogelaar, J.J.C.L., Verbeek, H.M.W., Luka, B., van der Aalst, W.M.P.: Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol. 100, pp. 50-61. Springer, Heidelberg (2012)
    • (2012) LNBIP , vol.100 , pp. 50-61
    • Vogelaar, J.J.C.L.1    Verbeek, H.M.W.2    Luka, B.3    Van Der Aalst, W.M.P.4
  • 6
    • 84861670325 scopus 로고    scopus 로고
    • Master's thesis, Eindhoven University of Technology, The Netherlands
    • Schunselaar, D.M.M.: Configurable Declare. Master's thesis, Eindhoven University of Technology, The Netherlands (2011)
    • (2011) Configurable Declare
    • Schunselaar, D.M.M.1
  • 7
    • 79960266004 scopus 로고    scopus 로고
    • PhD thesis, Eindhoven University of Technology, The Netherlands
    • Gottschalk, F.: Configurable Process Models. PhD thesis, Eindhoven University of Technology, The Netherlands (2009)
    • (2009) Configurable Process Models
    • Gottschalk, F.1
  • 8
    • 33749552243 scopus 로고    scopus 로고
    • A Configurable Reference Modelling Language
    • Rosemann, M., van der Aalst, W.M.P.: A Configurable Reference Modelling Language. Information Systems 32(1), 1-23 (2007)
    • (2007) Information Systems , vol.32 , Issue.1 , pp. 1-23
    • Rosemann, M.1    Van Der Aalst, W.M.P.2
  • 9
    • 84857919395 scopus 로고    scopus 로고
    • Ensuring Correctness during Process Configuration Via Partner Synthesis
    • van der Aalst, W.M.P., Lohmann, N., La Rosa, M.: Ensuring Correctness During Process Configuration Via Partner Synthesis. Information Systems 37(6), 574-592 (2012)
    • (2012) Information Systems , vol.37 , Issue.6 , pp. 574-592
    • Van Der Aalst, W.M.P.1    Lohmann, N.2    La Rosa, M.3
  • 10
    • 78049254426 scopus 로고    scopus 로고
    • Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
    • Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. Springer, Heidelberg
    • van der Aalst,W., Lohmann, N., La Rosa, M., Xu, J.: Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 95-111. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6336 , pp. 95-111
    • Van Der Aalst, W.1    Lohmann, N.2    La Rosa, M.3    Xu, J.4
  • 11
    • 70349332782 scopus 로고    scopus 로고
    • Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
    • Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. Springer, Heidelberg
    • Li, C., Reichert, M., Wombacher, A.: Discovering Reference Models by Mining Process Variants Using a Heuristic Approach. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 344-362. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5701 , pp. 344-362
    • Li, C.1    Reichert, M.2    Wombacher, A.3
  • 14
    • 33749542983 scopus 로고    scopus 로고
    • Merging Workflows: A New Perspective on Connecting Business Processes
    • Sun, S., Kumar, A., Yen, J.: Merging Workflows: A New Perspective on Connecting Business Processes. Decision Support Systems 42(2), 844-858 (2006)
    • (2006) Decision Support Systems , vol.42 , Issue.2 , pp. 844-858
    • Sun, S.1    Kumar, A.2    Yen, J.3
  • 17
    • 45849086911 scopus 로고    scopus 로고
    • On a Quest for Good Process Models: The Cross-Connectivity Metric
    • Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. Springer, Heidelberg
    • Vanderfeesten, I.T.P., Reijers, H.A., Mendling, J., van der Aalst, W.M.P., Cardoso, J.: On a Quest for Good Process Models: The Cross-Connectivity Metric. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 480-494. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5074 , pp. 480-494
    • Vanderfeesten, I.T.P.1    Reijers, H.A.2    Mendling, J.3    Van Der Aalst, W.M.P.4    Cardoso, J.5
  • 19
    • 79956323232 scopus 로고    scopus 로고
    • The ICoP Framework: Identification of Correspondences between Process Models
    • Pernici, B. (ed.) CAiSE 2010. Springer, Heidelberg
    • Weidlich, M., Dijkman, R., Mendling, J.: The ICoP Framework: Identification of Correspondences between Process Models. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483-498. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6051 , pp. 483-498
    • Weidlich, M.1    Dijkman, R.2    Mendling, J.3


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