Sciweavers

10 search results - page 1 / 2
» Composition of Partially Observable Services Exporting their...
Sort
View
AIPS
2009
13 years 6 months ago
Composition of Partially Observable Services Exporting their Behaviour
Giuseppe De Giacomo, Riccardo De Masellis, Fabio P...
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
13 years 11 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
IFIP
2010
Springer
12 years 11 months ago
Modular Plans for Secure Service Composition
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
Gabriele Costa, Pierpaolo Degano, Fabio Martinelli
SOCO
2007
Springer
13 years 11 months ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro
AIPS
2006
13 years 6 months ago
Automated Web Service Composition by On-the-Fly Belief Space Search
Composition of stateful web services expressed in BPEL4WS can be recasted as a problem of planning in asynchronous domains. In (PTB05), this is pursued by encoding the asynchronou...
Piergiorgio Bertoli, Marco Pistore, Paolo Traverso