Show simple item record

dc.contributor.authorFranconi, Enrico
dc.contributor.authorMosca, Alessandro
dc.contributor.authorOriol Hilari, Xavier
dc.contributor.authorRull, Guillem
dc.contributor.authorTeniente López, Ernest
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2014-09-26T08:10:59Z
dc.date.created2014
dc.date.issued2014
dc.identifier.citationFranconi, 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.
dc.identifier.isbn978-3-319-11557-3
dc.identifier.urihttp://hdl.handle.net/2117/24169
dc.description.abstractIn 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.
dc.format.extent8 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshObject Constraint Language
dc.subject.lcshDeclarative programming languages
dc.titleLogic foundations of the OCL modelling language
dc.typeConference lecture
dc.subject.lemacProgramació declarativa
dc.subject.lemacLlenguatges de programació -- Construcció
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.identifier.doi10.1007/978-3-319-11558-0_49
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://link.springer.com/chapter/10.1007/978-3-319-11558-0_49
dc.rights.accessRestricted access - publisher's policy
local.identifier.drac15182532
dc.description.versionPostprint (published version)
dc.date.lift10000-01-01
local.citation.authorFranconi, E.; Mosca, A.; Oriol, X.; Rull, G.; Teniente, E.
local.citation.contributorEuropean Conference on Logics In Artificial Intelligence
local.citation.pubplaceFunchal
local.citation.publicationNameLogics in artificial intelligence : 14th European Conference, JELIA 2014 : Funchal, Madeira, Portugal, September 24-26, 2014 : Proceedings
local.citation.startingPage657
local.citation.endingPage664


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder