4 citations · 8 across the 3 of their papers we have counts for
3 papers
Conformance Verification of Normative Specifications using C-O Diagrams
Gregorio Díaz, Luis Llana, Valentín Valero +1
C-O Diagrams have been introduced as a means to have a visual representation of normative texts and electronic contracts, where it is possible to represent the obligations, permiss…
BPEL-RF: A formal framework for BPEL orchestrations integrating distributed resources
Jose Antonio Mateo, Valentın Valero, Gregorio Dıaz
Web service compositions are gaining attention to develop complex web systems by combination of existing services. Thus, there are many works that leverage the advantages of this a…
Timed Automata Semantics for Visual e-Contracts
Enrique Martínez, M. Emilia Cambronero, Gregorio Díaz +1
C-O Diagrams have been introduced as a means to have a more visual representation of electronic contracts, where it is possible to represent the obligations, permissions and prohib…