65 search results - page 5 / 13 » Pattern Based Property Specification and Verification for Se... |
169
click to vote
ECWEB
2005
Springer
15 years 11 months ago
2005
Springer
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
143
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Atomicity is a desirable property that safeguards application consistency for service compositions. A service composition exhibiting this property could either complete or cancel ...
156
click to vote
SAC
2010
ACM
15 years 5 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
130
click to vote
TVLSI
2008
15 years 5 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
170
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...