Context Diagram

From Event-B
Revision as of 12:28, 3 April 2008 by imported>Colin (New page: 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 As...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Context_Diagram&oldid=1675’