08/23/09

Publications Wil van der Aalst [2008]

Click here for full list, recent publications, 2008, 2007, 2006, 2005, 2000-2004, before 2000.

 

435

W.M.P. van der Aalst and K.B. Lassen. Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation. Information and Software Technology, 50(3):131-159, 2008.
 

436

A. Rozinat and W.M.P. van der Aalst. Conformance Checking of Processes Based on Monitoring Real Behavior. Information Systems, 33(1):64-95, 2008.
 

437

N. Russell and W.M.P. van der Aalst. Workflow Resource Patterns as a Tool to Support OASIS BPEL4People Standardization Efforts. BPTrends, 6(3):1-26, March 2008.
 

438

C.W. Günther, S. Rinderle, M. Reichert, W.M.P. van der Aalst, and J. Recker. Using Process Mining to Learn from Process Changes in Evolutionary Systems. International Journal of Business Process Integration and Management, 3(1):61-79, 2008.
 

439

W.M.P. van der Aalst. Chapter 29: Decision Support Based on Process Mining. In F. Burstein and C.W. Holsapple, editors, Handbook on Decision Support Systems (Part 1: Basic Themes), International Handbooks on Information Systems, pages 637-657. Springer-Verlag, Berlin, 2008.
 

440

J. Mendling, H.M.W. Verbeek, B.F. van Dongen, W.M.P. van der Aalst, and G. Neumann. Detection and Prediction of Errors in EPCs of the SAP Reference Model. Data and Knowledge Engineering, 64(1):312-329, 2008.
 

441

N. Mulyar, M. Pesic, W.M.P. van der Aalst, and M. Peleg. Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In A. ter Hofstede, B. Benatallah, and H.Y. Paik, editors, BPM 2007 International Workshops (BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws), volume 4928 of Lecture Notes in Computer Science, pages 335-364. Springer-Verlag, Berlin, 2008.
 

442

A.K. Alves de Medeiros, A. Guzzo, G. Greco, W.M.P. van der Aalst, A.J.M.M. Weijters, B. van Dongen, and D. Sacca. Process Mining Based on Clustering: A Quest for Precision. In A. ter Hofstede, B. Benatallah, and H.Y. Paik, editors, BPM 2007 International Workshops (BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws), volume 4928 of Lecture Notes in Computer Science, pages 17-29. Springer-Verlag, Berlin, 2008.
 

443

M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Business Process Simulation for Operational Decision Support. In A. ter Hofstede, B. Benatallah, and H.Y. Paik, editors, BPM 2007 International Workshops (BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws), volume 4928 of Lecture Notes in Computer Science, pages 66-77. Springer-Verlag, Berlin, 2008.
 

444

A. Rozinat, A.K. Alves de Medeiros, C.W. Günther, A.J.M.M. Weijters, and W.M.P. van der Aalst. The Need for a Process Mining Evaluation Framework in Research and Practice. In A. ter Hofstede, B. Benatallah, and H.Y. Paik, editors, BPM 2007 International Workshops (BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws), volume 4928 of Lecture Notes in Computer Science, pages 84-89. Springer-Verlag, Berlin, 2008.
 

445

M. La Rosa, F. Gottschalk, M. Dumas, and W.M.P. van der Aalst. Linking Domain Models and Process Models for Reference Model Configuration. In A. ter Hofstede, B. Benatallah, and H.Y. Paik, editors, BPM 2007 International Workshops (BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws), volume 4928 of Lecture Notes in Computer Science, pages 417-430. Springer-Verlag, Berlin, 2008.
 

446

W.M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. From Public Views to Private Views: Correctness-by-Design for Services. In M. Dumas and H. Heckel, editors, Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), volume 4937 of Lecture Notes in Computer Science, pages 139-153. Springer-Verlag, Berlin, 2008.
 

447

F. Gottschalk, W.M.P. van der Aalst, M.H. Jansen-Vullers, and H.M.W. Verbeek. Protos2CPN: Using Colored Petri Nets for Configuring and Testing Business Processes. International Journal on Software Tools for Technology Transfer, 10(1):95-111, 2008.
 

448

A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst. Discovering Colored Petri Nets From Event Logs. International Journal on Software Tools for Technology Transfer, 10(1):57-74, 2008.
 

449

J.B. Jørgensen, K.B. Lassen, and W.M.P. van der Aalst. From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Journal on Software Tools for Technology Transfer, 10(1):15-28, 2008.
 

450

