Advertisement
Help Keep Boards Alive. Support us by going ad free today. See here: https://subscriptions.boards.ie/.
If we do not hit our goal we will be forced to close the site.

Current status: https://keepboardsalive.com/

Annual subs are best for most impact. If you are still undecided on going Ad Free - you can also donate using the Paypal Donate option. All contribution helps. Thank you.
https://www.boards.ie/group/1878-subscribers-forum

Private Group for paid up members of Boards.ie. Join the club.

Inference in class relationships etc

  • 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