A Novel Technique to Verify the UML Use Case Diagrams

Y. Kotb and T. Katayama (Japan)


Verification and Validation, UML, Use case diagram,XML, Checking Consistency.


We present a novel approach to check the verification of the use case diagrams. This technique is based on the XMI format that corresponds to the use case diagram. By using this XMI format we can verify the use case diagrams automatically using the XML semantics approach. The XML semantics approach is a novel tool that is implemented to check the semantic consistency of XML documents using attribute grammar techniques. The verification constrains are specified using the proposed formal language for the XML semantics checker model (SLXS). Mainly, in this paper, we will validate that the numbers of actors, use cases, associations, generalizations and so on are consistent inside the diagram.

Important Links:

Go Back