12/12/11

Publications Wil van der Aalst [2005]

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

251

W.M.P. van der Aalst and A.H.M. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4):245-275, 2005.
 

252

W.M.P. van der Aalst, M. Weske, and D. Grünbauer. Case Handling: A New Paradigm for Business Process Support. Data and Knowledge Engineering, 53(2):129-162, 2005.
 

253

W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen. Process Mining and Verification of Properties: An Approach based on Temporal Logic. BETA Working Paper Series, WP 136, Eindhoven University of Technology, Eindhoven, 2005.
 

254

N. Russell, W.M.P.van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Workflow Resource Patterns: Identification, Representation and Tool Support. In O. Pastor and J. Falcao e Cunha, editors, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), volume 3520 of Lecture Notes in Computer Science, pages 216–-232. Springer-Verlag, Berlin, 2005.
 

255

W.M.P. van der Aalst. Process Mining in CSCW Systems. In W. Shen and A. James et al., editors, Proceedings of the 9th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD 2005), pages 1-8. Coventry University/IEEE Computer Society Press, 2005.
 

256

B.F. van Dongen, W.M.P. van der Aalst, and H.M.W. Verbeek. Verification of EPCs: Using Reduction Rules and Petri Nets. In O. Pastor and J. Falcao e Cunha, editors, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), volume 3520 of Lecture Notes in Computer Science, pages 372-386. Springer-Verlag, Berlin, 2005.
 

257

W.M.P. van der Aalst. Pi Calculus Versus Petri Nets: Let Us Eat Humble Pie Rather Than Further Inflate the Pi Hype. BPTrends, 3(5):1-11, May 2005.
 

258

N. Mulyar and W.M.P. van der Aalst. Patterns in Colored Petri Nets. BETA Working Paper Series, WP 139, Eindhoven University of Technology, Eindhoven, 2005.
 

259

W.M.P. van der Aalst and A.K.A. de Medeiros. Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. Electronic Notes in Theoretical Computer Science, 121:3-21, 2005.
 

260

M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Facilitating Flexibility and Dynamic Exception Handling in Workflows. In O. Belo, J. Eder, O. Pastor, and J. Falcao e Cunha, editors, Proceedings of the CAiSE'05 Forum, pages 45-50. FEUP, Porto, Portugal, 2005.
 

261

B.F. van Dongen and W.M.P. van der Aalst. A Meta Model for Process Mining Data. In J. Casto and E. Teniente, editors, Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), volume 2, pages 309-320. FEUP, Porto, Portugal, 2005.
 

262

B. van Dongen and W.M.P. van der Aalst. Multi-Phase Mining: Aggregating Instances Graphs into EPCs and Petri Nets. In D. Marinescu, editor, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pages 35-58. Florida International University, Miami, Florida, USA, 2005.
 

263

H.M.W. Verbeek and W.M.P. van der Aalst. Analyzing BPEL Processes using Petri Nets. In D. Marinescu, editor, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pages 59-78. Florida International University, Miami, Florida, USA, 2005.
 

264

B. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A New Era in Process Mining Tool Support. In G. Ciardo and P. Darondeau, editors, Application and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005.
 

265

M.T. Wynn, D. Edmond, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 423-443. Springer-Verlag, Berlin, 2005.
 

266

W.M.P. van der Aalst, A.K. Alves de Medeiros, and A.J.M.M. Weijters. Genetic Process Mining. In G. Ciardo and P. Darondeau, editors, Applications and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 48-69. Springer-Verlag, Berlin, 2005.
 

267

