Verification of Web Services with Timed Automata

被引：29

作者：

Diaz, Gregorio ^{[1
]}

Pardo, Juan-Jose ^{[1
]}

Cambronero, Maria-Emilia ^{[1
]}

Valero, Valentin ^{[1
]}

Cuartero, Fernando ^{[1
]}

机构：

[1] Univ Castilla La Mancha, Escuela Politecn Super, Dept Informat, Albacete 02071, Spain

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 157卷 / 02期

关键词：

Web services; Timed Automata; Formal Methods;

D O I：

10.1016/j.entcs.2005.12.042

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper we show how we can use formal methods for describing and analyzing the behavior of Web Services, and more specifically those including time restrictions. Then, our starting point are Web Services descriptions written in WSCI - WSCDL (XML-based description languages). These descriptions are then translated into timed automata, and then, we use a well known tool that supports this formalism (UPPAAL) to simulate and analyze the system behavior. As illustration we take a particular case study, a travel reservation system.

引用

页码：19 / 34

页数：16