Incremental development of business process models

Proceedings of the Workshop on Enterprise Modelling and Information Systems Architectures, EMISA 2005

Volumn , Issue , 2005, Pages 222-235

  Simon, Carlo ^a  

^a Universität Koblenz Landau ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MODEL; BUSINESS PROCESS MODELING; COMPLEX MODEL; GRAPHICAL METHODS; GRAPHICAL VISUALIZATION; INCREMENTAL DEVELOPMENT; PROCESS MODELING;

FORMAL LANGUAGES; SYSTEMS ENGINEERING;

INFORMATION SYSTEMS;

EID: 84871646009     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. Aalst, W. M. P., van der: Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96/23. Eindhoven University of Technology. 1996.
2. Aalst, W. M. P., van der and Hee, K., van: Workflow Management - Models, Methods, and Systems. MIT Press. Cambridge, Massachusetts. 2002.
3. Akers, S. B.: Binary Decision Diagrams. IEEE Transactions on Computing. C(27):509-516. 1978.
4. Basten, T.: Verifying Petri net Models using Process algebra. In: Girault, C. and Valk, R. (Hrsg.), Petri nets for Systems Engineering. chapter 16.5. Springer. Berlin. 2003.
5. Cuntz, N. and Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: Nüttgens, M. and Rump, F. J. (Hrsg.), EPK2004: Gescaftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings. S. 7-26. Luxembourgh. 2004.
6. Dehnert, J.: A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis. TU Berlin. 2003.
7. Fidelak, M.: Integritatsbedingungen in Petri-Netzen. PhD thesis. Universitat Koblenz-Landau. 1993.
8. Fokkink, W. Introduction to Process Algebr. Springer. Berlin. 2000.
9. Frank, U.: Multi-perspective enterprise modeling (memo) - conceptual framework and modeling languages. In: 35th Annual Hawaii International Conference on System Sciences, HICSS. S. 75-84. 2002.
10. Gadatsch, A.: Grundkurs Gescaftsprozess-Management. Vieweg. Wiesbaden. 3rd. 2003.
11. Genrich, H. J.: Formale Eigenschaften des Entscheidens und Handelns. Interner Bericht 09/73-11-29. GMD. St. Augustin. 1973.
12. Genrich, H. J.: Ein Kalkul des Planes und Handelns. In: Ansatze zur Organsiationstheorie rechnergestutzterlnformationssysteme. GMD Bericht 111. S. 77-92. Oldenbourg Verlag. 1978.
13. Genrich, H. J.: Predicate/Transition Nets. In: Brauer, W., Reisig, W., and Rozenberg, G. (Hrsg.), Petri Nets: Central Models and their Properties, Advances in Petri Nets 1986, Part. Lecture Notes in Computer Science 254. Springer. 1987.
14. Genrich, H. J. and Lautenbach, K.: System Modelling with High-Level Petri Nets. Theoretical Computer Science. 13. 1981.
15. Hoffmann, W., Kirsch, J., and Scheer, A.-W.: Modellierung mit Ereignisgesteuerten Prozeßketten, Methodenhandbuch. Technical report. Universitat des Saarlandes. Institut ur Wirtschaftsinformatik, Saarbrucken. 1993.
16. Jablonski, S. and Bussler, C: Workflow Management - Modeling Concepts, Architecture and Implementation. International Thomson Computer Press. London. 1996.
17. Jensen, K.: ColouredPetri-Nets. Band 1. Springer Verlag. Berlin. 1992.
18. Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., and Weske, M. (Hrsg.), Business Process Management (BPM 2004). volume 3080 of Lecture Notes in Computer Science (LNCS). S. 82-97. Potsdam, Germany. 2004. Springer
19. Keller, G., Nüttgens, M., and Scheer, A.-W: Semantische Prozeßmodellierung auf der Basis Ereignisgesteuerter Prozeßketten (EPK). Technical Report 89. Universitat des Saarlandes. Institut ur Wirtschaftsinformatik, Saarbrucken. 1992.
20. Krcmar, H.: Informationsmanagement. Springer. Berlin. 2. 2000.
21. Leymann, F. and Roller, D.: Production Workflow - Concepts and Techniques. Prentice Hall. Upper Saddle River, NJ. 2000.
22. Lautenbach, K. and Simon, C: Verification in a Logic of Actions. In: 7. Workshop Algorithmen und Werkzeuge furPetrinetze (AWPN00). Koblenz. 2000.
23. Marx, T. NetCase - Softwareentwurf und Workflow-Modellierung mit Petri-Netzen. PhD thesis. Universitat Koblenz-Landau. 1998.
24. Oberweis, A.: Modellierung und Ausfuhrung von Workflows mit Petri-Netzen. Teubner Studienskripte. Stuttgart. 1996.
25. Rumbaugh, J., Jacobson, I., and Booch, G.: The Unfied Modeling Language Reference Manual. Addison Wesley. Reading, Mass. 1999.
26. Schutte, R.: Grundsatze ordnungsmaßiger Referenzmodellierung. Gabler. Wiesbaden. 1998.
27. Scheer, A.-W.: ARIS - Business Process Frameworks. Springer-Verlag. Berlin. 3rd. 2000.
28. Simon, C. and Dehnert, J.: From Business Process Fragments to Workflow Definitions. In: Feltz, F., Oberweis, A., and Otjacques, B. (Hrsg.), EMISA 2004 - Informationssysteme im E-Business und E-Government. Gesellschaft ur Informatik, Lecture Notes in Informatics P-56. S. 95-106. Luxemburg. 2004.
29. Simon, C: A Logic of Actions and Its Application to the Development of Programmable Controllers. PhD thesis. Universitat Koblenz-Landau. 2001.
30. Simon, C. and Rebstock, M.: Integration of Multi-attributed Negotiations within Business Processes. In: Desel, J., Pernici, B., and Weske, M. (Hrsg.), Business Process Management (BPM 2004). volume 3080 of Lecture Notes in Computer Science (LNCS). S 148-162. Potsdam, Germany. 2004. Springer
31. Staud, J. L.: Gescaftsprozessanalyse. Springer. Berlin. 2. 2001.
32. von Hagen, C. R. and Stucky, W. Business-Process- und Workflow-Management. Teubner. Stuttgart. 2004.
33. Vossen, G.: Was Informatiker und Wirtschaftsinformatiker zu Prozessen beitragen. HMD - Praxis der Wirtschaftsinformatik. Business Engineering(241):5- 6. feb 2005.