Issue 12497:  TimedDomain stereotype (marte-ftf)
Source: INRIA (Mr. Charles Andre, Charles.ANDRE(at)unice.fr)
Nature: Uncategorized Issue
Severity: Significant
Summary: Resolution of issue 12414 introduced two base metaclasses for
stereotype Clock (InstanceSpecification and Property).
The TimedDomain stereotype has to be changed to support the case of 
Clock being a Property extension.
The OCL rule number 1 has also to be updated.

Resolution: Change the metaclass of TimedDomain from Package to Namespace in Figure
9.26. Also change Extensions of TimedDomain (9.3.2.5). No need to change
OCL rule for this issue because there is no ocl rule associated with
TimedDomain, but see issue 12498 for indirect change.
Revised Text: see ptc/2009-05-12 pages 205 - 206
Actions taken:
May 16, 2008: received issue
October 16, 2009: closed issue
Discussion: 

End of Annotations:=====
s is issue # 12497	From: "Charles Andre" <Charles.Andre@sophia.inria.fr>


 TimedDomain stereotype

Resolution of issue 12414 introduced two base metaclasses for
stereotype Clock (InstanceSpecification and Property).
The TimedDomain stereotype has to be changed to support the case of 
Clock being a Property extension.
The OCL rule number 1 has also to be updated.