메뉴 건너뛰기




Volumn 23, Issue 2, 2009, Pages 67-79

Surmounting BPM challenges: The YAWL story

Author keywords

Workflow management; Workflow patterns; YAWL

Indexed keywords

BUSINESS PROCESS MANAGEMENT; BUSINESS PROCESS MODELLING; HISTORICAL DEVELOPMENT; STRUCTURED APPROACH; WORKFLOW LANGUAGE; WORKFLOW MANAGEMENTS; WORKFLOW PATTERNS; YAWL;

EID: 67349235543     PISSN: 18652034     EISSN: 18652042     Source Type: Journal    
DOI: 10.1007/s00450-009-0059-7     Document Type: Article
Times cited : (8)

References (59)
  • 2
    • 0002307971 scopus 로고    scopus 로고
    • Workflow Verification: Finding Control-Flow Errors using Petri Net-Based Techniques
    • van der Aalst W, Desel J, Oberweis A (eds) Proceedings of Business Process Management: Models, Techniques and Empirical Studies. Springer-Verlag
    • van der Aalst W (2000) Workflow Verification: Finding Control-Flow Errors using Petri Net-Based Techniques. In: van der Aalst W, Desel J, Oberweis A (eds) Proceedings of Business Process Management: Models, Techniques and Empirical Studies. Springer-Verlag, Lecture Notes in Computer Science, vol 1806, pp 161-183
    • (2000) Lecture Notes in Computer Science , vol.1806 , pp. 161-183
    • Van Der Aalst, W.1
  • 3
    • 33745345525 scopus 로고    scopus 로고
    • Patterns and XPDL: A Critical Evaluation of the XML Process Definition Language
    • FIT-TR-2003-06, Queensland University of Technology, Brisbane
    • van der Aalst W (2003) Patterns and XPDL: A Critical Evaluation of the XML Process Definition Language. QUT Technical report, FIT-TR-2003-06, Queensland University of Technology, Brisbane
    • (2003) QUT Technical Report
    • Van Der Aalst, W.1
  • 4
    • 0037028431 scopus 로고    scopus 로고
    • Inheritance of Workflows: An Approach to Tackling Problems Related to Change
    • W van der Aalst T Basten 2002 Inheritance of Workflows: An Approach to Tackling Problems Related to Change Theor Comput Sci 270 1-2 125 203
    • (2002) Theor Comput Sci , vol.270 , Issue.1-2 , pp. 125-203
    • Van Der Aalst, W.1    Basten, T.2
  • 6
    • 10644258434 scopus 로고    scopus 로고
    • Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages
    • Jensen K (ed) Proceedings of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Aarhus, Denmark
    • van der Aalst W, ter Hofstede A (2002) Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In: Jensen K (ed) Proceedings of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, Aarhus, Denmark, vol 560 of DAIMI, pp 1-20
    • (2002) DAIMI , vol.560 , pp. 1-20
    • Van Der Aalst, W.1    Ter Hofstede, A.2
  • 7
    • 15744405522 scopus 로고    scopus 로고
    • YAWL: Yet another workflow language
    • W van der Aalst A ter Hofstede 2005 YAWL: Yet another workflow language Inf Syst 30 4 245 275
    • (2005) Inf Syst , vol.30 , Issue.4 , pp. 245-275
    • Van Der Aalst, W.1    Ter Hofstede, A.2
  • 10
    • 11144308857 scopus 로고    scopus 로고
    • Case handling: A new paradigm for business process support
    • W van der Aalst M Weske D Grünbauer 2005 Case handling: A new paradigm for business process support Data Knowl Eng 53 2 129 162
    • (2005) Data Knowl Eng , vol.53 , Issue.2 , pp. 129-162
    • Van Der Aalst, W.1    Weske, M.2    Grünbauer, D.3
  • 11
    • 38149055702 scopus 로고    scopus 로고
    • ProM 4.0: Comprehensive Support for real Process Analysis
    • Kleijn J, Yakovlev A (eds) Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, 25-29 June 2007, Proceedings, Springer
    • van der Aalst W, van Dongen B, Günther C, Mans R, Alves de Medeiros A, Rozinat A, Rubin V, Song M, Verbeek H, Weijters A (2007) ProM 4.0: Comprehensive Support for real Process Analysis. In: Kleijn J, Yakovlev A (eds) Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, 25-29 June 2007, Proceedings, Springer, Lecture Notes in Computer Science, vol 4546, pp 484-494
    • (2007) Lecture Notes in Computer Science , vol.4546 , pp. 484-494
    • Van Dongen, B.1    Günther, C.2    Mans, R.3    Alves De Medeiros, A.4    Rozinat, A.5    Rubin, V.6    Song, M.7    Verbeek, H.8    Weijters, A.9    Van Der Aalst, W.10
  • 15
    • 33845463203 scopus 로고    scopus 로고
    • Worklets: A service-oriented implementation of dynamic flexibility in workflows
    • Meersman R, Tari Z (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, 29 October-3 November 2006. Proceedings, Part I., Springer
    • Adams M, ter Hofstede A, Edmond D, van der Aalst W (2006) Worklets: A service-oriented implementation of dynamic flexibility in workflows. In: Meersman R, Tari Z (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, 29 October-3 November 2006. Proceedings, Part I., Springer, Lecture Notes in Computer Science, vol 4275, pp 291-308
    • (2006) Lecture Notes in Computer Science , vol.4275 , pp. 291-308
    • Adams, M.1    Ter Hofstede, A.2    Edmond, D.3    Van Der Aalst, W.4
  • 16
    • 38349013112 scopus 로고    scopus 로고
    • Dynamic, Extensible and Context-Aware Exception Handling for Workflows
    • Meersman R, Tari Z (eds) On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, 25-30 November 2007, Proceedings, Part I, Springer
    • Adams M, ter Hofstede A, van der Aalst W, Edmond D (2007) Dynamic, Extensible and Context-Aware Exception Handling for Workflows. In: Meersman R, Tari Z (eds) On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, 25-30 November 2007, Proceedings, Part I, Springer, Lecture Notes in Computer Science, vol 4803, pp 95-112
    • (2007) Lecture Notes in Computer Science , vol.4803 , pp. 95-112
    • Adams, M.1    Ter Hofstede, A.2    Van Der Aalst, W.3    Edmond, D.4
  • 18
    • 84899848292 scopus 로고    scopus 로고
    • Workflow evolution
    • Thalheim B (ed) Conceptual Modeling - ER'96, 15th International Conference on Conceptual Modeling Springer, Cottbus, Germany
    • Casati F, Ceri S, Pernici B, Pozzi G (1996) Workflow evolution. In: Thalheim B (ed) Conceptual Modeling - ER'96, 15th International Conference on Conceptual Modeling, Lecture Notes in Computer Science, vol 1157, Springer, Cottbus, Germany, pp 438-455
    • (1996) Lecture Notes in Computer Science , vol.1157 , pp. 438-455
    • Casati, F.1    Ceri, S.2    Pernici, B.3    Pozzi, G.4
  • 19
    • 0000865747 scopus 로고    scopus 로고
    • Specification and implementation of exceptions in workflow management systems
    • F Casati S Ceri S Paraboschi G Pozzi 1999 Specification and implementation of exceptions in workflow management systems ACM Trans Database Syst 24 3 405 451
    • (1999) ACM Trans Database Syst , vol.24 , Issue.3 , pp. 405-451
    • Casati, F.1    Ceri, S.2    Paraboschi, S.3    Pozzi, G.4
  • 21
    • 33845432307 scopus 로고    scopus 로고
    • Aspect-oriented workflow languages
    • Meersman R, Tari Z (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, 29 October-3 November 2006. Proceedings, Part I, Springer
    • Charfi A, Mezini M (2006) Aspect-oriented workflow languages. In: Meersman R, Tari Z (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, 29 October-3 November 2006. Proceedings, Part I, Springer, Lecture Notes in Computer Science, vol 4275, pp 183-200
    • (2006) Lecture Notes in Computer Science , vol.4275 , pp. 183-200
    • Charfi, A.1    Mezini, M.2
  • 22
    • 85021071430 scopus 로고
    • Knowledge in context: A strategy for expert system maintenance
    • Siekmann J (ed) Proceedings of the 2nd Australian Joint Artificial Intelligence Conference, Springer-Verlag, Adelaide, Australia
    • Compton P, Jansen B (1988) Knowledge in context: A strategy for expert system maintenance. In: Siekmann J (ed) Proceedings of the 2nd Australian Joint Artificial Intelligence Conference, Springer-Verlag, Adelaide, Australia, Lecture Notes in Artificial Intelligence, vol 406, pp 292-306
    • (1988) Lecture Notes in Artificial Intelligence , vol.406 , pp. 292-306
    • Compton, P.1    Jansen, B.2
  • 23
    • 8644243245 scopus 로고    scopus 로고
    • Bridging the Gap between Business Models and Workflow Specifications
    • Dehnert J, van der Aalst W (2004) Bridging the Gap Between Business Models and Workflow Specifications. Int J Cooperat Inform Syst 13(3):289-332
    • (2004) Int J Cooperat Inform Syst , vol.13 , Issue.3 , pp. 289-332
    • Dehnert, J.1    Van Der Aalst, W.2
  • 24
    • 84931828599 scopus 로고    scopus 로고
    • Relaxed Soundness of Business Processes
    • Dittrich K, Geppert A, Norrie M (eds) Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01)
    • Dehnert J, Rittgen P (2001) Relaxed Soundness of Business Processes. In: Dittrich K, Geppert A, Norrie M (eds) Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), Lecture Notes in Computer Science, vol 2068, pp 157-170
    • (2001) Lecture Notes in Computer Science , vol.2068 , pp. 157-170
    • Dehnert, J.1    Rittgen, P.2
  • 25
    • 84878552622 scopus 로고    scopus 로고
    • Reset Nets between Decidability and Undecidability
    • Larsen K, Skyum S, Winskel G (eds) Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Springer-Verlag, Aalborg, Denmark
    • Dufourd C, Finkel A, Schnoebelen P (1998) Reset Nets Between Decidability and Undecidability. In: Larsen K, Skyum S, Winskel G (eds) Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Springer-Verlag, Aalborg, Denmark, Lecture Notes in Computer Science, vol 1443, pp 103-115
    • (1998) Lecture Notes in Computer Science , vol.1443 , pp. 103-115
    • Dufourd, C.1    Finkel, A.2    Schnoebelen, P.3
  • 28
    • 33847677743 scopus 로고    scopus 로고
    • Formalising workflow: A CCS-inspired characterisation of the YAWL workflow patterns
    • A Farrell M Sergot C Bartolini 2006 Formalising workflow: A CCS-inspired characterisation of the YAWL workflow patterns Group Decis Negot 61 3 213 254
    • (2006) Group Decis Negot , vol.61 , Issue.3 , pp. 213-254
    • Farrell, A.1    Sergot, M.2    Bartolini, C.3
  • 30
    • 32644432928 scopus 로고    scopus 로고
    • A taxonomy of transactional workflow support
    • P Grefen J Vonk 2006 A taxonomy of transactional workflow support Int J Cooperat Inform Syst 15 1 87 118
    • (2006) Int J Cooperat Inform Syst , vol.15 , Issue.1 , pp. 87-118
    • Grefen, P.1    Vonk, J.2
  • 31
    • 0034292030 scopus 로고    scopus 로고
    • Exception handling in workflow management systems
    • C Hagen G Alonso 2000 Exception handling in workflow management systems IEEE Trans Softw Eng 26 10 943 958
    • (2000) IEEE Trans Softw Eng , vol.26 , Issue.10 , pp. 943-958
    • Hagen, C.1    Alonso, G.2
  • 32
    • 0013369183 scopus 로고    scopus 로고
    • Coloured petri nets. Basic concepts, analysis methods and practical use, vol 1, basic concepts
    • Springer-Verlag, Berlin
    • Jensen K (1997) Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, vol 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, Berlin
    • (1997) Monographs in Theoretical Computer Science
    • Jensen, K.1
  • 33
    • 8344267217 scopus 로고    scopus 로고
    • Defining flexible workflow execution behaviors
    • Dadam P, Reichert M (eds) Workshop Informatik '99: Enterprise-wide and Cross-enterprise Workflow Management: Concepts, Systems, Applications, CEUR-WS.org, Paderborn, Germany
    • Joeris G (1999) Defining flexible workflow execution behaviors. In: Dadam P, Reichert M (eds) Workshop Informatik '99: Enterprise-wide and Cross-enterprise Workflow Management: Concepts, Systems, Applications, CEUR-WS.org, Paderborn, Germany, CEUR Workshop Proceedings, vol 24, pp 49-55
    • (1999) CEUR Workshop Proceedings , vol.24 , pp. 49-55
    • Joeris, G.1
  • 34
    • 0033687179 scopus 로고    scopus 로고
    • Techniques for supporting dynamic and adaptive workflow
    • http://citeseer.ist.psu.edu/kammer98techniques.html
    • P Kammer G Bolcer R Taylor A Hitomi M Bergman 2000 Techniques for supporting dynamic and adaptive workflow Computer Supported Cooperative Work 9 3/4 269 292 http://citeseer.ist.psu.edu/kammer98techniques.html
    • (2000) Computer Supported Cooperative Work , vol.9 , pp. 269-292
    • Kammer, P.1    Bolcer, G.2    Taylor, R.3    Hitomi, A.4    Bergman, M.5
  • 36
    • 27544451161 scopus 로고    scopus 로고
    • On the semantics of EPCs: Resolving the vicious circle
    • E Kindler 2006 On the semantics of EPCs: Resolving the vicious circle Data Knowl Eng 56 1 23 40
    • (2006) Data Knowl Eng , vol.56 , Issue.1 , pp. 23-40
    • Kindler, E.1
  • 38
    • 57049087472 scopus 로고    scopus 로고
    • Visual support for work assignment in process-aware information systems
    • Dumas M, Reichert M, Shan MC (eds) Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, 2-4 September 2008. Proceedings, Springer
    • de Leoni M, van der Aalst W, ter Hofstede A (2008) Visual support for work assignment in process-aware information systems. In: Dumas M, Reichert M, Shan MC (eds) Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, 2-4 September 2008. Proceedings, Springer, Lecture Notes in Computer Science, vol 5240, pp 67-83
    • (2008) Lecture Notes in Computer Science , vol.5240 , pp. 67-83
    • De Leoni, M.1    Van Der Aalst, W.2    Ter Hofstede, A.3
  • 42
    • 21144458146 scopus 로고    scopus 로고
    • ADEPT Workflow Management System
    • van der Aalst W, ter Hofstede A, Weske M (eds) Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings, Springer
    • Reichert M, Rinderle S, Dadam P (2003) ADEPT workflow management system. In: van der Aalst W, ter Hofstede A, Weske M (eds) Business Process Management, International Conference, BPM 2003, Eindhoven, The Netherlands, June 26-27, 2003, Proceedings, Springer, Lecture Notes in Computer Science, vol 2678, pp 370-379
    • (2003) Lecture Notes in Computer Science , vol.2678 , pp. 370-379
    • Reichert, M.1    Rinderle, S.2    Dadam, P.3
  • 44
    • 33749552243 scopus 로고    scopus 로고
    • A configurable reference modelling language
    • DOI 10.1016/j.is.2005.05.003, PII S0306437905000487
    • M Rosemann W van der Aalst 2007 A configurable reference modelling language Inf Syst 32 1 1 23 (Pubitemid 44537594)
    • (2007) Information Systems , vol.32 , Issue.1 , pp. 1-23
    • Rosemann, M.1    Van Der Aalst, W.M.P.2
  • 46
    • 67349175193 scopus 로고    scopus 로고
    • PhD Thesis, Queensland University of Technology, Brisbane, Australia
    • Russell N (2007) Foundations of Process-Aware Information Systems. PhD Thesis, Queensland University of Technology, Brisbane, Australia, available through http://www.yawl-system.com
    • (2007) Foundations of Process-Aware Information Systems
    • Russell, N.1
  • 47
    • 25144499038 scopus 로고    scopus 로고
    • Workflow resource patterns: Identification, representation and tool support
    • Pastor O, Falc~ao e Cunha J (eds) Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), Springer, Porto, Portugal
    • Russell N, van der Aalst W, ter Hofstede A, Edmond D (2005a) Workflow resource patterns: Identification, representation and tool support. In: Pastor O, Falc~ao e Cunha J (eds) Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), Springer, Porto, Portugal, Lecture Notes in Computer Science, vol 3520, pp 216-232
    • (2005) Lecture Notes in Computer Science , vol.3520 , pp. 216-232
    • Russell, N.1    Van Der Aalst, W.2    Ter Hofstede, A.3    Edmond, D.4
  • 48
    • 33646165893 scopus 로고    scopus 로고
    • Workflow data patterns: Identification, representation and tool support
    • Delcambre L, Kop C, Mayr H, Mylopoulos J, Pastor O (eds) Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), Springer, Klagenfurt, Austria
    • Russell N, ter Hofstede A, Edmond D, van der Aalst W (2005b) Workflow data patterns: Identification, representation and tool support. In: Delcambre L, Kop C, Mayr H, Mylopoulos J, Pastor O (eds) Proceedings of the 24th International Conference on Conceptual Modeling (ER 2005), Springer, Klagenfurt, Austria, Lecture Notes in Computer Science, vol 3716, pp 353-368
    • (2005) Lecture Notes in Computer Science , vol.3716 , pp. 353-368
    • Russell, N.1    Ter Hofstede, A.2    Edmond, D.3    Van Der Aalst, W.4
  • 49
    • 33746101027 scopus 로고    scopus 로고
    • Workflow exception patterns
    • Dubois E, Pohl K (eds) Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), Springer, Luxembourg, Luxembourg
    • Russell N, van der Aalst W, ter Hofstede A (2006a) Workflow exception patterns. In: Dubois E, Pohl K (eds) Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), Springer, Luxembourg, Luxembourg, Lecture Notes in Computer Science, vol 4001, pp 288-302
    • (2006) Lecture Notes in Computer Science , vol.4001 , pp. 288-302
    • Russell, N.1    Van Der Aalst, W.2    Ter Hofstede, A.3
  • 52
    • 67349147825 scopus 로고    scopus 로고
    • Process flexibility: A survey of contemporary approaches
    • Dietz J, Albani A, Barjis J (eds) Advances in Enterprise Engineering I, 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, 16-17 June 2008. Proceedings, Springer
    • Schonenberg H, Mans R, Russell N, Mulyar N, van der Aalst W (2008) Process flexibility: A survey of contemporary approaches. In: Dietz J, Albani A, Barjis J (eds) Advances in Enterprise Engineering I, 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, 16-17 June 2008. Proceedings, Springer, Lecture Notes in Business Information Processing, vol 10, pp 16-30
    • (2008) Lecture Notes in Business Information Processing , vol.10 , pp. 16-30
    • Schonenberg, H.1    Mans, R.2    Russell, N.3    Mulyar, N.4    Van Der Aalst, W.5
  • 53
    • 0030688296 scopus 로고    scopus 로고
    • From contemporary workflow process automation to adaptive and dynamic work activity coordination and collaboration
    • IEEE Computer Society, Washington, DC
    • Sheth A (1997) From contemporary workflow process automation to adaptive and dynamic work activity coordination and collaboration. In: DEXA '97: Proceedings of the 8th International Workshop on Database and Expert Systems Applications, IEEE Computer Society, Washington, DC, p 24
    • (1997) DEXA '97: Proceedings of the 8th International Workshop on Database and Expert Systems Applications , pp. 24
    • Sheth, A.1
  • 54
    • 36049051847 scopus 로고    scopus 로고
    • Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
    • H Verbeek W van der Aalst A ter Hofstede 2007 Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants Comput J 50 3 294 314
    • (2007) Comput J , vol.50 , Issue.3 , pp. 294-314
    • Verbeek, H.1    Van Der Aalst, W.2    Ter Hofstede, A.3
  • 55
    • 47849117407 scopus 로고    scopus 로고
    • Change patterns and change support features - Enhancing flexibility in process-aware information systems
    • B Weber M Reichert S Rinderle-Ma 2008 Change patterns and change support features - Enhancing flexibility in process-aware information systems Data Knowl Eng 66 3 438 466
    • (2008) Data Knowl Eng , vol.66 , Issue.3 , pp. 438-466
    • Weber, B.1    Reichert, M.2    Rinderle-Ma, S.3
  • 57
    • 26444598543 scopus 로고    scopus 로고
    • Achieving a general, formal and decidable approach to the OR-join in workflow using Reset nets
    • Ciardo G, Darondeau P (eds) Proceedings of the 26th International Conference on Application and Theory of Petri nets and Other Models of Concurrency (Petri Nets 2005), Springer-Verlag, Miami
    • Wynn M, Edmond D, van der Aalst W, ter Hofstede A (2005) Achieving a general, formal and decidable approach to the OR-join in workflow using Reset nets. In: Ciardo G, Darondeau P (eds) Proceedings of the 26th International Conference on Application and Theory of Petri nets and Other Models of Concurrency (Petri Nets 2005), Springer-Verlag, Miami, Lecture Notes in Computer Science, vol 3536, pp 423-443
    • (2005) Lecture Notes in Computer Science , vol.3536 , pp. 423-443
    • Wynn, M.1    Edmond, D.2    Van Der Aalst, W.3    Ter Hofstede, A.4
  • 58
    • 33750020317 scopus 로고    scopus 로고
    • Verifying workflows with Cancellation Regions and OR-joins: An Approach Based on Reset nets and Reachability Analysis
    • Dustdar S, Fiadeiro J, Sheth A (eds) Proceedings of 4th International Conference of Business Process Management, Springer-Verlag, Vienna, Austria
    • Wynn M, Edmond D, van der Aalst W, ter Hofstede A (2006) Verifying workflows with Cancellation Regions and OR-joins: An Approach Based on Reset nets and Reachability Analysis. In: Dustdar S, Fiadeiro J, Sheth A (eds) Proceedings of 4th International Conference of Business Process Management, Springer-Verlag, Vienna, Austria, Lecture Notes in Computer Science, vol 4102, pp 389-394
    • (2006) Lecture Notes in Computer Science , vol.4102 , pp. 389-394
    • Wynn, M.1    Edmond, D.2    Van Der Aalst, W.3    Ter Hofstede, A.4


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