Towards algorithmic generation of business processes: From business step dependencies to process algebra expressions

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

Volumn 5701 LNCS, Issue , 2009, Pages 80-96

  Oikawa, Márcio K ^a   Ferreira, João E ^a   Malkowski, Simon ^b   Pu, Calton ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b Georgia Institute of Technology   (United States)

Author keywords

And process algebra; Business process modeling; Directed acyclic graphs; Series parallel reductions

Indexed keywords

ACYCLIC DIRECTED GRAPH; ALGEBRAIC EXPRESSION; AND PROCESS ALGEBRA; AUTOMATED COMPOSITION; BUSINESS PROCESS; BUSINESS PROCESS MODELING; DIRECTED ACYCLIC GRAPHS; MODELING COMPLEXITY; PROCESS ALGEBRAS; SERIES-PARALLEL; SERIES-PARALLEL REDUCTIONS; SPLIT-AND-MERGE; STRUCTURAL CONFLICT; WHEATSTONE BRIDGES;

BRIDGE CIRCUITS; COORDINATION REACTIONS; ENTERPRISE RESOURCE MANAGEMENT; GRAPH THEORY; PETRI NETS; SPECIFICATIONS;

ALGEBRA;

EID: 70349462861     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03848-8_7     Document Type: Conference Paper

References (38)

1. Workflow Management Coalition (2008), http://www.wfmc.org
2. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
3. Baeten, J.C.M., Weijland, W.P.: Process algebra. Cambridge University Press, New York (1990)
4. Bergstra, J., Ponse, A., Smolka, S.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)
5. Ghomi, S.F., Rabbani, M.: A new structural mechanism for reducibility of stochastic PERT networks. European Journal of Operational Research (2003)
6. Russell, N., Hofstede, A.H.M.T., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical report (2006)
7. Smith, H., Fingar, P.: Workflow is just a pi process (2003), http://www.fairdene.com/picalculus/workflow-is-just-a-pi-process.pdf
8. jBPM (2008), http://www.packtpub.com/article/jboss-jbpm-concepts- jpdljbpm-process-definition-language
9. Puhlmann, F.: Soundness verification of business processes specified in the picalculus. On the Move to Meaningful Internet Systems, 6-23 (2007)
10. Woodley, T., Gagnon, S.: BPM and SOA: Synergies and challenges. In: Ngu, A.H.H., Kitsuregawa, M., Neuhold, E.J., Chung, J.-Y., Sheng, Q.Z. (eds.) WISE 2005. LNCS, vol. 3806, pp. 679-688. Springer, Heidelberg (2005)
11. Ferreira, J.E., Takai, O.K., Pu, C.: Integration of collaborative information system in internet applications using riverfish architecture. In: CollaborateCom (2005)
12. Ferreira, J.E., Takai, O.K., Braghetto, K.R., Pu, C.: Large scale order processing through navigation plan concept. In: IEEE SCC, pp. 297-300 (2006)
13. Braghetto, K.R., Ferreira, J.E., Pu, C.: Using control-flow patterns for specifying business processes in cooperative environments. In: Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo, Y.W. (eds.) SAC, pp. 1234-1241. ACM, New York (2007)
14. Gualtieri, A., Dell'Armi, T., Leone, N.: Process representation and reasoning using a logic formalism with object-oriented features. In: BPM Workshops, pp. 153-163 (2006)
15. Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)
16. van der Aalst, W.M.P.: Pi calculus versus petri nets: let us eat humble pie rather than further inflate the pi hype. BPM Trends 3, 1-11 (2005)
17. Fokkink, W.: Introduction to Process Algebra. Springer, New York (2000)
18. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14, 5-51 (2003)
19. Gschwind, T., Koehler, J.,Wong, J.: In: Applying Patterns during Business Process Modeling, pp. 4-19 (2008)
20. Müller, D., Reichert, M., Herbst, J.: Data-driven modeling and coordination of large process structures. On the Move to Meaningful Internet Systems (2007)
21. Müller, D., Reichert, M., Herbst, J.: A new paradigm for the enactment and dynamic adaptation of data-driven process structures. In: Advanced Information Systems Engineering, pp. 48-63 (2008)
22. Müller, D., Reichert, M., Herbst, J., Köntges, D., Neubert, A.: Corepro sim: A tool for modeling, simulating and adapting data-driven process structures. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 394-397. Springer, Heidelberg (2008)
23. Nigam, A., Caswell, N.S.: Business artifacts: an approach to operation specificaiton. IBM Journal 42, 428-445 (2003)
24. Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifactcentered operational modeling: Lessons from artifact-centered operational modeling: Lessons from customer engagements. IBM Journal 46, 703-721 (2007)
25. Zuliane, D., Oikawa, M.K., Malkowski, S., Alcazar, J.P., Ferreira, J.E.: The riverfish approach to business process modeling: Linking business steps to control-flow patterns. In: CollaborateCom (2008)
26. Wu, Q., Pu, C., Sahai, A., Barga, R.S.: Categorization and optimization of synchronization dependencies in business processes. In: ICDE, pp. 306-315 (2007)
27. Gadducci, F.: Graph rewriting for the p-calculus. Mathematical. Structures in Comp. Sci. 17, 407-437 (2007)
28. Bang-Jensen, J., Gutin, G.: Digraphs: Theory, Algorithms and Applications, 2nd edn. Springer, Heidelberg (2002)
29. Duffin, R.J.: Topology of series-parallel networks. J. Mathematical Analysis and Applications, 303-318 (1965)
30. Valdes, J.: Parsing flowcharts and series-parallel graphs. Technical report 1978 (1978)
31. Valdes, J., Tarjan, R., Lawler, E.: The recognition of series parallel digraphs. SIAM J. Comput., 298-313 (1982)
32. Schoenmakers, B.: A new algorithm for the recognition of series parallel graphs. CWI Report CS-R9504 (1995)
33. Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, Heidelberg (2002)
34. Plump, D.: Confluence of graph transformation revisited. In: Processes, Terms and Cycles, pp. 280-308 (2005)
35. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Loewe, M.: Algebraic approaches to graph transformation, part i: Basic concepts and double pushout approach. Technical Report TR-96-17, Corso Italia 40, 56125 Pisa, Italy (1996)
36. Andries, M., Engels, G., Habel, A., Hoffman, B., Kreowski, H.-J., Kuske, S., Plump, D., Schürr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming 34, 1-54 (1999)
37. Korenblit, M., Levit, V.E.: On algebraic expressions of series-parallel and Fibonacci graphs. In: Calude, C.S., Dinneen, M.J., Vajnovszki, V. (eds.) DMTCS 2003. LNCS, vol. 2731. Springer, Heidelberg (2003)
38. Naummann, V.: Measuring the distance to series-parallelity by path expressions. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903, pp. 269-281. Springer, Heidelberg (1995)