UML 2.6 RTF Avatar
  1. OMG Issue

UMLR — Semantic error in Lifeline::interaction_uses_share_lifeline

Open Closed All
  • Key: UMLR-281
  • Legacy Issue Number: 18972
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    The OCL for Lifeline::interaction_uses_share_lifeline has a semantic error at "... implies usingInteraction.lifeline->select..." the RHS of implies is non-Boolean.

    Changing "select" to "exists" makes the semantic problem go away

  • Reported: UML 2.5 — Tue, 24 Sep 2013 04:00 GMT
  • Updated: Fri, 6 Mar 2015 20:57 GMT