Abstract
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process to be modelled is distributed in several involved people’s minds. Some people have knowledge about the general process where the single activities are on a high level of abstraction and have to be refined. Other people only know something about some detail of the process, i.e., about the refinement of an activity of the general process which defines a subprocess. Moreover, it is assumed that these domain experts can more easily define instances, i.e. runs, of the general process (of a subprocess, respectively) than the process itself. The approach employs new techniques developed for process mining and Petri net synthesis and adapts these techniques to generate processes from example runs. It is based on a formal definition of partially ordered processes, which allows to proceed in a modular way: Subprocesses and general processes are generated independently. Finally, it is argued that the approach is a suitable first step in a general method for process definitions which is followed by validation techniques.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van der Aalst, W.M.P., van Hee, K.: Workflow Management — Models, Methods and Systems. MIT Press, Cambridge (2002)
van der Aalst, W.M.P.: Finding structure in unstructured processes: the case for process mining. In: 7th International Conference on Application of Concurrency to System Design (ACSD), pp. 3–12. IEEE, Los Alamitos (2007)
Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process mining based on regions of languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 375–383. Springer, Heidelberg (2007)
Business Process Management. LNCS, vol. 1806, 2678, 3080, 4102, 4714. Springer, Heidelberg (2000–2007)
De Antonellis, V., Demo, G.B.: Requirements Collection and Analysis. Methodology and Tools for Data Base Design, pp. 9–24. North-Holland, Amsterdam (1983)
Darondeau, P.: Synthesis and control of asynchronous and distributed systems. In: 7th International Conference on Application of Concurrency to System Design (ACSD), pp. 13–22. IEEE, Los Alamitos (2007)
Desel, J.: On abstractions of nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol. 524, pp. 78–92. Springer, Heidelberg (1991)
Desel, J., Oberweis, A.: Validierung von Informationssystemen durch Auswertung halbgeordneter Petrinetz-Simulationsläufe. Formale Grundlagen für den Entwurf von Informationssystemen. Informatik-Berichte der Universität Hannover Nr.03/94, pp. 132–138 (1994)
Desel, J., Reisig, W.: The synthesis problem of Petri nets. Acta Informatica 33,297–315 (1996)
Desel, J., Oberweis, A.: Petri-Netze in der Angewandten Informatik. Wirtschaftsinformatik 38(4), 359–367 (1996)
Desel, J., Oberweis, A., Reisig, W., Rozenberg, G. (eds.): Petri nets and Business Process Management. Dagstuhl-Seminar-Report Nr. 217 (1998)
Desel, J.: Formaler Umgang mit semi-formalen Ablaufbeschreibungen. Angewandte Informatik and Formale Beschreibungsverfahren, Teubner-Texte zur Informatik 29, pp. 45–60, Teubner (1999)
Desel, J., Erwin, T.: Hybrid specifications: looking at workflows from a runtime perspective. International Journal of Computer System Science & Engineering 15(5), 291–302 (2000)
Desel, J.: Validation of process models by construction of process nets. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 108–126. Springer, Heidelberg (2000)
Desel, J., Juhás, G.: What is a Petri net? In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 1–25. Springer, Heidelberg (2001)
Desel, J.: Model validation — a theoretical issue? In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 23–43. Springer, Heidelberg (2002)
Desel, J.: Validierung and Verifikation von Prozessmodellen. In: Promise 2002 — GI-Workshop über Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, Gesellschaft für Informatik. LNI, vol. P-21, pp. 78–80 (2002)
Desel, J., Juhás, G., Lorenz, R., Neumair, C.: Modelling and validation with VIPtool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380–389. Springer, Heidelberg (2003)
Desel, J.: Process modelling using Petri nets. In: van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems á Bridging People and Software through Process Technology. Wiley, Chichester [21], pp. 147–177 (2005)
van Dongen, B.F., Desel, J., van der Aalst, W.M.P.: Aggregating causal runs to workflow nets, Eindhoven University of Technology. BETA Working Paper Series, vol. WP 173 (2006)
Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems — Bridging People and Software through Process Technology. Wiley, Chichester (2005)
Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures; Part I and II. Acta Informatica 27, 315–342 (1990)
Fliedl, G., Kop, C., Mayr, H.C.: From scenarios to KCPM dynamic schemas — aspects of automatic mapping. In: Natural Language Processing and Information Systems, 8th International Conference on Applications of Natural Language to Information Systems, Gesellschaft für Informatik. LNI, vol. P-29, pp. 91–105 (2003)
Juhás, G., Lorenz, R., Desel, J.: Can I execute your scenario in my net? In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 289–308. Springer, Heidelberg (2005)
Lorenz, R., Bergenthum, R., Desel, J., Juhás, G.: Can I execute my scenario in your net? VipTool tells you! In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 381–390. Springer, Heidelberg (2006)
Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri nets from finite partial languages. In: 7th International Conference on Application of Concurrency to System Design (ACSD), pp. 157–166. IEEE, Los Alamitos (2007)
Mayr, H.C., Dittrich, K.R., Lockemann, P.C.: Datenbankentwurf. Kapitel 5. In: Datenbank-Handbuch, pp. 481–557. Springer, Heidelberg (1987)
Mayr, H.C., Schnattler, M.: Vorkonzeptuelle und konzeptuelle Dynamik-Modellierung. In: Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, Informatik aktuell, pp. 3–18. Springer, Heidelberg (1993)
Mayr, H.C.: Towards business process modeling in KCPM. In: Oberweis, A., Reisig, W., Rozenberg, G. (eds.): Petri nets and Business Process Management. Dagstuhl-Seminar-Report Nr. 217 [11], p. 27 (1998)
Mayr, H.C., Kop, C.: A user centered approach to requirements modeling. In: Modellierung 2002, Gesellschaft für Informatik. LNI, vol. P-12, pp. 75–86 (2002)
Mayr, H.C., Kop, C., Esberger, D.: Business process modeling and requirements modeling. In: First International Conference on the Digital Society (ICDS 2007), Los Alamitos, CA, pp. 8–11 (2007)
Process Mining Group, Eindhoven University of Technology: www.processmining.org
Reisig, W.: A Primer in Petri Net Design. Springer, Heidelberg (1992)
Weske, M.: Business Process Management — Concepts, Languages and Architectures. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Desel, J. (2008). From Human Knowledge to Process Models. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds) Information Systems and e-Business Technologies. UNISCON 2008. Lecture Notes in Business Information Processing, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78942-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-78942-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78941-3
Online ISBN: 978-3-540-78942-0
eBook Packages: Computer ScienceComputer Science (R0)