12/12/11

Publications Wil van der Aalst [2007]

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

361

M. Rosemann and W.M.P. van der Aalst. A Configurable Reference Modelling Language. Information Systems, 32(1):1-23, 2007.
 

362

W.M.P. van der Aalst, M. Rosemann, and M. Dumas. Deadline-based Escalation in Process-Aware Information Systems. Decision Support Systems, 43(2):492-511, 2007.
 

363

W.M.P. van der Aalst. Process Mining: Business Intelligence Software Wordt Eindelijk Intelligent. Business Process Magazine, 13(2):28-31, 2007.
 

364

I. Vanderfeesten, J. Cardoso, J. Mendling, H.A. Reijers, and W.M.P. van der Aalst. Quality Metrics for Business Process Models. In L. Fischer, editor, BPM and Workflow Handbook 2007, pages 179-190. Future Strategies Inc., Lighthouse Point, Florida, USA, 2007.
 

365

H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants. Computer Journal, 50(3):294-314, 2007.
 

366

K. Bisgaard Lassen, B.F. van Dongen, and W.M.P. van der Aalst. Translating Message Sequence Charts to other Process Languages using Process Mining. BETA Working Paper Series, WP 207, Eindhoven University of Technology, Eindhoven, 2007.
 

367

S. Rinderle-Ma and W.M.P. van der Aalst. Life-Cycle Support for Staff Assignment Rules in Process-Aware Information Systems. BETA Working Paper Series, WP 213, Eindhoven University of Technology, Eindhoven, 2007.
 

368

W. van der Aalst. BPM and Workflow Analysis. BPTrends, 5(4):1-2, April 2007.
 

369

E. Liu, A. Kumar, and W.M.P. van der Aalst. A Formal Modeling Approach for Supply Chain Event Management. Decision Support Systems, 43(3):761-778, 2007.
 

370

W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, and H.M.W. Verbeek, editors. Advances in Business Process Management, Special Issue of Data and Knowledge Engineering, Volume 61, Issue 1. Elsevier Science Publishers, Amsterdam, 2006.
 

371

W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, and H.M.W. Verbeek. Business Process Management: Where Business Processes and Web Services Meet. Data and Knowledge Engineering, 61(1):1-5, 2007.
 

372

C. Ouyang, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and M. La Rosa. Service-Oriented Processes: An Introduction to BPEL. In J. Cardoso, editor, Chapter 8: Semantic Web Services: Theory, Tools and Applications, pages 155-188. IGI Publishing, Hershey, PA, USA, 2007.
 

373

W.M.P. van der Aalst, H.A. Reijers, A.J.M.M. Weijters, B.F. van Dongen, A.K. Alves de Medeiros, M. Song, and H.M.W. Verbeek. Business Process Mining: An Industrial Application. Information Systems, 32(5):713-732, 2007.
 

374

A. Rozinat, I.S.M. de Jong, C.W. Günther, and W.M.P. van der Aalst. Process Mining of Test Processes: A Case Study. BETA Working Paper Series, WP 220, Eindhoven University of Technology, Eindhoven, 2007.
 

375

A. Rozinat, R.S. Mans, M. Song, and W.M.P. van der Aalst. Discovering Simulation Models. BETA Working Paper Series, WP 223, Eindhoven University of Technology, Eindhoven, 2007.
 

376

W.M.P. van der Aalst, B.F. van Dongen, C.W. Günther, R.S. Mans, A.K. Alves de Medeiros, A. Rozinat, V. Rubin, M. Song, H.M.W. Verbeek, and A.J.M.M. Weijters. ProM 4.0: Comprehensive Support for Real Process Analysis. In J. Kleijn and A. Yakovlev, editors, Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), volume 4546 of Lecture Notes in Computer Science, pages 484-494. Springer-Verlag, Berlin, 2007.
 

377

K.M. van Hee, A. Serebrenik, N. Sidorova, and W.M.P. van der Aalst. History-Dependent Petri Nets. In J. Kleijn and A. Yakovlev, editors, Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), volume 4546 of Lecture Notes in Computer Science, pages 164-183. Springer-Verlag, Berlin, 2007.
 

