Internet Archive Scholar

Model Checking Techniques applied to the design of Web Services

Gregorio Dıaz, Emilia M. Cambronero, Juan J. Pardo, Valentın Valero, Fernando Cuartero
2007 CLEI Electronic Journal  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (436.8 kB)
https://web.archive.org/web/20190429110137/https://www.clei.org/cleiej/index.php/cleiej/article/download/286/139

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

In previous work we have presented the generation of WS-CDL and WS-BPEL documents. In this paper we show the unification of both generations. The aim is to generate correct WS-BPEL skeleton documents from WS-CDL documents by using the Timed Automata as an intermediary model in order to check the correctness of the generated Web Services with Model Checking Techniques. The model checker used is UPPAAL, a well known tool in theoretical and industrial cases that performs the verification and
more » ... tion of Timed Automata. Note that our interest is focused on Web services where the time constraints play a critical role.
doi:10.19153/cleiej.10.2.2 fatcat:id3gx2ztyvfefb5tvlxqiadfwq
DOAJ SciELO
Citation

Gregorio Dıaz, Emilia M. Cambronero, Juan J. Pardo, Valentın Valero, Fernando Cuartero. "Model Checking Techniques applied to the design of Web Services." CLEI Electronic Journal 10.2 (2007)