Issue 17301: Errors in example for micro actions (kdm-rtf)
Source: Benchmark Consulting (Dr. Stephane Vaucher, )
Nature: Revision
Severity: Minor
Summary: The example used to describe the difference between micro and non-micro kdm support contains several errors. From example in Chapter 14:


id.11 id.80 id:85 -> Flows do not have 'to'
id.45  -> should be of type Pointer (id.103)
id.55 [ArraySelect] -> Select is on an array of pointers, the register (id.45) should be a pointer.
id.61 [PointerReplace] -> PtrReplace is missing the addresses (first reads should become an addresses)
id.92 -> Missing Addresses
id.103 -> Array contains pointers (not integers), Array operations should reflect this


In normative ANNEX:
A.5 PtrReplace inputs should be corrected to 'single reads relationship' rather than last read.
Resolution: 
Revised Text: 
Actions taken:
April 11, 2012: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 11 Apr 2012 13:11:09 -0400
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Stephane Vaucher
Employer:        Benchmark Canada
mailFrom:        svaucher@benchmarkcanada.com
Terms_Agreement: I agree
Specification:   Architecture-Driven Modernization (ADM): Knowledge Discovery Meta-Model (KDM)
Section:         ANNEX A.5
FormalNumber:    ptc/2010-12-12
Version:         1.3
Doc_Year:        2010
Doc_Month:       December
Doc_Day:         12
Page:            322
Title:           Errors in example for micro actions
Nature:          Revision
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


The example used to describe the difference between micro and non-micro kdm support contains several errors. From example in Chapter 14:


id.11 id.80 id:85 -> Flows do not have 'to'
id.45  -> should be of type Pointer (id.103)
id.55 [ArraySelect] -> Select is on an array of pointers, the register (id.45) should be a pointer.
id.61 [PointerReplace] -> PtrReplace is missing the addresses (first reads should become an addresses)
id.92 -> Missing Addresses
id.103 -> Array contains pointers (not integers), Array operations should reflect this


In normative ANNEX:
A.5 PtrReplace inputs should be corrected to 'single reads relationship' rather than last read.