J. Hidders, M. Dumas, W.M.P. van der Aalst, A. H.M. ter Hofstede, and J. Verelst. When are two workflows the same? In Proceedings of Computing: The 11th Australasian Theory Symposium (CATS'2005), volume 41 of Conferences in Research and Practice in Information Technology, pages 3-11, Newcastle, Australia, February 2005. Australian Computer Society.
 

268

S. Dustdar, T. Hoffmann, and W.M.P. van der Aalst. Mining of ad-hoc business processes with TeamLog. Data and Knowledge Engineering, 55(2):129-158, 2005.
 

269

A. Dreiling, M. Rosemann, W.M.P. van der Aalst, W. Sadiq, and S. Khan. Model-driven process configuration of enterprise systems. In O.K. Ferstl, E.J. Sinz, S. Eckert, and T. Isselhorst, editors, Wirtschaftsinformatik 2005. eEconomy, eGovernment, eSociety, pages 687-706, Heidelberg, Germany, 2005. Physica-Verlag.
 

270

M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, 2005.
 

271

W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Dumas. Patterns of Process Modeling. In M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede, editors, Process-Aware Information Systems: Bridging People and Software through Process Technology, pages 179-203. Wiley & Sons, 2005.
 

272

W.M.P. van der Aalst and A.J.M.M. Weijters. Process Mining. In M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede, editors, Process-Aware Information Systems: Bridging People and Software through Process Technology, pages 235-255. Wiley & Sons, 2005.
 

273

W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors. International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 2005.
 

274

W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, N. Russell, H.M.W. Verbeek, and P. Wohed. Life After BPEL? In M. Bravetti, L. Kloul, and G. Zavattaro, editors, WS-FM 2005, volume 3670 of Lecture Notes in Computer Science, pages 35-50. Springer-Verlag, Berlin, 2005.
 

275

H.A. Reijers and W.M.P. van der Aalst. The Effectiveness of Workflow Management Systems: Predictions and Lessons Learned. International Journal of Information Management, 25(5):458-472, 2005.
 

276

A. Rozinat and W.M.P. van der Aalst. Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In M. Castellanos and T. Weijters, editors, First International Workshop on Business Process Intelligence (BPI'05), pages 1-12, Nancy, France, September 2005.
 

277

A.K.A. de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Genetic Process Mining: A Basic Approach and its Challenges. In M. Castellanos and T. Weijters, editors, First International Workshop on Business Process Intelligence (BPI'05), pages 46-57, Nancy, France, September 2005.
 

278

M. Pesic and W.M.P. van der Aalst. Towards a Reference Model for Work Distribution in Workflow Management Systems. In E. Kindler and M. Nuettgens, editors, First International Workshop on Business Process Reference Models (BPRM'05), pages 30-44, Nancy, France, September 2005.
 

279

J. Recker, M. Rosemann, W.M.P. van der Aalst, and J. Mendling. On the Syntax of Reference Model Configuration: Transforming the C-EPC into Lawful EPC Models. In E. Kindler and M. Nuettgens, editors, First International Workshop on Business Process Reference Models (BPRM'05), pages 60-75, Nancy, France, September 2005.
 

280

W.M.P. van der Aalst, A. Dreiling, F. Gottschalk, M. Rosemann, and M.H. Jansen-Vullers. Towards a Reference Model for Work Distribution in Workflow Management Systems. In E. Kindler and M. Nuettgens, editors, First International Workshop on Business Process Reference Models (BPRM'05), pages 76-82, Nancy, France, September 2005.
 

281

W.M.P. van der Aalst, J.B. Jørgensen, and K.B. Lassen. Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System Paper. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, pages 22-39. Springer-Verlag, Berlin, 2005.
 

282

W.M.P. van der Aalst, H.T. de Beer, and B.F. van Dongen. Process Mining and Verification of Properties: An Approach based on Temporal Logic. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, pages 130-147. Springer-Verlag, Berlin, 2005.
 

283

L. Aldred, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. On the Notion of Coupling in Communication Middleware. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3761 of Lecture Notes in Computer Science, pages 1015-1033. Springer-Verlag, Berlin, 2005.
 

284

A. Rozinat and W.M.P. van der Aalst. Conformance Testing: Measuring the Alignment Between Event Logs and Process Models. BETA Working Paper Series, WP 144, Eindhoven University of Technology, Eindhoven, 2005.
 

285

W.M.P. van der Aalst and K.B. Lassen. Translating Workflow Nets to BPEL4WS. BETA Working Paper Series, WP 145, Eindhoven University of Technology, Eindhoven, 2005.
 

286

M. Pesic and W.M.P. van der Aalst. Modeling Work Distribution Mechanisms using Colored Petri Nets. BETA Working Paper Series, WP 146, Eindhoven University of Technology, Eindhoven, 2005.
 

287

C.W. Guenther and W.M.P. van der Aalst. Process Mining in Case Handling Systems. BETA Working Paper Series, WP 150, Eindhoven University of Technology, Eindhoven, 2005.
 

288

N. Mulyar and W.M.P. van der Aalst. Towards a Pattern Language for Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 39-48, Aarhus, Denmark, October 2005. University of Aarhus.
 

289

I. Vanderfeesten, W.M.P. van der Aalst, and H.A. Reijers. Modelling a Product Based Workflow System in CPN tools. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 99-118, Aarhus, Denmark, October 2005. University of Aarhus.
 

290

M. Pesic and W.M.P. van der Aalst. Modeling Work Distribution Mechanisms Using Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 157-176, Aarhus, Denmark, October 2005. University of Aarhus.
 

291

C.W. Guenther and W.M.P. van der Aalst. Modeling the Case Handling Principles with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 211-230, Aarhus, Denmark, October 2005. University of Aarhus.
 

292

M. Netjes, W.M.P. van der Aalst, and H.A. Reijers. Analysis of Resource-Constrained Processes with Colored Petri Nets. In K. Jensen, editor, Proceedings of the Sixth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2005), volume 576 of DAIMI, pages 251-266, Aarhus, Denmark, October 2005. University of Aarhus.
 

293

M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Introduction. In M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede, editors, Process-Aware Information Systems: Bridging People and Software through Process Technology, pages 3-20. Wiley & Sons, 2005.
 

294

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. BPM Center Report BPM-05-15, BPMcenter.org, 2005.
 

295

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 (extended version). BPM Center Report BPM-05-25, BPMcenter.org, 2005.
 

296

P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, and N. Russell. Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams. In L. Delcambre, C. Kop, H.C. Mayr, J. Mylopoulos, and O. Pastor, editors, 24nd International Conference on Conceptual Modeling (ER 2005), volume 3716 of Lecture Notes in Computer Science, pages 63-78. Springer-Verlag, Berlin, 2005.
 

297

N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Data Patterns: Identification, Representation and Tool Support. In L. Delcambre, C. Kop, H.C. Mayr, J. Mylopoulos, and O. Pastor, editors, 24nd International Conference on Conceptual Modeling (ER 2005), volume 3716 of Lecture Notes in Computer Science, pages 353-368. Springer-Verlag, Berlin, 2005.
 

298

C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede. WofBPEL: A Tool for Automated Analysis of BPEL Processes. In B. Benatallah, F. Casati, and P. Traverso, editors, Proceedings of Service-Oriented Computing (ICSOC 2005), volume 3826 of Lecture Notes in Computer Science, pages 484-489. Springer-Verlag, Berlin, 2005.
 

299

W.M.P. van der Aalst. Business Alignment: Using Process Mining as a Tool for Delta Analysis and Conformance Testing. Requirements Engineering Journal, 10(3):198-211, 2005.
 

300

W.M.P. van der Aalst, H.A. Reijers, and M. Song. Discovering Social Networks from Event Logs. Computer Supported Cooperative work, 14(6):549-593, 2005.
 

301

J. Recker, M. Rosemann, and W.M.P. van der Aalst. On the User Perception of Configurable Reference Process Models – Initial Insights. In B. Campbell, J. Underwood, and D. Bunker, editors, Proceedings of the 16th Australasian Conference on Information Systems (ACIS'2005), pages 1-10, Sydney, Australia, November 2005. Australasian Chapter of the Association for Information Systems.
 

302

A. Dreiling, M. Rosemann, and W.M.P. van der Aalst. From Conceptual Process Models to Running Workflows: A Holistic Approach for the Configuration of Enterprise Systems. In Pacific Asia Conference on Information Systems (PACIS 2005), pages 363-376, Bangkok, Thailand, 2005. Gesellschaft fuer Informatik.
 

303

A. Dreiling, M. Chiang, M. Rosemann, and W.M.P. van der Aalst. Towards an Understanding of Model-Driven Process Configuration and its Support at Large. In N.C. Romano, editor, Americas Conference on Information Systems (AMCIS 2005), pages 2084-2092, Omaha, Nebraska, 2005. Association for Information Systems.
 

304

J. Mendling, J. Recker, M. Rosemann, and W.M.P. van der Aalst. Towards the Interchange of Configurable EPCs: An XML-based Approach for Reference Model Configuration. In J. Desel and U. Frank, editors, Workshop on Enterprise Modelling and Information Systems Architectures (EMISA 2005), volume 75 of Lecture Notes in Informatics, pages 8-21, Klagenfurt, Austria, October 2005. Gesellschaft fuer Informatik, Bonn.
 

305

F. Gottschalk, M. Rosemann, and W.M.P. van der Aalst. My Own Process: Providing Dedicated Views on EPCs. In M. Nuettgens and F.J. Rump, editors, Proceedings of Fourth Workshop on Event-Driven Process Chains (WI-EPK 2005), pages 156-175, Hamburg, Germany, December 2005. Gesellschaft fuer Informatik, Bonn.
 

306

U. Riss, A. Rickayzen, H. Maus, and W.M.P. van der Aalst. Challenges for Business Process and Task Management. Journal of Universal Knowledge Management, 0(2):77-100, 2005.
 

307

W.M.P. van der Aalst. Measuring Business Alignment with Process Mining. In T. Mahapatra and N. Roy, editors, Business Processes: Mining and Management - An Introduction, ICFAI Books, pages 143-152. ICFAI University Press, 2005.