Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
16
views
13
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,952
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Conceptual Modeling - ER 2006
Reasoning on UML Class Diagrams with OCL Constraints
other
Author(s):
Anna Queralt
,
Ernest Teniente
Publication date
(Print):
2006
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
De Gruyter Materials Science
Most cited references
13
Record
: found
Abstract
: not found
Article
: not found
Reasoning on UML class diagrams
Giuseppe De Giacomo
,
Diego Calvanese
,
Daniela Berardi
(2005)
0
comments
Cited
39
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Description logics in data management
A. Borgida
(1995)
0
comments
Cited
17
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
The Description Logic Handbook. Theory, Implementation and Applications,
F BAADER
,
D.L. McGuinness
,
A Borgida
…
(2003)
0
comments
Cited
17
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 497-512
DOI:
10.1007/11901181_37
SO-VID:
918eaedc-6f6f-493c-9c9a-5c17cf1c427a
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
JAC: A Flexible Solution for Aspect-Oriented Programming in Java
pp. 1
The Torii of Phases
pp. 61
Analysis of Realizability Conditions for Web Service Choreographies
pp. 94
Loose Programming with PROPHETS
pp. 16
ITUbee: A Software Oriented Lightweight Block Cipher
pp. 21
A Non-parametric Statistical Shape Model for Assessment of the Surgically Repaired Aortic Arch in Coarctation of the Aorta: How Normal is Abnormal?
pp. 77
Evaluating User Experience in a Selection Based Brain-Computer Interface Game A Comparative Study
pp. 84
Public Evidence from Secret Ballots
pp. 99
Microsoft Hololens - A mHealth Solution for Medication Adherence
pp. 118
A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems
pp. 165
Recognizing Biomedical Named Entities Based on the Sentence Vector/Twin Word Embeddings Conditioned Bidirectional LSTM
pp. 174
Bio-inspired Stereo Vision System with Silicon Retina Imagers
pp. 195
Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems
pp. 248
Object Teams: Improving Modularity for Crosscutting Collaborations
pp. 261
Mizar: State-of-the-art and Beyond
pp. 297
Towards Improved Detection of Cognitive Performance Using Bidirectional Multilayer Long-Short Term Memory Neural Network
pp. 302
Approximation Algorithms for Multi-criteria Traveling Salesman Problems
pp. 342
Policy Management and Enforcement Using OWL and SWRL for the Internet of Things
pp. 362
A BP Neural Network Predictor Model for Stock Price
pp. 390
The Second International Graphics Recognition Contest — Raster to vector conversion: A report
pp. 404
Scientific Matchmaker: Collaborator Recommender System
pp. 411
Convex Hull in Feature Space for Support Vector Machines
pp. 420
Design and Implementation of Bézier Curve Trajectory Planning in DELTA Parallel Robots
pp. 471
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
pp. 482
Towards a Reference Ontology for Business Models
pp. 497
Reasoning on UML Class Diagrams with OCL Constraints
pp. 707
Using Probabilistic Latent Semantic Analysis for Personalized Web Search
pp. 733
Policy Gradient Method for Team Markov Games
Similar content
2,952
Thermodynamics of OHgX, XHgOH, XHgOCl, XHgOBr, and HOHgY Gaseous Oxidized Mercury Molecules from Isodesmic, Isogyric, and Atomization Work Reactions (X = Halogen, Y = OH, OCl, OBr)
Authors:
Francisco Guzman
,
Joseph Bozzelli
From UML/OCL to SBVR specifications: A challenging transformation
Authors:
Jordi Cabot
,
Raquel Pau
,
Ruth Raventós
Oxidative cleavage of α-diols, α-diones, α-hydroxy-ketones and α-hydroxy- and α-keto acids with calcium hypochlorite [Ca(OCl)2].
Authors:
Philip M. Keehn
,
Stephen Nwaukwa
See all similar
Cited by
7
Reasoning on UML Class Diagrams with OCL Constraints
Authors:
Anna Queralt
,
Ernest Teniente
Extensive Validation of OCL Models by Integrating SAT Solving into USE
Authors:
Mirco Kuhlmann
,
Lars Hamann
,
Martin Gogolla
A UML/OCL framework for the analysis of graph transformation rules
Authors:
Juan de Lara
,
Esther Guerra
,
Robert Clarisó
…
See all cited by