Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace:

Logic foundations of the OCL modelling language
Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
In this paper we define the first-order fragment of the Object Constraint Language (OCL), the declarative language for describing rules that apply to conceptual schemas in the Unified Modelling Language (UML). This fragment covers the whole of OCL without arithmetic operators, aggregation functions, iterators, and recursion. We give the set theoretical formal syntax and semantics in an elegant, concise, and clear way. This fragment has the same expressivity as domain-independent first-order logic (aka relational algebra), in the sense that any relational algebra expression can be reformulated as a logically equivalent OCL expression, and vice-versa.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Object Constraint Language
Declarative programming languages
Programació declarativa
Llenguatges de programació -- Construcció

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem
Remesal, José; Díaz-Guilera, Albert; Rondelli, Bernardo; Rubio, Xavier; Aguilera, Antonio; Martín-Arroyo, Daniel; Mosca, Alessandro; Rull, Guillem
Rull, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
Rull, Guillem; Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
Mecca, Giansalvatore; Rull, Guillem; Santoro, Donatello; Teniente López, Ernest