378

B.F. van Dongen, N. Busi, G.M. Pinna, and W.M.P. van der Aalst. An Iterative Algorithm for Applying the Theory of Regions in Process Mining. In W. Reisig, K. van Hee, and K. Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), pages 36-55. Publishing House of University of Podlasie, Siedlce, Poland, 2007.
 

379

K.B. Lassen, B.F. van Dongen, and W.M.P. van der Aalst. Translating Message Sequence Charts to Other Process Languages Using Process Mining. In D. Moldt, F. Kordon, K. van Hee, J.M. Colom, and R. Bastide, editors, Proceedings of the Workshop on Petri Nets and Software Engineering (PNSE'07), pages 82-97. Publishing House of University of Podlasie, Siedlce, Poland, 2007.
 

380

H.M.W. Verbeek, A.J. Pretorius, W.M.P. van der Aalst, and J.J. van Wijk. On Petri-Net Synthesis and Attribute-Based Visualization. In D. Moldt, F. Kordon, K. van Hee, J.M. Colom, and R. Bastide, editors, Proceedings of the Workshop on Petri Nets and Software Engineering (PNSE'07), pages 127-142. Publishing House of University of Podlasie, Siedlce, Poland, 2007.
 

381

W.M.P. van der Aalst, M. Netjes, and H.A. Reijers. Chapter 4: Supporting the Full BPM Life-Cycle Using Process Mining and Intelligent Redesign. In K. Siau, editor, Contemporary Issues in Database Design and Information Systems Development, pages 100-132. IGI Global, Hershey, USA, 2007.
 

382

J. Mendling and W.M.P. van der Aalst. Formalization and Verification of EPCs with OR-Joins Based on State and Context. In J. Krogstie, A. Opdahl, and G. Sindre, editors, Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), volume 4495 of Lecture Notes in Computer Science, pages 439-453. Springer-Verlag, Berlin, 2007.
 

383

L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Communication Abstractions for Distributed Business Processes. In J. Krogstie, A. Opdahl, and G. Sindre, editors, Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE'07), volume 4495 of Lecture Notes in Computer Science, pages 409-423. Springer-Verlag, Berlin, 2007.
 

384

M. Pesic and W.M.P. van der Aalst. Modeling Work Distribution Mechanisms using Colored Petri Nets. International Journal on Software Tools for Technology Transfer, 9(3-4):327-352, 2007.
 

385

W.M.P. van der Aalst. Trends in Business Process Analysis: From Verification to Process Mining. In J. Cardoso, J. Cordeiro, and J. Filipe, editors, Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), pages 12-22. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira, Portugal, 2007.
 

386

I. Vanderfeesten, H.A. Reijers, and W.M.P. van der Aalst. An Evaluation of Case Handling Systems for Product Based Workflow Design. In J. Cardoso, J. Cordeiro, and J. Filipe, editors, Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), Volume on Information Systems Analysis and Specification, pages 39-46. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira, Portugal, 2007.
 

387

M. Netjes, S. Limam Mansar, H.A. Reijers, and W.M.P. van der Aalst. An Evolutionary Approach for Business Process Redesign. In J. Cardoso, J. Cordeiro, and J. Filipe, editors, Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), Volume on Information Systems Analysis and Specification, pages 47-54. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira, Portugal, 2007.
 

388

W.M.P. van der Aalst and C.W. Günther. Finding Structure in Unstructured Processes: The Case for Process Mining. In T. Basten, G. Juhas, and S. Shukla, editors, Proceedings the 7th International Conference on Applications of Concurrency to System Design (ACSD 2007), pages 3-12, Bratislava, Slovak Republic, 2007. IEEE Computer Society Press, Los Alamitos, California.
 

389

C. Bratosin and W.M.P. van der Aalst. Workflow Management Systems for Grid Computing. ERCIM News, 70:17-18, 2007.
 

390

W.M.P. van der Aalst. Exploring the CSCW Spectrum Using Process Mining. International Journal of Advanced Engineering Informatics, 21(2):191-199, 2007.
 

