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
25
views
5
references
Top references
cited by
11
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,688
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
≪UML≫ 2000 — The Unified Modeling Language
Validating UML Models and OCL Constraints
other
Author(s):
Mark Richters
,
Martin Gogolla
Publication date
(Online):
September 28 2001
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
Exponential Random Graph Models
Most cited references
5
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Alcoa: the alloy constraint analyzer
Daniel Jackson
,
Ian Schechter
,
Hya Shlyahter
(2000)
0
comments
Cited
10
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
On Formalizing the UML Object Constraint Language OCL
Mark Richters
,
Martin Gogolla
(1998)
0
comments
Cited
8
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Core Meta-Modelling Semantics of UML: The pUML Approach
Andy Evans
,
Stuart Kent
(1999)
0
comments
Cited
4
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2000
Publication date (Online):
September 28 2001
Pages
: 265-277
DOI:
10.1007/3-540-40011-7_19
SO-VID:
4e1eddac-ba2b-4bb7-baff-18c62b489f7d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 265
Validating UML Models and OCL Constraints
pp. 309
Strict Profiles: Why and How
pp. 528
Rewrite Rules and Operational Semantics for Model Checking UML Statecharts
pp. 278
Modular Architecture for a Toolset Supporting OCL
pp. 323
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
Similar content
3,688
Modular architecture for a toolset supporting OCL
Authors:
Heinrich Hussmann
,
Birgit Demuth
,
Frank W. Finger
Specifying Java Card API in OCL
Authors:
Daniel H. Larsson
,
Wojciech Mostowski
Object Management Group:‘Object Constraint Language (OCL)’.
Authors:
O. OCL
See all similar
Cited by
11
Model Driven Engineering
Authors:
Stuart Kent
Modular Architecture for a Toolset Supporting OCL
Authors:
Heinrich Hussmann
,
Birgit Demuth
,
Frank W. Finger
OCL as a Specification Language for Business Rules in Database Applications
Authors:
Birgit Demuth
,
Heinrich Hussmann
,
Sten Loecher
See all cited by