Hello! It is project about verifying contradiction that may occur in UML(2.0 version) project.
We decided to work with 4 types of diagrams : Class, Object, Sequence, State Machine.
There are 4 package in the root:
...model - contains JavaBean's that represents our 4 diagram.
........class -
........object -
........sequence -
........statemachine
...converter.xmi - package that will contains converter from XMI format to our model.
...engine - contains will contains classes for verifying UML.
...gui - it's obviously..
-
Kulankhina Oleksandra [email protected]
-
Mykhailenko Hlib [email protected]
-
Shatalov Yaroslav [email protected]
CheckAttributeOrAssociate CheckEntryMethodsCriterion CheckNoStaticMethod CheckVisibilityMethod NaryNoAggregationOnly PartOfSingleComposite