391

W.M.P. van der Aalst and M. Pesic. Chapter 2: Specifying and Monitoring Service Flows: Making Web Services Process-Aware. In L. Baresi and E. Di Nitto, editors, Test and Analysis of Web Services, pages 11-56. Springer-Verlag, Berlin, 2007.
 

392

B.F. van Dongen, M.H. Jansen-Vullers, H.M.W. Verbeek, and W.M.P. van der Aalst. Verification of the SAP Reference Models Using EPC Reduction, State-space Analysis, and Invariants. Computers in Industry, 58(6):578-601, 2007.
 

393

F. Gottschalk, W.M.P. van der Aalst, and H.M. Jansen-Vullers. Configurable Process Models: A Foundational Approach. In J. Becker and P. Delfmann, editors, Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models, pages 59-78. Physica-Verlag, Springer, Heidelberg, Germany, 2007.
 

394

L. Wen, W.M.P. van der Aalst, J. Wang, and J. Sun. Mining process models with non-free-choice constructs. Data Mining and Knowledge Discovery, 15(2):145-180, 2007.
 

395

E. Bacarin, W.M.P. van der Aalst, E. Madeira, and C.B. Medeiros. Towards Modeling and Simulating a Multi-party Negotiation Protocol with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 29-48, Aarhus, Denmark, October 2007. University of Aarhus.
 

396

C. Bratosin, W.M.P. van der Aalst, and N. Sidorova. Modeling Grid Workflows with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 67-86, Aarhus, Denmark, October 2007. University of Aarhus.
 

397

N. Russell, A.H.M. ter Hofstede, and W.M.P. van der Aalst. newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 107-126, Aarhus, Denmark, October 2007. University of Aarhus.
 

398

R.S. Mans, W.M.P. van der Aalst, P.J.M. Bakker, A.J. Moleman, K.B. Lassen, and J.B. Jørgensen. From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In K. Jensen, editor, Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, pages 187-206, Aarhus, Denmark, October 2007. University of Aarhus.
 

399

F. Gottschalk, W.M.P. van der Aalst, and M.H. Jansen-Vullers. SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model. In G. Alonso, P. Dadam, and M. Rosemann, editors, International Conference on Business Process Management (BPM 2007), volume 4714 of Lecture Notes in Computer Science, pages 262-270. Springer-Verlag, Berlin, 2007.
 

400

C.W. Günther and W.M.P. van der Aalst. Fuzzy Mining: Adaptive Process Simplification Based on Multi-perspective Metrics. In G. Alonso, P. Dadam, and M. Rosemann, editors, International Conference on Business Process Management (BPM 2007), volume 4714 of Lecture Notes in Computer Science, pages 328-343. Springer-Verlag, Berlin, 2007.
 

401

V. Rubin, C.W. Günther, W.M.P. van der Aalst, E. Kindler, B.F. van Dongen, and W. Schäfer. Process Mining Framework for Software Processes. In Q. Wang, D. Pfahl, and D.M. Raffo, editors, International Conference on Software Process, Software Process Dynamics and Agility (ICSP 2007), volume 4470 of Lecture Notes in Computer Science, pages 169-181. Springer-Verlag, Berlin, 2007.
 

402

J. Chen and W.M.P. van der Aalst. On Scientific Workflow. TCSC Newsletter, IEEE Technical Committee on Scalable Computing, 9(1), 2007.
 

403

K. Rouibah, S. Rouibah, and W.M.P. van der Aalst. Combining Workflow and PDM Based on the Workflow Management Coalition and STEP standards: The Case of Axalant. International Journal of Computer Integrated Manufacturing, 20(8):811-827, 2007.
 

404

W.M.P. van der Aalst. Workflow Patronen: Gereedschap voor het Evalueren van BPM Software. Business Process Magazine, 13(4):22-27, 2007.
 

405

W.M.P. van der Aalst, F. Leymann, and W. Reisig. The Role of Business Processes in Service Oriented Architectures (Editorial). International Journal of Business Process Integration and Management, 2(2):75-80, 2007.
 

