Sciweavers

306 search results - page 2 / 62
» A Petri Net-based Model for Web Service Composition
Sort
View
APN
2004
Springer
15 years 3 months ago
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
Alexander Norta
LICS
2006
IEEE
15 years 5 months ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
DASFAA
2007
IEEE
266views Database» more  DASFAA 2007»
15 years 5 months ago
Compatibility Analysis and Mediation-Aided Composition for BPEL Services
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
Wei Tan, Fangyan Rao, Yushun Fan, Jun Zhu
GCC
2003
Springer
15 years 4 months ago
An Object-Oriented Petri Nets Based Integrated Development Environment for Grid-Based Applications
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
Hongyi Shi, Aihua Ren
JWSR
2007
183views more  JWSR 2007»
14 years 11 months ago
Behaviour-Aware Discovery of Web Service Compositions
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...
Antonio Brogi, Sara Corfini