UML

  1. Object Constraint Language (OCL)
    1. OCL Fundamentals
      1. Purpose and Role in UML
        1. OCL Syntax and Grammar
          1. OCL Type System
            1. OCL Expressions
            2. Constraint Types
              1. Invariants
                1. Class Invariants
                  1. Type Invariants
                    1. Association Invariants
                    2. Pre-conditions
                      1. Operation Pre-conditions
                        1. Method Contracts
                        2. Post-conditions
                          1. Operation Post-conditions
                            1. Result Specifications
                            2. Initial Values
                              1. Derived Values
                                1. Body Expressions
                                2. OCL Language Constructs
                                  1. Basic Types
                                    1. Boolean Type
                                      1. Integer Type
                                        1. Real Type
                                          1. String Type
                                          2. Collection Types
                                            1. Set Operations
                                              1. Bag Operations
                                                1. Sequence Operations
                                                  1. Collection Iteration
                                                  2. Logical Operators
                                                    1. Arithmetic Operators
                                                      1. Comparison Operators
                                                      2. Advanced OCL Features
                                                        1. Let Expressions
                                                          1. If-Then-Else Expressions
                                                            1. Iterate Expressions
                                                              1. Standard Library Operations
                                                                1. User-Defined Operations
                                                                2. OCL in Practice
                                                                  1. Writing Effective Constraints
                                                                    1. Constraint Validation
                                                                      1. Tool Support for OCL
                                                                        1. Common OCL Patterns

                                                                      Previous

                                                                      5. Interaction Diagrams

                                                                      Go to top

                                                                      Next

                                                                      7. UML Profiles and Extensibility