White Papers

Using Class Relationships for Identifying Invariants

Overview Formally specified invariants on UML models greatly enhance the correctness of the model by restricting the state space such that invalid scenarios that are admitted by the class diagram can be forbidden. Identification of these invariants in the situations where objects may or may not be shared is critical to the development of the model. Simple patterns based upon "Shapes" or patterns that exist in the class diagram can be applied to assist the developer in finding suitable places for these invariants and thus improving the preciseness or rigor of the models and the correctness of the system under development.

Further White Paper Details
PublisherNokia File FormatPDF
Date PublishedMay 2005 Downloads1
FormatWhite Papers   
Topics
    N/A
  • Download White Paper
  • Yes, useful No, not useful Did you find this white paper useful? 0 out of 1 users found this white paper useful