Matches in SemOpenAlex for { <https://semopenalex.org/work/W1817372006> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1817372006 endingPage "664" @default.
- W1817372006 startingPage "657" @default.
- W1817372006 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." @default.
- W1817372006 created "2016-06-24" @default.
- W1817372006 creator A5013013481 @default.
- W1817372006 creator A5017299319 @default.
- W1817372006 creator A5085687963 @default.
- W1817372006 creator A5086321939 @default.
- W1817372006 creator A5091674970 @default.
- W1817372006 date "2014-01-01" @default.
- W1817372006 modified "2023-09-27" @default.
- W1817372006 title "Logic Foundations of the OCL Modelling Language" @default.
- W1817372006 cites W1509485343 @default.
- W1817372006 cites W1562451657 @default.
- W1817372006 cites W1604044451 @default.
- W1817372006 cites W2009691504 @default.
- W1817372006 cites W2055287943 @default.
- W1817372006 cites W2224284003 @default.
- W1817372006 cites W4249121902 @default.
- W1817372006 doi "https://doi.org/10.1007/978-3-319-11558-0_49" @default.
- W1817372006 hasPublicationYear "2014" @default.
- W1817372006 type Work @default.
- W1817372006 sameAs 1817372006 @default.
- W1817372006 citedByCount "6" @default.
- W1817372006 countsByYear W18173720062015 @default.
- W1817372006 countsByYear W18173720062016 @default.
- W1817372006 countsByYear W18173720062017 @default.
- W1817372006 countsByYear W18173720062018 @default.
- W1817372006 countsByYear W18173720062021 @default.
- W1817372006 crossrefType "book-chapter" @default.
- W1817372006 hasAuthorship W1817372006A5013013481 @default.
- W1817372006 hasAuthorship W1817372006A5017299319 @default.
- W1817372006 hasAuthorship W1817372006A5085687963 @default.
- W1817372006 hasAuthorship W1817372006A5086321939 @default.
- W1817372006 hasAuthorship W1817372006A5091674970 @default.
- W1817372006 hasConcept C115903868 @default.
- W1817372006 hasConcept C199360897 @default.
- W1817372006 hasConcept C41008148 @default.
- W1817372006 hasConceptScore W1817372006C115903868 @default.
- W1817372006 hasConceptScore W1817372006C199360897 @default.
- W1817372006 hasConceptScore W1817372006C41008148 @default.
- W1817372006 hasLocation W18173720061 @default.
- W1817372006 hasOpenAccess W1817372006 @default.
- W1817372006 hasPrimaryLocation W18173720061 @default.
- W1817372006 hasRelatedWork W1527862632 @default.
- W1817372006 hasRelatedWork W2112962394 @default.
- W1817372006 hasRelatedWork W2118300983 @default.
- W1817372006 hasRelatedWork W2135396778 @default.
- W1817372006 hasRelatedWork W2382501300 @default.
- W1817372006 hasRelatedWork W2740990710 @default.
- W1817372006 hasRelatedWork W3137189469 @default.
- W1817372006 hasRelatedWork W3162240892 @default.
- W1817372006 hasRelatedWork W4235530921 @default.
- W1817372006 hasRelatedWork W4243252198 @default.
- W1817372006 isParatext "false" @default.
- W1817372006 isRetracted "false" @default.
- W1817372006 magId "1817372006" @default.
- W1817372006 workType "book-chapter" @default.