Context Diagram: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Colin No edit summary |
imported>Mathieu m Robot: Changing Category:User Documentation |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
Return to [[UML-B]] | |||
The Context diagram defines the static (constant) part of a model. The context diagram is similar to a class diagram but has only constant data represented by ClassTypes, Attributes and Associations. Axioms (given properties about the constants) and Theorems (assertions requiring proof) may be attached to the ClassTypes. ClassTypes either define ‘carrier’ sets or constant subsets of other ClassTypes. ClassTypes may own immutable attributes and associations which represent constant functions that use the ClassType as domain. | The Context diagram defines the static (constant) part of a model. The context diagram is similar to a class diagram but has only constant data represented by ClassTypes, Attributes and Associations. Axioms (given properties about the constants) and Theorems (assertions requiring proof) may be attached to the ClassTypes. ClassTypes either define ‘carrier’ sets or constant subsets of other ClassTypes. ClassTypes may own immutable attributes and associations which represent constant functions that use the ClassType as domain. | ||
[[Category:User documentation]] | |||
[[Category:UML-B]] | |||
Latest revision as of 20:27, 10 September 2008
Return to UML-B
The Context diagram defines the static (constant) part of a model. The context diagram is similar to a class diagram but has only constant data represented by ClassTypes, Attributes and Associations. Axioms (given properties about the constants) and Theorems (assertions requiring proof) may be attached to the ClassTypes. ClassTypes either define ‘carrier’ sets or constant subsets of other ClassTypes. ClassTypes may own immutable attributes and associations which represent constant functions that use the ClassType as domain.