W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri nets. ACM Transactions on Internet Technology, 8(3):29-59, 2008.
 

451

A.K. Alves de Medeiros, W.M.P. van der Aalst, and A.J.M.M. Weijters. Quantifying Process Equivalence Based on Observed Behavior. Data and Knowledge Engineering, 64(1):55-74, 2008.
 

452

I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. Evaluating Workflow Process Designs using Cohesion and Coupling Metrics. Computers in Industry, 59(5):420-437, 2008.
 

453

W.M.P. van der Aalst and A. Nikolov. Mining E-Mail Messages: Uncovering Interaction Patterns and Processes using E-mail Logs. International Journal of Intelligent Information Technologies, 4(3):27-45, 2008.
 

454

W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A.H.M. ter Hofstede, M. La Rosa, and J. Mendling. Correctness-Preserving Configuration of Business Process Models. In J.L. Fiadeiro and P. Inverardi, editors, Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE 2008), volume 4961 of Lecture Notes in Computer Science, pages 46-61. Springer-Verlag, Berlin, 2008.
 

455

N. Russell and W.M.P. van der Aalst. Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities. In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 94-108. Springer-Verlag, Berlin, 2008.
 

456

I.T.P. Vanderfeesten, H.A. Reijers, J. Mendling, W.M.P. van der Aalst, and J. Cardoso. On a Quest for Good Process Models: The Cross-Connectivity Metric. In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 480-494. Springer-Verlag, Berlin, 2008.
 

457

I.T.P. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. Product Based Workflow Support: A Recommendation Service for Dynamic Workflow Execution. In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 571-574. Springer-Verlag, Berlin, 2008.
 

458

P. Wohed, N. Russell, A.H.M. ter Hofstede, B. Andersson, and W.M.P. van der Aalst. Open Source Workflow: A Viable Direction for BPM? In Z. Bellahsene and M. Léonard, editors, Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE'08), volume 5074 of Lecture Notes in Computer Science, pages 583-586. Springer-Verlag, Berlin, 2008.
 

459

