Issue 11826: Section 7.11.2.3: Empty CollectionTemplateExp is useful (qvt-rtf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
Summary: 7.11.2.3 and Figure 7.6 both impose a lowerBound of 1 on CollectionTemplateExp.member and CollectionTemplateExp.rest.


However, the concrete syntax permits an empty match. This empty match is exploited in the
UnsharedWhenVarsToMgVars relation in Section 10.


Suggest:


Change CollectionTemplateExp.member to [0..*]
Change CollectionTemplateExp.rest to [0..1]


Add a sentence to clarify the empty match semantics.

Resolution: 
Revised Text: 
Actions taken:
December 17, 2007: received issue
Discussion: 

End of Annotations:=====

m: "Ed Willink" <ed@willink.me.uk>
To: <issues@omg.org>
Subject: MOF-QVT 1.0 Section 7.11.2.3: Empty CollectionTemplateExp is useful
Date: Mon, 17 Dec 2007 08:37:25 -0000
X-Mailer: Microsoft Outlook, Build 10.0.6822
Thread-Index: AchAiAzWihYaI2I7SCyZbiHti5J6fQ==


Hi


7.11.2.3 and Figure 7.6 both impose a lowerBound of 1 on CollectionTemplateExp.member and CollectionTemplateExp.rest.


However, the concrete syntax permits an empty match. This empty match is exploited in the
UnsharedWhenVarsToMgVars relation in Section 10.


Suggest:


Change CollectionTemplateExp.member to [0..*]
Change CollectionTemplateExp.rest to [0..1]


Add a sentence to clarify the empty match semantics.


    Regards


        Ed Willink