Ensuring correctness during process configuration via partner synthesis

Information Systems

Volumn 37, Issue 6, 2012, Pages 574-592

  Van Der Aalst, Wil M P ^a,c   Lohmann, Niels ^b   La Rosa, Marcello ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF ROSTOCK   (Germany)

^c QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

C YAWL; Configurable process model; Operating guideline; Petri net

Indexed keywords

C-YAWL; CONFIGURABLE; CONFIGURATION PROCESS; CUSTOMER ORDERS; DESIGN TIME; INDIVIDUAL CONFIGURATION; LOCAL VARIATIONS; OPERATING GUIDELINES; PROCESS CONFIGURATION; PROCESS MODEL; REFERENCE MODELS; SALES PROCESS;

HARDWARE; INFORMATION SYSTEMS;

PETRI NETS;

EID: 84857919395     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2011.08.004     Document Type: Article

References (42)

1. W.M.P. van der Aalst, and C. Stahl Modeling Business Processes: A Petri Net Oriented Approach 2011 MIT Press Cambridge, MA
2. F. Leymann, and D. Roller Production Workflow: Concepts and Techniques 1999 Prentice-Hall PTR Upper Saddle River, NJ, USA
3. M. Rosemann, and W.M.P. van der Aalst A configurable reference modelling language Information Systems 32 1 2007 1 23 (Pubitemid 44537594)
4. M. La Rosa, M. Dumas, A. ter Hofstede, J. Mendling, Configurable multi-perspective business process models, Information Systems 36 (2) 2011.
5. W.M.P. van der Aalst, M. Dumas, F. Gottschalk, A. ter Hofstede, M. Rosa, and J. Mendling Preserving correctness during business process model configuration Formal Aspects of Computing 22 3 2010 459 482
6. F. Gottschalk, W.M.P. van der Aalst, M. Jansen-Vullers, and M.L. Rosa Configurable workflow models International Journal of Cooperative Information Systems 17 2 2008 177 221
7. T. Curran, and G. Keller SAP R/3 Business Blueprint: Understanding the Business Process Reference Model 1997 Upper Saddle River
8. P. Fettke, and P. Loos Classification of reference models - a methodology and its application Information Systems and e-Business Management 1 1 2003 35 53
9. S. Huan, S. Sheoran, and G. Wang A review and analysis of supply chain operations reference (SCOR) model Supply Chain Management - An International Journal 9 1 2004 23 29 (Pubitemid 38588587)
10. R. Addy Effective IT Service Management. To ITIL and Beyond! 2007 Springer-Verlag Berlin
11. K. Czarnecki, and M. Antkiewicz Mapping features to models: a template approach based on superimposed variants Proceedings of the 4th International Conference on Generative Programming and Component Engineering 2005 Springer-Verlag Berlin 422 437
12. J. Becker, P. Delfmann, and R. Knackstedt Adaptive reference modeling: integrating configurative and generic adaptation techniques for information models J. Becker, P. Delfmann, Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models 2007 Physica-Verlag, Springer Heidelberg, Germany 27 58
13. A. Hallerbach, T. Bauer, and M. Reichert Guaranteeing soundness of configurable process variants in Provop CEC 2009 IEEE 98 105
14. A. Hallerbach, T. Bauer, and M. Reichert Capturing variability in business process models: the Provop approach Journal of Software Maintenance and Evolution: Research and Practice 22 67 2010 519 546
15. K. Wolf Does my Service Have Partners? K. Jensen, W.M.P. van der Aalst, Transactions on Petri Nets and Other Models of Concurrency II, Lecture Notes in Computer Science vol. 5460 2009 Springer-Verlag Berlin 152 171
16. N. Lohmann, and D. Weinberg Wendy: a tool to synthesize partners for services J. Lilius, W. Penczek, International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Lecture Notes in Computer Science vol. 6128 2010 Springer-Verlag 297 307
17. N. Lohmann, P. Massuthe, K. Wolf, Operating guidelines for finite-state services, in: J. Kleijn, A. Yakovlev (Eds.), 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 2529, 2007, Proceedings, Lecture Notes in Computer Science, vol. 4546, Springer-Verlag, Berlin, 2007, pp. 321341.
18. I. Reinhartz-Berger, P. Soffer, and A. Sturm Organizational reference models: supporting an adequate design of local business processes International Journal of Business Process Integrations and Management 4 2 2009 134 149
19. I. Reinhartz-Berger, P. Soffer, and A. Sturm Extending the adaptability of reference models IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans 40 5 2011 1045 1056
20. A. Schnieders, F. Puhlmann, Variability mechanisms in e-business process families, in: W. Abramowicz, H. Mayr (Eds.), Proceedings of the 9th International Conference on Business Information Systems (BIS06), LNI, GI, vol. 85, 2006, pp. 583601.
21. W.M.P. van der Aalst, K. Hee, A. ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve, and M. Wynn Soundness of workflow nets: classification, decidability, and analysis Formal Aspects of Computing 23 3 2011 333 363
22. M. Rosa, W.M.P. van der Aalst, M. Dumas, and A. ter Hofstede Questionnaire-based variability modeling for system configuration Software and Systems Modeling 8 2 2009 251 274
23. W.M.P. van der Aalst Process-oriented architectures for electronic commerce and interorganizational workflow Information Systems 24 8 2000 639 671
24. P. Massuthe, W. Reisig, and K. Schmidt An operating guideline approach to the SOA Annals of Mathematics, Computing & Teleinformatics 1 3 2005 35 43
25. E. Kindler, A. Martens, and W. Reisig Inter-operability of workflow applications: local criteria for global soundness W.M.P. van der Aalst, J. Desel, A. Oberweis, Business Process Management: Models, Techniques, and Empirical Studies, Lecture Notes in Computer Science vol. 1806 2000 Springer-Verlag Berlin 235 253
26. R. Heckel Open Petri nets as semantic model for workflow integration H. Ehrig, W. Reisig, G. Rozenberg, H. Weber, Petri Net Technology for Communication Based Systems, Lecture Notes in Computer Science vol. 2472 2003 Springer-Verlag Berlin 281 294 (Pubitemid 37528816)
27. P. Massuthe, A. Serebrenik, N. Sidorova, and K. Wolf Can I find a partner? Undecidablity of partner existence for open nets Information Processing Letters 108 6 2008 374 378
28. J. Desel, and J. Esparza Free Choice Petri Nets, Cambridge Tracts in Theoretical Computer Science vol. 40 1995 Cambridge University Press Cambridge, UK
29. E. Badouel, and P. Darondeau Theory of regions W. Reisig, G. Rozenberg, Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science vol. 1491 1998 Springer-Verlag Berlin 529 586 (Pubitemid 128165820)
30. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, and A. Yakovlev Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers IEICE Transactions on Information and Systems E80-D 3 1997 315 325 (Pubitemid 127757728)
31. M. La Rosa, J. Lux, S. Seidel, M. Dumas, and A. ter Hofstede Questionnaire-driven configuration of reference process models CAiSE07, Lecture Notes in Computer Science vol. 4495 2007 Springer-Verlag Berlin 424 438
32. N. Trcka, W.M.P. van der Aalst, and N. Sidorova Data-flow anti-patterns: discovering data-flow errors in workflows P. van Eck, J. Gordijn, R. Wieringa, Advanced Information Systems Engineering, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE09), Lecture Notes in Computer Science vol. 5565 2009 Springer-Verlag Berlin 425 439
33. N. Lohmann, P. Massuthe, and K. Wolf Behavioral constraints for services BPM 2007, Lecture Notes in Computer Science vol. 4546 2007 Springer-Verlag Berlin 271 287
34. J. Mendling, H. Verbeek, B. 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 2008 312 329 (Pubitemid 350087292)
35. F. Gottschalk, T. Wagemakers, M. Jansen-Vullers, W.M.P. van der Aalst, and M. Rosa Configurable process models: experiences from a municipality case study P. van Eck, J. Gordijn, R. Wieringa, Advanced Information Systems Engineering, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE09), Lecture Notes in Computer Science vol. 5565 2009 Springer-Verlag Berlin 486 500
36. C. Li, M. Reichert, and A. Wombacher Discovering reference models by mining process variants using a heuristic approach U. Dayal, J. Eder, J. Koehler, H. Reijers, Business Process Management (BPM 2009), Lecture Notes in Computer Science vol. 5701 2009 Springer-Verlag Berlin 344 362
37. C. Li, M. Reichert, and A. Wombacher The MinAdept clustering approach for discovering reference process models out of process variants International Journal of Cooperative Information Systems 19 3 2010 159 203
38. H. Lin, Z. Zhao, H. Li, and Z. Chen A novel graph reduction algorithm to identify structural conflicts Proceedings of the 34th Annual Hawaii International Conference on System Science (HICSS-35) 2002 IEEE Computer Society Press
39. J. Dehnert, and P. Rittgen Relaxed soundness of business processes K. Dittrich, A. Geppert, M. Norrie, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE01), Lecture Notes in Computer Science vol. 2068 2001 Springer-Verlag Berlin 157 170 (Pubitemid 33285689)
40. W. Sadiq, and M. Orlowska Analyzing process models using graph reduction techniques Information Systems 25 2 2000 117 134
41. N. Sidorova, C. Stahl, and N. Trcka Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible Information Systems 37 7 2011 1026 1043
42. W.M.P. van der Aalst, N. Lohmann, M. Rosa, and J. Xu Correctness ensuring process configuration: an approach based on partner synthesis R. Hull, J. Mendling, S. Tai, Business Process Management (BPM 2010), Lecture Notes in Computer Science vol. 6336 2010 Springer-Verlag Berlin 95 111