1914 search results - page 199 / 383 » Verification by Abstract Interpretation |
144
click to vote
BPM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
152
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
168
click to vote
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
158
Voted
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
167
click to vote
FASE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicab...