488 search results - page 9 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
107
click to vote
WISE
2006
Springer
15 years 5 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
SAC
2010
ACM
14 years 11 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...
191
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
128
click to vote
IHIS
2005
ACM
15 years 4 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
ICDCSW
2000
IEEE
15 years 2 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...