UsefulLinks
Computer Science
Other Tools and Technologies
UML
1. Introduction to UML
2. Fundamental UML Concepts and Building Blocks
3. Structural Diagrams
4. Behavioral Diagrams
5. Interaction Diagrams
6. Object Constraint Language (OCL)
7. UML Profiles and Extensibility
8. UML in Software Development Lifecycle
9. Advanced UML Applications
10. UML Tools and Environment
11. Best Practices and Guidelines
6.
Object Constraint Language (OCL)
6.1.
OCL Fundamentals
6.1.1.
Purpose and Role in UML
6.1.2.
OCL Syntax and Grammar
6.1.3.
OCL Type System
6.1.4.
OCL Expressions
6.2.
Constraint Types
6.2.1.
Invariants
6.2.1.1.
Class Invariants
6.2.1.2.
Type Invariants
6.2.1.3.
Association Invariants
6.2.2.
Pre-conditions
6.2.2.1.
Operation Pre-conditions
6.2.2.2.
Method Contracts
6.2.3.
Post-conditions
6.2.3.1.
Operation Post-conditions
6.2.3.2.
Result Specifications
6.2.4.
Initial Values
6.2.5.
Derived Values
6.2.6.
Body Expressions
6.3.
OCL Language Constructs
6.3.1.
Basic Types
6.3.1.1.
Boolean Type
6.3.1.2.
Integer Type
6.3.1.3.
Real Type
6.3.1.4.
String Type
6.3.2.
Collection Types
6.3.2.1.
Set Operations
6.3.2.2.
Bag Operations
6.3.2.3.
Sequence Operations
6.3.2.4.
Collection Iteration
6.3.3.
Navigation Expressions
6.3.3.1.
Property Navigation
6.3.3.2.
Association Navigation
6.3.3.3.
Role Navigation
6.3.4.
Logical Operators
6.3.5.
Arithmetic Operators
6.3.6.
Comparison Operators
6.4.
Advanced OCL Features
6.4.1.
Let Expressions
6.4.2.
If-Then-Else Expressions
6.4.3.
Iterate Expressions
6.4.4.
Standard Library Operations
6.4.5.
User-Defined Operations
6.5.
OCL in Practice
6.5.1.
Writing Effective Constraints
6.5.2.
Constraint Validation
6.5.3.
Tool Support for OCL
6.5.4.
Common OCL Patterns
Previous
5. Interaction Diagrams
Go to top
Next
7. UML Profiles and Extensibility