Difference between revisions of "Package Diagram"
From Event-B
Jump to navigationJump to searchimported>Colin (New page: Package diagrams.....) |
imported>Colin |
||
Line 1: | Line 1: | ||
− | Package diagrams.. | + | Package Diagrams are used to describe the relationships between top level components (machines and contexts) of a UML-B project. As in UML, package diagrams provide a structuring of the model. However, package diagrams also cater for the concept of refinement. The diagram shows the refines relationships between Machines, the extends (superposition refinement) relationships between Contexts and the sees relationships from machines to contexts. |
Revision as of 12:27, 3 April 2008
Package Diagrams are used to describe the relationships between top level components (machines and contexts) of a UML-B project. As in UML, package diagrams provide a structuring of the model. However, package diagrams also cater for the concept of refinement. The diagram shows the refines relationships between Machines, the extends (superposition refinement) relationships between Contexts and the sees relationships from machines to contexts.