406

W.M.P. van der Aalst, M. Beisiegel, K.M. van Hee, D. König, and C. Stahl. An SOA-Based Architecture Framework. International Journal of Business Process Integration and Management, 2(2):91-101, 2007.
 

407

W.M.P. van der Aalst, F. Leymann, and W. Reisig, editors. The Role of Business Processes in Service Oriented Architectures, Special Issue of the International Journal of Business Process Integration and Management, Volume 2, Number 2. Inderscience Publishers, 2007.
 

408

G. Leonardi, S. Panzarasa, S. Quaglini, M. Stefanelli, and W.M.P. van der Aalst. Interacting Agents through a Web-based Health Serviceflow Management System. Journal of Biomedical Informatics, 40(5):486-499, 2007.
 

409

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 M. Reichert, R. Lenz, and M. Peleg, editors, Informal Proceedings of the International Workshop on Process-Oriented Information Systems in Healthcare (ProHealth 2007), pages 17-28. QUT, Brisbane, Australia, 2007.
 

410

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 M. Castellanos, J. Mendling, and B. Weber, editors, Informal Proceedings of the International Workshop on Business Process Intelligence (BPI 2007), pages 7-18. QUT, Brisbane, Australia, 2007.
 

411

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 M. Castellanos, J. Mendling, and B. Weber, editors, Informal Proceedings of the International Workshop on Business Process Intelligence (BPI 2007), pages 55-66. QUT, Brisbane, Australia, 2007.
 

412

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 M. Castellanos, J. Mendling, and B. Weber, editors, Informal Proceedings of the International Workshop on Business Process Intelligence (BPI 2007), pages 73-78. QUT, Brisbane, Australia, 2007.
 

413

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 J. Becker and P. Delfmann, editors, Informal Proceedings of the 10th International Workshop on Reference Modeling (RefMod 2007), pages 13-24. QUT, Brisbane, Australia, 2007.
 

414

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, Informal Proceedings the 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), pages 119-134. QUT, Brisbane, Australia, 2007.
 

415

A.K. Alves de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Genetic Process Mining: An Experimental Evaluation. Data Mining and Knowledge Discovery, 14(2):245-304, 2007.
 

416

B. Weber, B.F. van Dongen, M. Pesic, C.W. Günther, and W.M.P. van der Aalst. Supporting Flexible Processes Through Recommendations Based on History. BETA Working Paper Series, WP 212, Eindhoven University of Technology, Eindhoven, 2007. 
 

417

L.J. Zhang, W.M.P. van der Aalst, and P. Hung, editors. IEEE International Conference on Services Computing (SCC 2007). IEEE Computer Society, 2007.
 

418

J. Mendling, B.F. van Dongen, and W.M.P. van der Aalst. Getting Rid of the OR-Join in Business Process Models. In M. Spies and M.B. Blake, editors, Proceedings of the Eleventh IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pages 3-14. IEEE Computer Society, 2007.
 

419

M. Pesic, H. Schonenberg, and W.M.P. van der Aalst. DECLARE: Full Support for Loosely-Structured Processes. In M. Spies and M.B. Blake, editors, Proceedings of the Eleventh IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pages 287-298. IEEE Computer Society, 2007.
 

420

M. Pesic, M. H. Schonenberg, N. Sidorova, and W.M.P. van der Aalst. Constraint-Based Workflow Models: Change Made Easy. In F. Curbera, F. Leymann, and M. Weske, editors, Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), volume 4803 of Lecture Notes in Computer Science, pages 77-94. Springer-Verlag, Berlin, 2007.
 

421

M. Adams, A.H.M. ter Hofstede, W.M.P. van der Aalst, and D. Edmond. Dynamic, Extensible and Context-Aware Exception Handling for Workflows. In F. Curbera, F. Leymann, and M. Weske, editors, Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), volume 4803 of Lecture Notes in Computer Science, pages 95-112. Springer-Verlag, Berlin, 2007.
 

422

