Article in Proceedings INPROC-2008-109

BibliographyMartin, Daniel; Wutke, Daniel; Leymann, Frank: Using Tuplespaces to Enact Petri Net-Based Workflow Definitions.
In: Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services (iiWAS2008). Linz, Austria, November 24 - 26, 2008..
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 1-1, english.
ACM, November 2008.
ISBN: 978-1-60558-349-5.
Article in Proceedings (Conference Paper).
CR-SchemaH.4.1 (Office Automation)
Keywordstuplespaces; petri nets; worklflow; bpel; distributed workflow enactment; ewfn
Abstract

Petri Nets are a formalism for describing coordinated interactions between independent entities, called transitions, by means of synchronized token exchange through places. Tuplespaces are an abstraction of the shared memory concept providing means for loosely-coupled coordination between individual components. In the tuplespace model, coordination between applications is achieved by production and blocking consumption of tuples which are communicated over tuplespace buffers. On the basis of the conceptual similarities of Petri nets and tuplespaces, we investigate in this paper whether on the one hand Petri nets are a suitable notation for modeling tuplespace-based applications; on the other hand, we argue that tuplespaces are a suitable platform for execution of applications modeled as Petri net-based workflows by describing and evaluating two approaches to execute Petri nets using tuplespace-based middleware.

Department(s)University of Stuttgart, Institute of Architecture of Application Systems
Project(s)TripCom
Entry dateDecember 24, 2008
   Publ. Department   Publ. Institute   Publ. Computer Science