Consistency Checks
This section provides a list of consistency checks that can be made on the models produced by the system analysis.
- Check that all use cases from the requirements analysis have been refined to analysis use cases.
- Check that all entities in the requirements object model are either represented in the analysis object model or not really needed by the application.
- Check that the object model diagrams and MSCs conform to the static rules for each notation.
- Check that the instances in the MSCs correspond to classes in the object model or to actors that interact with the system.
- Check that the messages received by the instances in the MSCs correspond to operations on the corresponding classes. Note that for remote procedures there may be two messages in an MSC for one operation, one message for the request and one for the reply. In this case the reply message should not have any corresponding operation.