Source: Model Driven Solutions ( Ed Seidewitz)
Under Semantics/OperationCall for Feature Invocation Expressions, step 3 is to "select the most specific operations". Note that this is plural, indicating that there may be more than one. The paragraph following step 3 states that "If there is a single operation remaining...this is the operation to be called", and a later paragraph indicates that "If there are no operations left...the feature invocation expression is illegal, with one exception". However, the case of more than one operation remaining after step 3 is not mentioned explicitly.
It should be explicitly stated that the expression is illegal in the case of more than one operation remaining after step 3.
Reported: ALF 1.0 — Mon, 22 Jun 2015 20:27 GMT
Disposition: Resolved — ALF 1.1
Add clarification to overloading resolution rules
Updated: Thu, 22 Jun 2017 16:40 GMT
ALF11 — Overload resolution for feature invocation expressions should be specific about the case of multiple most-specific operations.
- Key: ALF11-35
- OMG Task Force: Action Language for fUML 1.1 (ALF) RTF