Logic foundations of the OCL modelling language
Visualitza/Obre
Franconi et al.pdf (225,1Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
10.1007/978-3-319-11558-0_49
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/24169
Tipus de documentComunicació de congrés
Data publicació2014
EditorSpringer
Condicions d'accésAccés restringit per política de l'editorial
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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.
CitacióFranconi, E. [et al.]. Logic foundations of the OCL modelling language. A: European Conference on Logics In Artificial Intelligence. "Logics in artificial intelligence : 14th European Conference, JELIA 2014 : Funchal, Madeira, Portugal, September 24-26, 2014 : Proceedings". Funchal: Springer, 2014, p. 657-664.
ISBN978-3-319-11557-3
Versió de l'editorhttp://link.springer.com/chapter/10.1007/978-3-319-11558-0_49
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Franconi et al.pdf | 225,1Kb | Accés restringit |