Architecture of Information Systems - SIKS

Research Output

Filter
Chapter
2015

Business process quality management

Reijers, H. A., Mendling, J. & Recker, J., 2015, Handbook on Business Process Management 1. Brocke, vom, J. & Rosemann, M. (eds.). 2nd ed. Berlin: Springer, p. 167-185 (International Handbooks on Information Systems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

33 Citations (Scopus)
2 Downloads (Pure)

Business process simulation survival guide

Aalst, van der, W. M. P., 2015, Handbook on Business Process Management 1 second ed.. Brocke, vom, J. & Rosemann, M. (eds.). Berlin: Springer, p. 337-370 34 p. (International Handbooks on Information Systems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

41 Citations (Scopus)
1 Downloads (Pure)

Liquid business process model collections

Aalst, van der, W. M. P., La Rosa, M., Hofstede, ter, A. H. M. & Wynn, M. T., 2015, Modeling and Simulation-Based Systems Engineering Handbook. Gianni, D., D'Ambrogio, A. & Tolk, A. (eds.). Boca Raton: CRC Press, p. 401-423 (Engineering Management Book Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Viewing the internet of events through a process lens

Aalst, van der, W. M. P., 2015, BPM everywhere. Fischer, L. (ed.). Lighthouse Point: Future Strategies, p. 213-221 246 p. (BPM and workflow handbook series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

45 Downloads (Pure)
2014

An extensible framework for analysing resource behaviour using event logs

Pika, A., Wynn, M. T., Fidge, C. J., Hofstede, ter, A. H. M., Leyer, M. & Aalst, van der, W. M. P., 2014, Advanced Information Systems Engineering (26th International Conference, CAISE'14, Thessaloniki, Greece, June 16-20, 2014). Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H. & Horkoff, J. (eds.). Berlin: Springer, p. 564-579 (Lecture Notes in Computer Science; vol. 8484).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

19 Citations (Scopus)

Behavioral service substitution

Stahl, C. & Aalst, van der, W. M. P., 2014, Web Services Foundations. Bouguettaya, A., Sheng, Q. Z. & Daniel, F. (eds.). New York: Springer, p. 215-244

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)

Desire lines in big data

Aalst, van der, W. M. P., 2014, Encyclopedia of Social Network Analysis and Mining. Alhajj, R. & Rokne, J. (eds.). Berlin: Springer, p. 351-364

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2013

Analyzing vessel behavior using process mining

Maggi, F. M., Mooij, A. J. & Aalst, van der, W. M. P., 2013, Situation Awareness with Systems of Systems. Laar, van de, P., Tretmans, J. & Borth, M. (eds.). New York: Springer, p. 133-148

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

9 Citations (Scopus)
3 Downloads (Pure)

Beautiful workflows : a matter of taste?

Aalst, van der, W. M. P., Westergaard, M. & Reijers, H. A., 2013, The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday. Achten, P. & Koopman, P. W. M. (eds.). Berlin: Springer, p. 211-233 285 p. (Lecture Notes in Computer Science; vol. 8106).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

Business process modeling using Petri nets

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 116-161 (Lecture Notes in Computer Science; vol. 7480).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

12 Citations (Scopus)
11 Downloads (Pure)

Cost-informed operational process support

Wynn, M. T., Reijers, H. A., Adams, M., Ouyang, C., Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Rosemann, M. & Hoque, Z., 2013, Conceptual Modeling (32nd International Conference, ER 2013, Hong Kong, November 11-13, 2013. Proceedings). Ng, W., Storey, V. C. & Trujillo, J. (eds.). Berlin: Springer, p. 174-181 (Lecture Notes in Computer Science; vol. 8217).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

6 Citations (Scopus)
1 Downloads (Pure)

Discovering Petri nets from event logs

Aalst, van der, W. M. P. & Dongen, van, B. F., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 372-422 (Lecture Notes in Computer Science; vol. 7480).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

13 Citations (Scopus)
1 Downloads (Pure)

Grade/CPN : a tool and temporal logic for testing colored Petri net models in teaching

Westergaard, M. & Fahland, D., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (eds.). Berlin: Springer, p. 180-202 (Lecture Notes in Computer Science; vol. 8100).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

Measuring similarity between business process models

Dongen, van, B. F., Dijkman, R. M. & Mendling, J., 2013, Seminal Contributions to Information Systems Engineering : 25 years of CAiSE. Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C. & Sølvberg, A. (eds.). Berlin: Springer, p. 405-420

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Downloads (Pure)

Process mining in healthcare : data challenges when answering frequently posed questions

Mans, R. S., Aalst, van der, W. M. P., Vanwersch, R. J. B. & Moleman, A. J., 2013, Process Support and Knowledge Representation in Health Care (BPM 2012 Joint Workshop, ProHealth 2012/KR4HC 2012, Tallinn, Estonia, September 3, 2012, Revised Selected Papers). Lenz, R., Miksch, S., Peleg, M., Reichert, M., Riaño, D. & Teije, ten, A. (eds.). Berlin: Springer, p. 140-153 (Lecture Notes in Computer Science; vol. 7738).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

81 Citations (Scopus)

Profiling event logs to configure risk indicators for process delays

Pika, A., Aalst, van der, W. M. P., Fidge, C. J., Hofstede, ter, A. H. M. & Wynn, M. T., 2013, Advanced Information Systems Engineering (25th International Conference, CAiSE 2013, Valencia, Spain, June 17-21, 2013. Proceedings). Salinesi, C., Norrie, M. C. & Pastor, O. (eds.). Berlin: Springer, p. 465-481 (Lecture Notes in Computer Science; vol. 7908).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

13 Citations (Scopus)

Reflections on a decade of interorganizational workflow research

Aalst, van der, W. M. P. & Weske, M. H., 2013, Seminal contributions to information systems engineering : 25 Years of CAiSE. Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C. & Sølvberg, A. (eds.). Berlin: Springer, p. 307-313

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Specification and generation of adapters for system integration

Mooij, A. J. & Voorhoeve, M., 2013, Situation Awareness with Systems of Systems. Laar, van de, P., Tretmans, J. & Borth, M. (eds.). New York: Springer, p. 173-187

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

6 Citations (Scopus)

Strategies for modeling complex processes using colored Petri nets

Aalst, van der, W. M. P., Stahl, C. & Westergaard, M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 6-55 (Lecture Notes in Computer Science; vol. 7480).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

23 Citations (Scopus)
3 Downloads (Pure)

The P2P approach to interorganizational workflows

Aalst, van der, W. M. P. & Weske, M. H., 2013, Seminal Contributions to Information Systems Engineering : 25 Years of CAiSE. Bubenko, J., Krogstie, J., Pastor, O., Pernici, B., Rolland, C. & Sølvberg, A. (eds.). Berlin: Springer, p. 289-305

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

When can we trust a third party?

Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (eds.). Berlin: Springer, p. 106-122 (Lecture Notes in Computer Science; vol. 8100).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)
2012

Aggregating causal runs into workflow nets

Dongen, van, B. F., Desel, J. & Aalst, van der, W. M. P., 2012, Transactions on Petri Nets and Other Models of Concurrency VI. Jensen, K., Aalst, van der, W. M. P., Ajmone Marsan, M., Franceschinis, G., Kleijn, J. & Kristensen, L. M. (eds.). Berlin: Springer, p. 334-363 (Lecture Notes in Computer Science; vol. 7400).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)

A graphical approach to component-based and extensible model checking platforms

Westergaard, M. & Kristensen, L. M., 2012, Transactions on Petri Nets and Other Models of Concurrency V. Jensen, K., Donatelli, S. & Kleijn, J. (eds.). Berlin: Springer, p. 265-291 (Lecture Notes in Computer Science; vol. 6900).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Verifying parallel algorithms and programs using coloured Petri nets

Westergaard, M., 2012, Transactions on Petri Nets and Other Models of Concurrency VI. Jensen, K., Aalst, van der, W. M. P., Ajmone Marsan, M., Franceschinis, G., Kleijn, J. & Kristensen, L. M. (eds.). Berlin: Springer, p. 146-168 (Lecture Notes in Computer Science; vol. 7400).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Citations (Scopus)
2011

Behind the screen it happens : from DSS to TSR

Hee, van, K. M., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (ed.). Amsterdam: Centrum voor Wiskunde en Informatica, p. 152-161

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

1 Downloads (Pure)

Process mining from educational data

Trcka, N., Pechenizkiy, M. & Aalst, van der, W. M. P., 2011, Handbook of Educational Data Mining. Romero, C., Ventura, S., Pechenizkiy, M. & Baker, R. (eds.). London: CRC Press, p. 123-142 (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)
2010

Advanced synchronization

Wynn, M. T., Aalst, van der, W. M. P. & Hofstede, ter, A. H. M., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 103-119

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Beyond process mining : from the past to present and future

Aalst, van der, W. M. P., Pesic, M. & Song, M. S., 2010, Advanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings). Pernici, B. (ed.). Berlin: Springer, p. 38-52 (Lecture Notes in Computer Science; vol. 6051).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

