Project Description:The Web Service Modelling and Validation (WebMov) project is a French national research project which intendes to contribute to design, composition and validation of Web Services through a high level abstraction views of a SOA based logical architecture enabled with the state-of-the-art formal testing technologies. In particular the projects provides a research for active and passive testing of SOA architectures and concentrats on the behaviour validation (conformance, reliability, fault tolerance) of the Web Services expressed in BPEL. For this the formal methods such as TEFSM (Time Extended Finite State Machine) are used.
SOFTEAM Role: Technology Provider, Work Package Leader
Web Site: http://webmov.lri.fr/