J. Mendling, G. Neumann, and W.M.P. van der Aalst. Understanding the Occurrence of Errors in Process Models Based on Metrics. In F. Curbera, F. Leymann, and M. Weske, editors, Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), volume 4803 of Lecture Notes in Computer Science, pages 113-130. Springer-Verlag, Berlin, 2007.
 

423

N. Mulyar, L. Aldred, and W.M.P. van der Aalst. The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. In P. Felber, C. Pu, and A. van Moorsel, editors, Proceedings of the OTM Conference on Distributed Objects and Applications (DOA 2007), volume 4803 of Lecture Notes in Computer Science, pages 735-753. Springer-Verlag, Berlin, 2007.
 

424

A.K. Alves de Medeiros, C. Pedrinaci, W.M.P. van der Aalst, J. Domingue, M. Song, A. Rozinat, B. Norton, and L. Cabral. An Outlook on Semantic Business Process Mining and Monitoring. In R. Meersman, Z. Tari, and P. Herrero, editors, Proceedings of the OTM Workshop on Semantic Web and Web Semantics (SWWS '07), volume 4806 of Lecture Notes in Computer Science, pages 1244-1255. Springer-Verlag, Berlin, 2007.
 

425

J. Mendling, G. Neumann, and W.M.P. van der Aalst. On the Correlation between Process Model Metrics and Errors. In J. Grundy, S. Hartmann, A.H.F. Laender, L. Maciaszek, and J.F. Roddick, editors, Proceedings of the Twenty-Sixth International Conference on Conceptual Modeling - ER 2007 - Tutorials, Posters, Panels and Industrial Contributions, volume 83 of Conferences in Research and Practice in Information Technology series (CRPIT), pages 173-178, Auckland, New Zealand, 2007. Australian Computer Society.
 

426

A.J.M.M. Weijters, W.M.P. van der Aalst, B. van Dongen, C. Günther, R. Mans, A.K. Alves de Medeiros, A. Rozinat, M. Song, and E. Verbeek. Process Mining with ProM. In M. Dastani and E. de Jong, editors, Proceedings of the 19th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2007), 2007.
 

427

C. Ouyang, M. Dumas, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Pattern-Based Translation of BPMN Process Models to BPEL Web Services. International Journal of Web Services Research, 5(1):42-62, 2007.
 

428

N. Mulyar, W.M.P. van der Aalst, and M. Peleg. A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modeling Languages. Journal of the American Medical Informatics Association, 14(6):781-787, 2007.
 

429

N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. All That Glitters Is Not Gold: Selecting the Right Tool for Your BPM Needs. Cutter IT Journal, 20(11):31-38, 2007.
 

430

J. Mendling, B.F. van Dongen, and W.M.P. van der Aalst. On the Degree of Behavioral Similarity between Business Process Models. In M. Nuettgens, F.J. Rump, and A. Gadatsch, editors, Proceedings of Sixth Workshop on Event-Driven Process Chains (WI-EPK 2007), pages 39-58, St. Augustin, November 2007. Gesellschaft fuer Informatik, Bonn.
 

431

N. Russell, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Chapter 4: All That Glitters Is Not Gold - Selecting the Right Tool for Your BPM Needs. In Innovations in Business Process Thinking, pages 143-156. Cutter Information LLC, Arlington, MA, USA, 2007.
 

432

O. Brousseau, B. Dooley, M. Fung-A-Fat, M. Guttman, M. Hartges, B. Kiepuszewski, D. Krafzig, M. Kunz, K Orr F. Moesch, J Parodi, N Russell, T Stahl D Slama, B Stokalski, M Strozanski, K Swenson, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Innovations in Business Process Thinking. Cutter Information LLC, Arlington, MA, USA, 2007.
 

433

M. Song and W.M.P. van der Aalst. Supporting Process Mining by Showing Events at a Glance. In K. Chari and A. Kumar, editors, Proceedings of 17th Annual Workshop on Information Technologies and Systems (WITS 2007), pages 139-145, Montreal, Canada, December 2007.
 

434

C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. Science of Computer Programming, 67(2-3):162-198, 2007.