Using time stream Petri nets over a service architecture for workflow modelling and enactment

Authors:
Franco Cicirelli;Angelo Furfaro;Libero Nigro
Affiliations:
DEIS -- Università della Calabria, Rende(CS), Italy;DEIS -- Università della Calabria, Rende(CS), Italy;DEIS -- Università della Calabria, Rende(CS), Italy
Venue:
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Year:
2010

Citing 16
Cited 0

How to write parallel programs: a first course

How to write parallel programs: a first course
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering
Jini and Java Spaces Application Development

Jini and Java Spaces Application Development
Core JINI

Core JINI
Advanced Workflow Patterns

CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Time Stream Petri Nets: A Model for Timed Multimedia Information

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Service-based software: the future for flexible software

APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Non Equivalence between Time Petri Nets and Time Stream Petri Nets

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Service-Oriented Architecture

SAINT-W '03 Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT'03 Workshops)
Introduction: Service-oriented computing

Communications of the ACM - Service-oriented computing
Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
A Time Management Method in Workflow Management System

GPC '09 Proceedings of the 2009 Workshops at the Grid and Pervasive Computing Conference
Dynamic checking of temporal constraints for concurrent workflows

Electronic Commerce Research and Applications
Timing constraint workflow nets for workflow analysis

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling logical and temporal synchronization in hypermedia systems

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Timing requirements are important aspects in workflow modelling, analysis and enactment. In the last few years, though, many workflow languages and tools have been proposed but only few of them address timing issues during enactment. This paper argues that Time Stream Petri Nets (TSPNs), originally designed for multimedia/hypermedia modelling and analysis, are a well-suited formalism also for supporting the whole lifecycle of workflow processes with timing constraints. A novel approach to distributed enactment of workflow processes specified by TSPNs in the context of PN-Engine is proposed. PN-Engine is a decentralized enactment engine based on the Service Oriented Computing paradigm, that enables execution of workflow processes where the coordinated activities may involve cross-boundary organizations. The approach is illustrated by means of an example concerned with a wine-production process.