DaGen: A tool for automatic translation from DAML-s to high-level petri nets

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 © Springer-Verlag 2004.