70 Citations (Scopus)
1 Downloads (Pure)

Business process simulation

Aalst, van der, W. M. P., Nakatumba, J., Rozinat, A. & Russell, N. C., 2010, Handbook on Business Process Management 1 : introduction, methods and information systems. Brocke, vom, J. & Rosemann, M. (eds.). Berlin: Springer, p. 313-338 (International Handbooks on Information Systems).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

17 Downloads (Pure)

Business trend analysis by simulation

Schonenberg, H., Jian, J., Sidorova, N. & Aalst, van der, W. M. P., 2010, Advanced Information Systems Engineering (22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings). Pernici, B. (ed.). Berlin: Springer, p. 515-529 (Lecture Notes in Computer Science; vol. 6051).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 Citations (Scopus)
1 Downloads (Pure)

Configurable services in the cloud : supporting variability while enabling

Aalst, van der, W. M. P., 2010, On the Move to Meaningful Internet Systems: OTM 2010 (Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I). Meersman, R., Dillon, T. & Herrero, P. (eds.). Berlin: Springer, p. 8-25 (Lecture Notes in Computer Science; vol. 6426).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

28 Citations (Scopus)
1 Downloads (Pure)

Correctness ensuring process configuration : an approach based on partner synthesis

Aalst, van der, W. M. P., Lohmann, N., La Rosa, M. & Xu, J., 2010, Business Process Management (8th International Conference, BPM 2010, Hoboken NJ, USA, September 13-16, 2010. Proceedings). Hull, R., Mendling, J. & Tai, S. (eds.). Berlin: Springer, p. 95-111 (Lecture Notes in Computer Science; vol. 6336).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

