In: Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004., pages 209-213. Volume 2984 of Lecture Notes in Computer Science / Michel Wermelinger and Tiziana Margaria-Steffen (Eds.) --- Springer-Verlag, April 2004.
Abstract: The Internet provides possibilities for distributed execution of business processes and Web Services. This caused the emergence of a variety of Web Services that might be composed to accomplish tasks. To efficiently compose these tasks a simple workflow description no longer suffices. We therefore suggest a description based on high-level Petri nets called reference nets, allowing for the consideration of pre- and post-conditions of services offered on the Internet. We demonstrate how DAML-S models can be automatically translated into high-level nets and thus can be directly executed in such contexts, including Petri net based MAS.
Keywords: high-level Petri nets; nets within nets; reference nets; Renew; workflow; web service; business process; DAML-S; process ontology.