From Human Knowledge to Process Models

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.

[1]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[2]  Jörg Desel,et al.  Modelling and Validation with VipTool , 2003, Business Process Management.

[3]  Jörg Desel,et al.  Validation of Process Models by Construction of Process Nets , 2000, Business Process Management.

[4]  Jörg Desel Process modelling using Petri nets , 2005 .

[5]  Philippe Darondeau,et al.  Synthesis and Control of Asynchronous and Distributed Systems , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[6]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[7]  S. Ceri Ed Methodology and Tools for Data Base Design , 1983 .

[8]  Jörg Desel,et al.  Can I Execute My Scenario in Your Net? , 2005, ICATPN.

[9]  Robin Bergenthum,et al.  Process Mining Based on Regions of Languages , 2007, BPM.

[10]  Jörg Desel,et al.  ''What Is a Petri Net?'' , 2001, Unifying Petri Nets.

[11]  Robin Bergenthum,et al.  Synthesis of Petri Nets from Finite Partial Languages , 2008, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[12]  Heinrich C. Mayr,et al.  A User Centered Approach to Requirements Modeling , 2002, Modellierung.

[13]  Jörg Desel,et al.  Can I execute your scenario in my net , 2005 .

[14]  Heinrich C. Mayr,et al.  Business Process Modeling and Requirements Modeling , 2007, First International Conference on the Digital Society (ICDS'07).

[15]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[16]  Jörg Desel Tutorium: Validierung und Verifikation von Prozessmodellen , 2002, Promise.

[17]  Jörg Desel,et al.  Model Validation - A Theoretical Issue? , 2002, ICATPN.

[18]  Grzegorz Rozenberg,et al.  Applications and Theory of Petri Nets , 1983 .

[19]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[20]  Heinrich C. Mayr,et al.  From Scenarios to KCPM Dynamic Schemas: Aspects of Automatic Mapping , 2003, NLDB.

[21]  Wolfgang Reisig,et al.  Petri Nets and Business Process Management , 2008 .

[22]  Jörg Desel,et al.  Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven , 1996, Wirtsch..

[23]  Boudewijn F. van Dongen,et al.  Aggregating Causal Runs to Workflow Nets : BETA Working Paper Series , 2006 .

[24]  Wolfgang Reisig,et al.  A Primer in Petri Net Design , 1992, Springer Compass International.

[25]  Hartmut Ehrig,et al.  Unifying Petri Nets: Advances in Petri Nets , 2002 .

[26]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[27]  Wolfgang Reisig,et al.  The synthesis problem of Petri nets , 1993, Acta Informatica.

[28]  Jörg Desel Formaler Umgang mit semi-formalen Ablaufbeschreibungen , 1999 .

[29]  Jörg Desel,et al.  Process Modeling Using Petri Nets , 2005, Process-Aware Information Systems.

[30]  Robin Bergenthum,et al.  Can I Execute My Scenario in Your Net? VipTool Tells You! , 2006, ICATPN.

[31]  Wil M. P. van der Aalst,et al.  Finding Structure in Unstructured Processes: The Case for Process Mining , 2007, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).

[32]  Wil M.P. van der Aalst,et al.  Business Process Management: Models , 2000 .

[33]  Stefano Ceri,et al.  Methodology and tools for data base design , 1983 .

[34]  Valeria De Antonellis,et al.  Requirements Collection and Analysis , 1983, Methodology and Tools for Data Base Design.

[35]  Robin Bergenthum,et al.  Synthesis of Petri Nets from Infinite Partial Languages with VipTool , 2007 .