So-net無料ブログ作成
  • ブログをはじめる
  • ログイン

調べ物:Object Constraint Language Version 2.0 formal/06-05-01 [OCUP&OCRES]

OMG認定UML試験 Advancedを受験します。
しかし、中々勉強に手がつけられてません。

これではいかん!ということで、目次を元にチェックリストを作りました。
がんばらう。



Object Constraint Language
OMG Available Specification
Version 2.0
formal/06-05-01

Chapter No. Chapter name Page Check
1  Scope 1
2  Conformance 1
3  Normative References 2
4  Terms and Definitions 2
5 Symbols  2
6 Additional Information  2
6.1 Changes to Adopted OMG Specifications 2
6.2 Structure of the Specification 2
6.3 Acknowledgements 3
7 OCL Language Description  5
7.7.1 Why OCL?  5
7.1.1 Where to Use OCL  5
7.2 Introduction 6
7.2.1 Legend  6
7.2.2 Example Class Diagram  6
7.3 Relation to the UML Metamodel 7
7.3.1 Self  7
7.3.2 Specifying the UML Context  7
7.3.3 Invariants  7
7.3.4 Pre- and Postconditions  8
7.3.5 Package Context . 9
7.3.6 Operation Body Expression  9
7.3.7 Initial and Derived Values  9
7.3.8 Other Types of Expressions  10
7.4 Basic Values and Types  10
7.4.1 Types from the UML Model  10
7.4.2 Enumeration Types  11
7.4.3 Let Expressions  11
7.4.4 Additional operations/attributes through ≪definition≫ expressions  11
7.4.5 Type Conformance 11
7.4.6 Re-typing or Casting  12
7.4.7 Precedence Rules  13
7.4.8 Use of Infix Operators  13
7.4.9 Keywords  13
7.4.10 Comment  14
7.5 Objects and Properties 14
7.5.1 Properties: Attributes  15
7.5.2 Properties: Operations  15
7.5.3 Properties: AssociationEnds and Navigation  16
7.5.4 Navigation to Association Classes  18
7.5.5 Navigation from Association Classes  19
7.5.6 Navigation through Qualified Associations  19
7.5.7 Using Pathnames for Packages  19
7.5.8 Accessing overridden properties of supertypes  19
7.5.9 Predefined properties on All Objects  20
7.5.10 Features on Classes Themselves  21
7.5.11 Collections  21
7.5.12 Collections of Collections  23
7.5.13 Collection Type Hierarchy and Type Conformance Rules  23
7.5.14 Previous Values in Postconditions  23
7.5.15 Tuples  24
7.6 Collection Operations 25
7.6.1 Select and Reject Operations  25
7.6.2 Collect Operation  26
7.6.3 ForAll Operation  27
7.6.4 Exists Operation  28
7.6.5 Iterate Operation  28
7.7 Messages in OCL 29
7.7.1 Calling operations and sending signals  29
7.7.2 Accessing result values  30
7.7.3 An example  30
7.8 Resolving Properties  31
8 Abstract Syntax  33
8.1 Introduction  33
8.2 The Types Package 33
8.3 The Expressions Package 40
9 Concrete Syntax . 61
9.1 Structure of the Concrete Syntax 61
9.2 A Note to Tool Builders 63
9.2.1 Parsing  63
9.2.2 Visibility . 63
9.3 Concrete Syntax 64
9.3.1 Comments . 90
9.3.2 Operator Precedence 91
9.4 Environment Definition 91
9.4.1 Environment 91
9.4.2 NamedElement . 93
9.4.3 Namespace . 93
9.5 Concrete to Abstract Syntax Mapping 94
9.6 Abstract Syntax to Concrete Syntax Mapping  94
10 Semantics Described Using UML . 95
10.1 Introduction 95
10.2 The Values Package 96
10.2.1 Definitions of concepts for the Values package  97
10.2.2 Well-formedness rules for the Values Package  101
10.2.3 Additional Operations for the Values Package  103
10.2.4 Overview of the Values Package  105
10.3 The Evaluations Package  105
10.3.1 Definitions of Concepts for the Evaluations Package  107
10.3.2 Model PropertyCall Evaluations  110
10.3.3 If Expression Evaluations  111
10.3.4 Ocl Message Expression Evaluations  112
10.3.5 Literal Expression Evaluations  113
10.3.6 Let expressions  115
10.3.7 Well-formedness Rules of the Evaluations Package  116
10.3.8 Overview of the Values Package  125
10.4 The AS-Domain-Mapping Package 125
10.4.1 Well-formedness rules for the AS-Domain-Mapping.type-value Package  128
10.4.2 Additional operations for the AS-Domain-Mapping.type-value Package  129
10.4.3 Well-formedness rules for the AS-Domain-Mapping.exp-eval Package  129
11 OCL Standard Library  137
11.1 Introduction  137
11.2 The OclAny, OclVoid, OclInvalid, and OclMessage Types  137
11.2.1 OclAny  137
11.2.2 OclMessage  138
11.2.3 OclVoid  138
11.2.4 OclInvalid  138
11.2.5 Operations and Well-formedness Rules  138
11.2.6 OclMessage  139
11.3 Special Types  140
11.3.1 OclElement  140
11.3.2 OclType  140
11.3.3 Operations and well-formedness rules  140
11.4 Primitive Types  140
11.4.1 Real  140
11.4.2 Integer  141
11.4.3 String  141
11.4.4 Boolean  141
11.4.5 UnlimitedInteger  141
11.5 Operations and Well-formedness Rules  141
11.5.1 Real  141
11.5.2 Integer  142
11.5.3 String  143
11.5.4 Boolean  144
11.6 Collection-Related Types 144
11.6.1 Collection  144
11.6.2 Set  145
11.6.3 OrderedSet  145
11.6.4 Bag  145
11.6.5 Sequence  145
11.7 Operations and Well-formedness Rules  145
11.7.1 Collection  145
11.7.2 Set  146
11.7.3 OrderedSet 148
11.7.4 Bag  149
11.7.5 Sequence  151
11.8 Predefined Iterator Expressions 154
11.8.1 Extending the standard library with iterator expressions  154
11.9 Mapping Rules for Predefined Iterator Expressions 155
11.9.1 Collection  155
11.9.2 Set  156
11.9.3 Bag  157
11.9.4 Sequence  157
12 The Use of OCL Expressions in UML Models  159
12.1 Introduction  159
12.1.1 UML 2.0 Alignment  159
12.2 The ExpressionInOcl Type 159
12.2.1 ExpressionInOcl  160
12.3 Well-formedness Rules  160
12.3.1 ExpressionInOcl  160
12.4 Standard Placements of OCL Expressions  161
12.4.1 How to extend the use of OCL at other places  161
12.5 Definition  161
12.5.1 Well-formedness rules  161
12.6 Invariant 162
12.6.1 Well-formedness rules  162
12.7 Precondition 162
12.7.1 Well-formedness rules  163
12.7.2 Postcondition  163
12.7.3 Well-formedness rules  164
12.8 Initial Value Expression  164
12.8.1 Well-formedness rules  164
12.9 Derived Value Expression  165
12.1 Operation Body Expression 165
12.11 Guard 166
12.11.1 Well-formedness rules  166
12.12 Concrete Syntax of Context Declarations  167
12.12.1 packageDeclarationCS  167
12.12.2 contextDeclarationCS  167
12.12.3 attrOrAssocContextCS  168
12.12.4 initOrDerValueCS  168
12.12.5 classifierContextDeclCS  168
12.12.6 invOrDefCS  168
12.12.7 defExpressionCS  168
12.12.8 operationContextDeclCS  168
12.12.9 prePostOrBodyDeclCS  169
12.12.10 operationCS  169
12.12.11 parametersCS  169
13 The Basic OCL and Essential OCL  171
13.1 Introduction  171
13.2 OCL Adaptation for Metamodeling 171
13.3 Diagrams  172
Annex A: Semantics  177
Annex B: Bibliography  213

nice!(0)  コメント(0)  トラックバック(0) 
共通テーマ:パソコン・インターネット

nice! 0

コメント 0

コメントを書く

お名前:[必須]
URL:
コメント:
画像認証:
下の画像に表示されている文字を入力してください。

トラックバック 0