30 Citations (Scopus)

Declarative workflow

Pesic, M., Schonenberg, H. & Aalst, van der, W. M. P., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 175-201

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

17 Citations (Scopus)

Discovering process models with genetic algorithms using sampling

Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2010, Knowledge-Based and Intelligent Information and Engineering Systems (14th International Conference, KES'2010, Cardiff, UK, September 8-10, 2010. Proceedings). Setchi, R., Jordanov, I., Howlett, R. J. & Jain, L. C. (eds.). Berlin: Springer, p. 41-50 (Lecture Notes in Computer Science; vol. 6276).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

7 Citations (Scopus)
1 Downloads (Pure)

Epilogue

Aalst, van der, W. M. P., Adams, M., Hofstede, ter, A. H. M. & Russell, N. C., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 591-596

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

History-dependent stochastic Petri nets

Schonenberg, H., Sidorova, N., Aalst, van der, W. M. P. & Hee, van, K. M., 2010, Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Berlin: Springer, p. 366-379 (Lecture Notes in Computer Science; vol. 5947).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

4 Citations (Scopus)
3 Downloads (Pure)

How the structuring of domain knowledge helps casual process modelers

Pinggera, J., Zugal, S., Weber, B., Fahland, D., Weidlich, M., Mendling, J. & Reijers, H. A., 2010, Conceptual Modeling - ER 2010 (29th International Conference on Conceptual Modeling, Vancouver BC, Canada, November 1-4, 2010. Proceedings). Parsons, J., Saeki, M., Shoval, P., Woo, C. & Wand, Y. (eds.). Berlin: Springer, p. 445-451 (Lecture Notes in Computer Science; vol. 6412).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

19 Citations (Scopus)

Introduction

Aalst, van der, W. M. P., Adams, M., Hofstede, ter, A. H. M. & Russell, N. C., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 3-19

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
1 Downloads (Pure)

Managing process model collections with AProMoRe

Fauvet, M. C., La Rosa, M., Sadegh, M., Alshareef, A., Dijkman, R. M., García-Bañuelos, L., Reijers, H. A., Aalst, van der, W. M. P., Dumas, M. & Mendling, J., 2010, Service-Oriented Computing (8th International Conference, ICSOC 2010, San Francisco CA, USA, December 7-10, 2010. Proceedings). Maglio, P. P., Weske, M., Yang, J. & Fabtinato, M. (eds.). Berlin: Springer, p. 699-701 (Lecture Notes in Computer Science; vol. 6470).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
5 Citations (Scopus)
75 Downloads (Pure)

Mining e-mail messages : uncovering interaction patterns and processes using e-mail logs (Chapter 11)

Aalst, van der, W. M. P. & Nikolov, A., 2010, Methodological advancements in intelligent information technologies : evolutionary trends. Sugumaran, V. (ed.). Information Science Reference, p. 212-233 (Advances in Intelligent Information Technologies (AIIT) Book Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

On-the-fly auditing of business processes

Hee, van, K. M., Hidders, A. J. H., Houben, G. J. P. M., Paredaens, J. & Thiran, P. A. P., 2010, Transactions on Petri Nets and Other Models of Concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (eds.). Berlin: Springer, p. 144-173 (Lecture Notes in Computer Science; vol. 6550).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
3 Downloads (Pure)

Process mining and simulation

Wynn, M. T., Rozinat, A., Aalst, van der, W. M. P., Hofstede, ter, A. H. M. & Fidge, C. J., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 437-457

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

11 Citations (Scopus)
1 Downloads (Pure)

Schedule-aware workflow management systems

Mans, R. S., Russell, N. C., Aalst, van der, W. M. P., Moleman, A. J. & Bakker, P. J. M., 2010, Transactions on Petri Nets and Other Models of Concurrency IV. Jensen, K., Donatelli, S. & Koutny, M. (eds.). Berlin: Springer, p. 121-143 (Lecture Notes in Computer Science; vol. 6550).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

12 Citations (Scopus)

The declare service

Pesic, M., Schonenberg, H. & Aalst, van der, W. M. P., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 327-343

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

Trace alignment in process mining: opportunities for process diagnostics

Jagadeesh Chandra Bose, R. P. & Aalst, van der, W. M. P., 2010, Business Process Management (8th International Conference, BPM 2010, Hoboken NJ, USA, September 13-16, 2010. Proceedings). Hull, R., Mendling, J. & Tai, S. (eds.). Berlin: Springer, p. 227-242 (Lecture Notes in Computer Science; vol. 6336).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
56 Citations (Scopus)
134 Downloads (Pure)

Verification

Verbeek, H. M. W. & Wynn, M. T., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 513-539

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)

YAWL4Healthcare

Mans, R. S., Aalst, van der, W. M. P., Russell, N. C., Moleman, A. J., Bakker, P. J. M. & Jaspers, M. W. M., 2010, Modern business process automation : YAWL and its support environment. Hofstede, ter, A. H. M., Aalst, van der, W. M. P., Adams, M. & Russell, N. (eds.). Berlin: Springer, p. 543-565

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Citations (Scopus)
2009

Abstractions in process mining : a taxonomy of patterns

Jagadeesh Chandra Bose, R. P. & Aalst, van der, W. M. P., 2009, Business Process Management (7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings). Dayal, U., Eder, J., Koehler, J. & Reijers, H. A. (eds.). Berlin: Springer, p. 159-175 (Lecture Notes in Computer Science; vol. 5701).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

89 Citations (Scopus)
2 Downloads (Pure)

A framework for linking and pricing no-cure-no-pay services

Hee, van, K. M., Verbeek, H. M. W., Stahl, C. & Sidorova, N., 2009, Transactions on Petri Nets and Other Models of Concurrency II. Jensen, K. & Aalst, van der, W. M. P. (eds.). Berlin: Springer, p. 192-207 (Lecture Notes in Computer Science; vol. 5460).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

3 Downloads (Pure)

Business process execution language

Aalst, van der, W. M. P., 2009, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). Springer, p. 288-289

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional