Search Sciweavers | Sciweavers

1796 search results - page 26 / 360

» An Approach to Compositional Model Checking

click to vote

FASE
2008
Springer

102views Software Engineering» more FASE 2008»

A Model Checking Approach for Verifying COWS Specifications

13 years 9 months ago

Download rap.dsi.unifi.it

We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...

Alessandro Fantechi, Stefania Gnesi, Alessandro La...

claim paper

Read More »

click to vote

IRI
2008
IEEE

136views Information Technology» more IRI 2008»

Modeling and synthesis of service composition using tree automata

14 years 2 months ago

Download faculty.uoit.ca

— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing ﬁnite state...

Ken Q. Pu, Ying Zhu

claim paper

Read More »

click to vote

FMICS
2007
Springer

184views Formal Methods» more FMICS 2007»

An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications

14 years 2 months ago

Download fmt.isti.cnr.it

Abstract. In this paper we present an action/state-based logical framework for the analysis and veriﬁcation of complex systems, which relies on the deﬁnition of doubly labelled...

Maurice H. ter Beek, Alessandro Fantechi, Stefania...

claim paper

Read More »

click to vote

SOCA
2007
IEEE

107views Applied Computing» more SOCA 2007»

A Model Checking Approach to Verify BPEL4WS Workflows

14 years 2 months ago

Download www.inf.usi.ch

Domenico Bianculli, Carlo Ghezzi, Paola Spoletini

claim paper

Read More »