A formal foundation for workflow composition, workflow view definition, and workflow normalization based on Petri nets

Conferences in Research and Practice in Information Technology Series

Volumn 43, Issue , 2005, Pages 79-88

  Pankratius, Victor ^a   Stucky, Wolffried ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Petri net algebra; Petri nets; Relational algebra; Relational data model; Web services; Workflow composition; Workflow normalization; Workflow view definition

Indexed keywords

RELATIONAL ALGEBRA; RELATIONAL DATA MODELS; WORKFLOW COMPOSITION; WORKFLOW NORMALIZATION; WORKFLOW VIEWS;

PETRI NETS; WEB SERVICES; WEBSITES;

ALGEBRA;

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

References (35)

1. Aalst, W. (1996), Three good reasons for using a petri-net-based workflow management system, in 'Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96)', pp. 179-201.
2. Aalst, W. (2003), 'Pi calculus versus petri nets: Let us eat humble pie rather than further inflate the pi hype', http://tmitwww.tm.tue.nl/research/ patterns/ download/pi-hype.pdf (unpublished discussion paper) .
3. Aalst, W., Dumas, M. & Hofstede, A. (2003), Web service composition languages: Old wine in new bottles?, in '29th EUROMICRO Conference 2003, New Waves in System Architecture, 3-5 September 2003, Belek-Antalya, Turkey', IEEE Computer Society, pp. 298-307.
4. Aalst, W. & Hee, K. (2002), workflow Management. Models, Methods, and Systems, MIT Press.
5. Aalst, W. & Hofstede, A. (2002), workflow patterns: On the expressive power of (petri-net-based) workflow languages., in K. Jensen, ed., 'Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002)', Vol. 560 of DAIMI, University of Aarhus, Aarhus, Denmark, pp. 1-20.
6. Aalst, W., Hofstede, A., Kiepuszewski, B. & Barros, A. (2000), Advanced workflow patterns, in O. Etzion & P. Scheuermann, eds, 'Proc. 7th International Conference on Cooperative Infor- mation Systems (CoopIS)', Vol. 1901 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 18-29.
7. Avrilionis, D. & Cunin, P. (1995), Using views to maintain petri-net-based process models, in 'Proc. International Conference on Software Maintenance', pp. 318-326.
8. Baumgarten, B. (1996), Petri-Netze. Grundlagen und Anwendungen (in German), 4th edn, Spektrum Akademischer Verlag.
9. Berners-Lee, T., Hendler, J. & Lassila, O. (2001), 'The semantic web', Scientific American .
10. Bernstein, P. A., Halevy, A. Y. & Pottinger, R. (2000), 'A vision of management of complex models.', SIGMOD Record 29(4), 55-63.
11. Best, E., Devillers, R. & Koutny, M. (1998), Petri nets, process algebras and concurrent programming languages, Vol. 1492 of Lecture Notes in Computer Science (LNCS), Springer, Berlin.
12. Casati, F. & Dayal, U., eds (2002), Special Issue on Web Services, Vol. 25, IEEE Bulletin of the Technical Committee on Data Engineering.
13. Chiu, D. K., Cheung, S., Till, S., Karlapalem, K., Li, Q. & Kafeza, E. (2004), 'workflow view driven cross-organizational interoperability in a web service environment', Information Technology and Management 5(3-4), 221-250.
14. Codd, E. F. (1970), 'A relational model of data for large shared data banks', Commun. ACM 13(6), 377-387.
15. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R. & Löwe, M. (1997), Algebraic Approaches to Graph Transformation, Vol. 1 of Rozenberg (1997), chapter 3, pp. 163-245.
16. Desel, J. & Oberweis, A. (1996), 'Petri nets in applied computer science (in German)', Wirtschaftsin- formatik 38(4), 359-367.
17. Elmasri, R. & Navathe, S. B. (2004), Fundamentals of Database Systems, 4th edition edn, Pearson Addison Wesley.
18. Garcia-Molina, H., Ullman, J. D. & Widom, J. (2002), Database Systems. The Complete Book., Prentice Hall, Inc.
19. Georgakopoulos, D., Hornick, M. & Sheth, A. (1995), An overview of workflow management - from process modeling to workflow automation infrastructure, in 'Distributed and Parallel Databases', Vol. 3, pp. 119-153.
20. Gruhn, V. & Schneider, M. (1998), workflow management based on process model repositories, in 'Proceedings of the 20th international conference on Software engineering', IEEE Computer Society, pp. 379-388.
21. Hamadi, R. & Benatallah, B. (2003), A petri net- based model for web service composition, in 'Proceedings of the Fourteenth Australasian database conference on Database technologies 2003', Australian Computer Society, Inc., pp. 191-200.
22. Keller, W. (2003), 'Clustering for petri nets', Theor. Comput. Sci. 308(1-3), 145-197.
23. Kuramochi, M. & Karypis, G. (2004), 'An efficient algorithm for discovering frequent subgraphs', IEEE Transactions on Knowledge and Data Engineering 16(9), 1038-1051.
24. Leymann, F., Roller, D. & Schmidt, M.-T. (2002), 'Web services and business process management.', IBM Systems Journal 41(2), 198-211.
25. Mikolajczak, B. & Wang, Z. (2003), Conceptual mod- eling of concurrent systems through stepwise abstraction and refinement using petri net morphisms., in I.-Y. Song, S. W. Liddle, T. W. Ling & P. Scheuermann, eds, 'Proc. 22nd Inter- national Conference on Conceptual Modeling', Springer, Chicago, IL, USA, 433-445.
26. Milner, R. (1999), Communicating and Mobile Systems: The π-Calculus, Cambridge University Press, Cambridge, UK.
27. Murata, T. (1989), Petri nets: Properties, analysis and applications, in 'Proc. IEEE', Vol. 77, pp. 541-580.
28. Nishiyama, T. (1999), Using a "process warehouse" concept. a practical method for successful technology transfer., in '2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), May 2-5, 1999, Saint Malo, France', IEEE Computer Society, pp. 117- 120.
29. Peltz, C. (2003), Web services orchestration. a review of emerging technologies, tools, and standards., Technical report, Hewlett-Packard Company.
30. Peterson, J. L. (1977), 'Petri nets', ACM Comput. Surv. 9(3), 223-252.
31. Petri, C. A. (1962), 'Kommunikation mit Automaten (in German)', Schriften des Instituts für instrumentelle Mathematik, University of Bonn, Germany .
32. Reisig, W. (1992), A Primer in Petri Net Design, Springer Verlag.
33. Rozenberg, G., ed. (1997), Handbook of Graph Gram- mars and Computing by Graph Transformation, Vol. 1, World Scientific.
34. Staab, S. & Studer, R., eds (2003), Handbook on Ontologies, Springer, Berlin.
35. Tiplea, F. & Tiplea, A. (1998), On normalization of petri nets, in 'Proc. of the 11th Romanian Symposium on Computer Science ROSYCS'98', Iasi, Romania.