Issue 18972: Semantic error in Lifeline::interaction_uses_share_lifeline (uml2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Clarification
Severity: Minor
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
Resolution: 
Revised Text: 
Actions taken:
September 24, 2013: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 24 Sep 2013 11:48:00 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Edward Willink
Employer:        
mailFrom:        ed@willink.me.uk
Terms_Agreement: 
Specification:   UML
Section:         xx
FormalNumber:    xx
Version:         2.5
Doc_Year:        2013
Doc_Month:       September
Doc_Day:         01
Page:            xx
Title:           Semantic error in Lifeline::interaction_uses_share_lifeline
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue
Remote Name:     63.117.77.7
Remote User:     
HTTP User Agent: Mozilla/5.0 (Windows NT 6.0; rv:24.0) Gecko/20100101 Firefox/24.0
Time:            11:47 AM


Description:


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