DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets

摘要

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.