Communications of the ACM
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Modeling E -service Orchestration through Petri Nets
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
E-services: a look behind the curtain
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Semantics-based composition-oriented discovery of Web services
ACM Transactions on Internet Technology (TOIT)
DRLinda: a distributed message broker for collaborative interactions among business processes
EC-Web'07 Proceedings of the 8th international conference on E-commerce and web technologies
Vega: a service-oriented grid workflow management system
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part II
A framework for the development and execution of horizontal protocols in open BPM systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
EC-Web'06 Proceedings of the 7th international conference on E-Commerce and Web Technologies
Exploring the flexible workflow technology to automate service composition
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Web service execution model for cloud environment
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Web service coordination and composition have become a central topic for the development of Internet-based distributed computing. A wide variety of different standards have been defined to deal with the composition of Web services (usually represented as workflows) and the execution of coordination protocols. On the other hand, some relevant research proposals have already pointed to the use of the same formalism for both aspects, being Petri nets one of the adopted formalisms. In this work we present a case study showing how the adoption of the Nets-within-Nets paradigm helps in the modelling of complex coordination protocols and workflows. We first propose a Petri net model for a Web service peer able to run any workflow and to dynamically interpret the coordination required protocols. The execution of these protocols allows the peer to integrate functionalities offered by external peers. The Linda communication model has been used to support the integration among peers.