M
María-Emilia Cambronero
Researcher at University of Castilla–La Mancha
Publications - 26
Citations - 284
María-Emilia Cambronero is an academic researcher from University of Castilla–La Mancha. The author has contributed to research in topics: Web service & Formal methods. The author has an hindex of 8, co-authored 23 publications receiving 271 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).
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
Using UML Diagrams to Model Real-Time Web Services
TL;DR: This paper shows how a classical UML diagram, the sequence diagram, can be used for the description of business process behavior based on Web services with time constraints, and how these diagrams can be translated into Web services business process execution language.
Journal ArticleDOI
Model Checking Techniques applied to the design of Web Services
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.