Modeling workflow patterns from first principles

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4801 LNCS, Issue , 2007, Pages 1-20

  Börger, Egon ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; SEMANTICS;

FIRST PRINCIPLES; PARAMETERIZED ABSTRACT MODELS; WORKFLOW PATTERNS;

ABSTRACTING;

EID: 38349028807     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75563-0_1     Document Type: Conference Paper

References (10)

1. Börger, E.: The ASM ground model method as a foundation of requirements engineering. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 145-160. Springer, Heidelberg (2003)
2. Börger, E.: The ASM method for system design and analysis. A tutorial introduction. In: Gramlich, B. (ed.) Frontiers of Combining Systems. LNCS (LNAI), vol. 3717, pp. 264-283. Springer, Heidelberg (2005)
3. Börger, E.: A critical analysis of workflow patterns. In: Prinz, A. (ed.) ASM 2007, Grimstadt (Norway) (June 2007), Agder University College (2007)
4. Börger, E., Bolognesi, T.: Remarks on turbo ASMs for computing functional equations and recursion schemes. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 218-228. Springer, Heidelberg (2003)
5. Börger, E., Schmid, J.: Composition and submachine concepts for sequential ASMs. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 41-60. Springer, Heidelberg (2000)
6. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
7. INMOS. Transputer Implementation of Occam - Communication Process Architecture. Prentice-Hall, Englewood Cliffs, NJ (1989)
8. Russel, N., ter Hofstede, A., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns. A revised view. BPM-06-22 (July 2006), at http://is.tm.tue.nl/staff/vvdaalst/BPMcenter/
9. Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)
10. van der Aalst, W.M., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(3), 5-51 (2003)