G
Gregorio Díaz
Researcher at University of Castilla–La Mancha
Publications - 67
Citations - 747
Gregorio Díaz is an academic researcher from University of Castilla–La Mancha. The author has contributed to research in topics: Web service & Web modeling. The author has an hindex of 14, co-authored 65 publications receiving 692 citations.
Papers
More filters
Book ChapterDOI
Automatic translation of WS-CDL choreographies to timed automata
TL;DR: This paper shows how to translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically in Web services with time restrictions.
Journal ArticleDOI
Verification of Web Services with Timed Automata
TL;DR: This paper shows how to use formal methods for describing and analyzing the behavior of Web Services, and more specifically those including time restrictions, by using a well known tool that supports this formalism (UPPAAL).
Journal ArticleDOI
Validation and verification of Web services choreographies by using timed automata
TL;DR: An approach for the validation and verification of Web services choreographies, and more specifically, for those composite Web services systems with timing restrictions, by using the generated timed automata of WS-CDL (Web Services Choreography Description Language).
Proceedings ArticleDOI
Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques
TL;DR: 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.
Proceedings ArticleDOI
Automatic verification of the TLS handshake protocol
TL;DR: A way to use Formal Methods to ensure the e-commerce properties of Transport Layer Security (TLS) by using a known tool for Model Checking (UPPAAL) to describe and analyze the behaviour of the protocol (by means of timed automata).