Package 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]] | |||
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. | 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. | ||
[[Category:User documentation]] | |||
[[Category:UML-B]] | |||
Latest revision as of 20:29, 10 September 2008
Return to UML-B
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.