R.S. Mans, M.H. Schonenberg, M. Song, W.M.P. van der Aalst, and P.J.M. Bakker. Process Mining in Healthcare: A Case Study. In L. Azevedo and A.R. Londral, editors, Proceedings of the International Conference on Health Informatics (HEALTHINF'08), pages 118-125. Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2008.
 

460

H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W.M.P. van der Aalst. Process Flexibility: A Survey of Contemporary Approaches. In J. Dietz, A. Albani, and J. Barjis, editors, Advances in Enterprise Engineering I, volume 10 of Lecture Notes in Business Information Processing, pages 16-30. Springer-Verlag, Berlin, 2008.
 

461

H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W.M.P. van der Aalst. Towards a Taxonomy of Process Flexibility. In Z. Bellahsene, C. Woo, and E. Hunt, editors, Proceedings of the Forum at the CAiSE'08 conference, volume 344 of CEUR Workshop Proceedings, pages 81-84. CEUR-WS.org, 2008.
 

462

F. Gottschalk, W.M.P. van der Aalst, M.H Jansen-Vullers, and M. La Rosa. Configurable Workflow Models. International Journal of Cooperative Information Systems, 17(2):223-255, 2008.
 

463

N. Russell and W.M.P. van der Aalst. newYAWL: Designing a Workflow Systems Using Coloured Petri Nets. In N. Sidorova, D. Moldt, and H. Rölke, editors, Proceedings of the International Workshop on Petri Nets and Distributed Systems (PNDS'08), pages 67-84. Xidian University, 2008.
 

464

W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn. Soundness of Workflow Nets with Reset Arcs is Undecidable! In J. Kleijn and M. Koutny, editors, Proceedings of the International Workshop on Concurrency Methods Issues and Applications (CHINA'08), pages 57-72. Xidian University, 2008.

 

465

H. Schonenberg, B. Weber, B.F. van Dongen, and W.M.P. van der Aalst. Supporting Flexible Processes Through Recommendations Based on History. In M. Dumas, M. Reichert, and M.C. Shan, editors, International Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 51-66. Springer-Verlag, Berlin, 2008.
 

466

M. de Leoni, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Visual Support for Work Assignment in Process-Aware Information Systems. In M. Dumas, M. Reichert, and M.C. Shan, editors, International Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 67-83. Springer-Verlag, Berlin, 2008.
 

467

A. Rozinat, M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge. Workflow Simulation for Operational Decision Support Using Design, Historic and State Information. In M. Dumas, M. Reichert, and M.C. Shan, editors, International Conference on Business Process Management (BPM 2008), volume 5240 of Lecture Notes in Computer Science, pages 196-211. Springer-Verlag, Berlin, 2008.
 

468

M. Song, C.W. Günther, and W.M.P. van der Aalst. Trace Clustering in Process Mining. In M. Castellanos, A.K.A. de Meideros, J. Mendling, and B. Weber, editors, Informal Proceedings of the Fourth Workshop on Business Process Intelligence (BPI 2008), pages 51-62. Politecnico di Milano, Italy, 2008.
 

469

M. Netjes, H. Reijers, and W.M.P. van der Aalst. On the Formal Generation of Process Redesigns. In C. Pautasso and J. Koehler, editors, Informal Proceedings of the International Workshop on Model-Driven Engineering For Business Process Management (MDE4BPM08), pages 49-60. Politecnico di Milano, Italy, 2008.
 

470

R. Mans, W.M.P. van der Aalst, N. Russell, and P.J.M. Bakker. Flexibility Schemes for Workflow Management Systems. In R. Lenz, M. Peleg, and M. Reichert, editors, Informal Proceedings of the Second International Workshop on Process-oriented Information Systems in Healthcare (ProHealth08), pages 50-61. Politecnico di Milano, Italy, 2008.
 

471

W.M.P. van der Aalst. Discovery, Verification and Conformance of Workflows with Cancellation. In H. Ehrig, R. Heckel, G. Rozenberg, and G. Taentzer, editors, Proceedings of the 4th International Conference on Graph Transformation (ICGT 2008), volume 5214 of Lecture Notes in Computer Science, pages 18-37. Springer-Verlag, Berlin, 2008.
 

472

W.M.P. van der Aalst. Process Mining: On the Balance Between Underfitting and Overfitting. In W. Bridewell, T. Calders, A.K. de Medeiros, S. Kramer, M. Pechenizkiy, and L. Todorovski, editors, Proceedings of the ECML-PKDD Workshop on Induction of Process Models (IPM08), pages 1-2. University of Antwerp, Belgium, 2008.
 

473

A. Rozinat, M. Veloso, and W.M.P. van der Aalst. Evaluating the Quality of Discovered Process Models. In W. Bridewell, T. Calders, A.K. de Medeiros, S. Kramer, M. Pechenizkiy, and L. Todorovski, editors, Proceedings of the ECML-PKDD Workshop on Induction of Process Models (IPM08), pages 45-52. University of Antwerp, Belgium, 2008.
 

474

F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers. Merging Event-driven Process Chains. In R. Meersman and Z. Tari, editors, Proceedings of the 16th International Conference on Cooperative Information Systems, CoopIS 2008, OTM 2008, Part I, volume 5331 of Lecture Notes in Computer Science, pages 418-426. Springer-Verlag, Berlin, 2008.
 

475

F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers. Mining Reference Process Models and their Configurations. In R. Meersman, Z. Tari, and P. Herrero, editors, Proceedings of the 3rd International Workshop on Enterprise Integration, Interoperability and Networking, EI2N08, OTM 2008 Workshops, volume 5333 of Lecture Notes in Computer Science, pages 263-272. Springer-Verlag, Berlin, 2008.
 

476

B.F. van Dongen, R.A. Crooy, and W.M.P. van der Aalst. Cycle Time Prediction: When Will This Case Finally Be Finished? In R. Meersman and Z. Tari, editors, Proceedings of the 16th International Conference on Cooperative Information Systems, CoopIS 2008, OTM 2008, Part I, volume 5331 of Lecture Notes in Computer Science, pages 319-336. Springer-Verlag, Berlin, 2008.
 

477

C. Bratosin, W.M.P. van der Aalst, N. Sidorova, and N. Trcka. A Reference Model for Grid Architectures and its Analysis. In R. Meersman and Z. Tari, editors, Proceedings of the International Conference on Grid Computing, High Performance and Distributed Applications, GADA 2008, OTM 2008, Part I, volume 5331 of Lecture Notes in Computer Science, pages 898-913. Springer-Verlag, Berlin, 2008.
 

478

W.M.P. van der Aalst and H.M.W. Verbeek. Process Mining in Web Services: The WebSphere Case. IEEE Bulletin of the Technical Committee on Data Engineering, 31(3):45-48, 2008.
 

479

W.M.P. van der Aalst. Challenges in Business Process Analysis. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 27-42. Springer-Verlag, Berlin, 2008.
 

480

I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. Case Handling Systems as Product Based Workflow Design Support. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 187-198. Springer-Verlag, Berlin, 2008.
 

481

M. Netjes, S. Limam-Mansar, H.A. Reijers, and W.M.P. van der Aalst. Performing Business Process Redesign with Best Practices: An Evolutionary Approach. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 199-211. Springer-Verlag, Berlin, 2008.
 

482

J. Cardoso, W.M.P. van der Aalst, C. Bussler, A. Sheth, and Kurt Sandkuhl. Inter-enterprise System and Application Integration: A Reality Check. In J. Filipe, J. Cordeiro, and J. Cardoso, editors, Enterprise Information Systems, volume 12 of Lecture Notes in Business Information Processing, pages 3-15. Springer-Verlag, Berlin, 2008.
 

483

A.K. Alves De Medeiros, W.M.P. van der Aalst, and C. Pedrinaci. Semantic Process Mining Tools: Core Building Blocks. In W. Golden, T. Acton, K. Conboy, H. van der Heijden, and V. Tuunainen, editors, 16th European Conference on Information Systems (ECIS'08), pages 1953-1964, Galway, Ireland, 2008.
 

484

M. Song and W.M.P. van der Aalst. Towards Comprehensive Support for Organizational Mining. Decision Support Systems, 46(1):300–-317, 2008.
 

485

A.K. Alves de Medeiros and W.M.P. van der Aalst. Process Mining towards Semantics. In T.S. Dillon, editor, Advances in Web Semantics I, volume 4891 of Lecture Notes in Computer Science, pages 35–-80. Springer-Verlag, Berlin, 2008.
 

486

W.M.P. van der Aalst and J. Billington, editors. Special Issue of Transactions on Petri Nets and Other Models of Concurrency (ToPNoC I), volume 5100 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2008.
 

487

H.M.W. Verbeek, A.J. Pretorius, W.M.P. van der Aalst, and J. van Wijk. Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization. In K. Jensen, W.M.P. van der Aalst, and J. Billington, editors, Transactions on Petri Nets and Other Models of Concurrency I, volume 5100 of Lecture Notes in Computer Science, pages 152-171. Springer-Verlag, Berlin, 2008.
 

488

N. Trcka, W.M.P. van der Aalst, C. Bratosin, and N. Sidorova. Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets. In T. Baker, A. Bui, and S. Tixeuil, editors, Proceedings of the International Conference on Principles of Distributed Systems (OPODIS 2008), volume 5401 of Lecture Notes in Computer Science, pages 538-541. Springer-Verlag, Berlin, 2008.
 

489

J. Mendling, B.F. van Dongen, and W.M.P. van der Aalst. Getting rid of OR-joins and Multiple Start Events in Business Process Models. Enterprise Information Systems, 2(4):403-419, 2008.
 

490

K.M. van Hee, A. Serebrenik, N. Sidorova, and W.M.P. van der Aalst. Working with the Past: Integrating History in Petri Nets. Fundamenta Informaticae, 88(3):387-409, 2008.
 

491

A. Dreiling, M. Rosemann, W.M.P. van der Aalst, and W. Sadiq. From Conceptual Process Models to Running Systems: A Holistic Approach for the Configuration of Enterprise System Processes. Decision Support Systems, 45(2):189-207, 2008.
 

492

M. El Kharbili, A.K.A. de Medeiros, S. Stein, and W.M.P. van der Aalst. Business Process Compliance Checking: Current State and Future Challenges. In P. Loos, M. Nuettgens, K. Turowski, and D. Werth, editors, Modellierung Betrieblicher Informationssysteme (MobIS 2008), volume 141 of Lecture Notes in Informatics, pages 107-113. Gesellschaft für Informatik, Bonn, 2008.
 

493

J. Mendling and W.M.P. van der Aalst. Advanced Reduction Rules for the Verification of EPC Business Process Models. In W. Hesse and A. Oberweis, editors, Proceedings of the Third AIS SIGSAND European Symposium on Analysis, Design, Use and Societal Impact of Information Systems (SIGSAND-EUROPE 2008), volume 129 of Lecture Notes in Informatics, pages 129-140. Gesellschaft für Informatik, Bonn, 2008.
 

494

C.W. Günther, M. Reichert, and W.M.P. van der Aalst. Supporting Flexible Processes with Adaptive Workflow and Case Handling. In Proceedings of the Seventeenth Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2008), pages 229-234. IEEE Computer Society Press, 2008.