Search For:

Displaying 1-7 out of 7 total
A Model for Visual Specification of E-contracts
Found in: Services Computing, IEEE International Conference on
By Enrique Martínez, Gregorio Díaz, M. Emilia Cambronero, Gerardo Schneider
Issue Date:July 2010
pp. 1-8
In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions that these services must fulfill, such as real-time constraints. In this work we present...
 
Modeling Conference Contribution Management Using Web Services
Found in: Internet and Web Applications and Services, International Conference on
By José A. Mateo, Gregorio Díaz, Enrique Martínez, M. Emilia Cambronero
Issue Date:May 2010
pp. 463-468
As the consensus of using web services as an alternative to traditional deployment models has been growing during the last years, also new techniques to face the new arisen problems have been developed. In this work, we present the design of a conference m...
 
Formal Study of Prioritized Service Compositions
Found in: Signal-Image Technologies and Internet-Based System, International IEEE Conference on
By César Andrés, Gregorio Díaz, Enrique Martínez, Yaofeng Zhang
Issue Date:December 2009
pp. 355-362
This paper presents an enhanced derivation procedure to obtain a system of services, from a given choreography. In addition to the basic framework, we introduce several situations where nondeterminism appears and it is resolved by using a dynamic prioritiz...
 
A Comparative Study between WSCI, WS-CDL, and OWL-S
Found in: E-Business Engineering, IEEE International Conference on
By María Emilia Cambronero, Gregorio Díaz, Enrique Martínez, Valentín Valero
Issue Date:October 2009
pp. 377-382
Choreography languages allow us to describe Web Services compositions from a global viewpoint in Service Oriented Architectures (SOA). However, none of the existing languages has achieved the status of de facto standard for that purpose until now. In this ...
 
Design and Verification of Web Services Compositions
Found in: Internet and Web Applications and Services, International Conference on
By Enrique Martínez, María Emilia Cambronero, Gregorio Díaz, Valentín Valero
Issue Date:May 2009
pp. 395-400
In this work we explain how to perform the design and verification of a Web Services composition with time restrictions using the Web Services Translation tool, WST for short. We pay special attention to Web Services systems with timing restrictions. As il...
 
Specification and Verification of Normative Texts using C-O Diagrams
Found in: IEEE Transactions on Software Engineering
By Gregorio Diaz,Maria Emilia Cambronero,Enrique Martinez,Gerardo Schneider
Issue Date:November 2013
pp. 1
C-O Diagrams have been introduced as a means to have a more visual representation of normative texts and electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as the pena...
 
Specification and Verification of Normative Texts using C-O Diagrams
Found in: IEEE Transactions on Software Engineering
By Gregorio Diaz,Maria Emilia Cambronero,Enrique Martinez,Gerardo Schneider
Issue Date:November 2013
pp. 1
C-O Diagrams have been introduced as a means to have a more visual representation of normative texts and electronic contracts, where it is possible to represent the obligations, permissions and prohibitions of the different signatories, as well as the pena...
 
 1