Issue 14904: TimedElement.on default value should refer to the ideal clock (marte-rtf) Source: THALES (Mr. Sebastien Demathieu, sebastien.demathieu(at)thalesgroup.com) Nature: Revision Severity: Critical Summary: TimedElement.on default value should refer to the ideal clock, by the mean of a default property (e.g. instance value) Resolution: The intent was actually to do so. When attribute "on" is not used, then it implicitly refers to idealClk. However, "idealClk" is defined in "TimeLibrary", which actually applies the "Time" profile. So what is requested in the issue would actually create a cyclic dependency. The resolution proposes to add a sentence to make the intent clear as suggested by the issue. Revised Text: ----------- begin --------- Page 74, section 9.3.1.1, add the following text at the end of the paragraph: TimedElement is an abstract stereotype that must be used to associate one (or many when dealing with multiple time references) clock(s) to a UML model element. The concrete specializations of TimedElement make it clear which model element can or cannot be associated with clocks. When the property “on” is not specified, it should be understood as being by default, a dense chronometric clock with no flaws that represent the physical time. One possible example of such clock called “idealClk” is available in the library TimeLibrary. (see Annex D.3.2). ----------- end --------- ----------- begin --------- Page 81, section 9.3.2.7.3, Replace: Rreferences a set of Clocks. by References a set of Clocks. When no clock is explicitly specified, a reference to an implicit dense chronometric clock (like idealClk, see Annex D.3.2) is intended. ----------- end --------- Disposition: Actions taken: December 31, 2009: received issue January 14, 2011: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 31 Dec 2009 07:52:12 -0500 To: Subject: Issue/Bug Report ******************************************************************************* Name: SĂ©stien Demathieu Company: Thales mailFrom: sebastien.demathieu@thalesgroup.com Notification: Yes Specification: MARTE Section: Time FormalNumber: 09-11-02 Version: 1.0 RevisionDate: 11/2009 Page: 67 Title: TimedElement.on default value should refer to the ideal clock Nature: Revision Severity: Critical test: 3qw8 B1: Report Issue Description: X-IronPort-AV: E=Sophos;i="4.49,461,1262559600"; d="scan'208";a="52660576" Date: Fri, 12 Feb 2010 17:36:25 +0100 From: Frederic Mallet User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) To: marte-rtf Subject: [Time WG] Issue 14904 - TimedElement.on default value should refer to the ideal clock This was actually the idea. When attribute "on" is not used, then it implicitly refers to idealClk. However, "on" is a set, so the default value should be a singleton which only element is defined in a library. I am not quite sure whether there is a notation for that. Another more complex problem is that "idealClk" is defined in "TimeLibrary", which actually applies the "Time" profile. So, assuming there is a notation, by making that you make a circular definition. Any idea or suggestion ? TimedElement.on default value should refer to the ideal clock, by the mean of a default property (e.g. instance value)