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…