94 search results - page 3 / 19 » A Petri Net Approach to Analysis and Composition of Web Serv... |
PROCEDIA
2010
13 years 2 days ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
APN
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
TACS
1991
Springer
13 years 8 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
MMM
2005
Springer
13 years 11 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
BPM
2005
Springer
13 years 11 months ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...