Advertisement
If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)
Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie

Inference in class relationships etc

Options
  • 04-11-2010 10:12pm
    #1
    pwd
    Closed Accounts Posts: 5,284 ✭✭✭


    What sort of logical inferences can be made from UML models, for example, about their content?

    I can only think of obvious ones like

    "If a is a component of b and b is a component of c, then a is a component of c"

    and the equivalent, or obvious contradictions or inconsistencies. Some possible inconsistencies are described in the following paper:

    http://w3.umh.ac.be/pub/ftp_infofs/2003/uml2003-dl-verstraeten.pdf
    • Classless instance arises when an object in a sequence diagram is the
    instance of a class that does not exist in any class diagram.
    • Classless statechart arises when the state diagram is associated to a class
    that does not exist in any class diagram.
    • Dangling (inherited) feature reference arises when a stimulus, event,
    guard or action references an attribute or operation that does not exist
    in the corresponding class (or its ancestors).
    • Dangling (inherited) association reference arises when a certain link (to
    which a stimulus (or stimuli) is related) in a sequence diagram is an
    instance of an association that does not exist between the classes of the
    linked objects (or between the ancestors of these classes).

    It also suggests pulling up methods/properties that occur in every subclass, to the parent class.

    Are there other inferences to be made? What are they?


Advertisement