Issue 11504: Annex D3 MARTE model library for time (marte-ftf) Source: INRIA (Mr. Charles Andre, Charles.ANDRE(at)unice.fr) Nature: Uncategorized Issue Severity: Summary: In Annex D3 MARTE model library for time, 2 enumerations (EventKind and TimeStandardKind) have to be moved from the Time library to the TimeTypesLibrary, because these enumerations are used in the profile definition. Resolution: Proceed with the proposed modifications. Revised Text: Page 438-440 old text: This section provides model elements related to Time, gathered in two model libraries (Figure D.7). The TimeTypesLibrary library is used in the Time profile, the TimeLibrary is for users. Figure D.6 - Structure of the MARTE time model library TimeTypesLibrary library This package contains enumerations used in the Time profile (Figure D.8). TimeNatureKind is an enumeration type that defines literals used to specify the discrete or dense nature of a time value. TimeInterpretationKind is an enumeration type that defines literals used to specify the way to interpret a time expression: either as a duration or as an instant. Figure D.7 - TimeTypesLibrary library TimeLibrary The TimeLibrary library (Figure D.9) provides enumerations related to time and facilities for using the ideal chronometric time (i.e., the time referenced in physical laws). TimeUnitKind contains the main chronometric time units. s (second) is an SI unit. Other units are derived units. All the enumeration literals are stereotyped by clockUnit. LogicalTimeUnitKind is a special enumeration which contains one enumeration literal only. This literal is tick. TimeStandardKind defines literals used to specify the standard "systems of time". The meaning of the acronyms is given below · GPS General Positioning System, not adjusted for leap seconds · Local Local Time · Sidereal Sidereal Time · TAI International Atomic Time scale, a statistical timescale based on a large number of atomic clocks · TCB Barycentric Coordinate Time · TCG Geocentric Coordinate Time · TDB Barycentric Dynamical Time · TT Terrestrial Time · UT0 Universal Time 0 · UT1 Universal Time 1 · UTC Coordinated Universal Time Figure D.8 -Detailed model library of TimeLibrary The IdealClock and its instance idealClk model the abstract and ideal time which is used in physical laws. It is a dense time. idealClk should be imported in models that refer to chronometric time. TimedValueType is a templated data type. The template parameter is an enumeration which contains time units. The EventKind enumeration contains literals that may characterize events: events related to a behavior execution (start and finish), and events related to a request (send, receive, and consume). Page 438-440 new text: This section provides model elements related to Time, gathered in two model libraries (Figure ). The TimeTypesLibrary library is used in the Time profile, the TimeLibrary is for users. Figure 1 - Structure of the MARTE time model library TimeTypesLibrary Library This package contains enumerations used in the Time profile (Figure ). TimeNatureKind is an enumeration type that defines literals used to specify the discrete or dense nature of a time value. TimeInterpretationKind is an enumeration type that defines literals used to specify the way to interpret a time expression: either as a duration or as an instant. The EventKind enumeration contains literals that may characterize events: events related to a behavior execution (start and finish), and events related to a stimulus (send, receive, and consume). TimeStandardKind defines literals used to specify the standard "systems of time". The meaning of the acronyms is given below · GPS General Positioning System, not adjusted for leap seconds · Local Local Time · Sidereal Sidereal Time · TAI International Atomic Time scale, a statistical timescale based on a large number of atomic clocks · TCB Barycentric Coordinate Time · TCG Geocentric Coordinate Time · TDB Barycentric Dynamical Time · TT Terrestrial Time · UT0 Universal Time 0 · UT1 Universal Time 1 · UTC Coordinated Universal Time Figure 2 - TimeTypesLibrary library TimeLibrary The TimeLibrary library (Figure ) provides enumerations related to time and facilities for using the ideal chronometric time (i.e., the time referenced in physical laws). TimeUnitKind contains the main chronometric time units. s (second) is an SI unit. Other units are derived units. All the enumeration literals are stereotyped by clockUnit. LogicalTimeUnitKind is a special enumeration which contains one enumeration literal only. This literal is tick. The IdealClock and its instance idealClk model the abstract and ideal time which is used in physical laws. It is a dense time. idealClk should be imported in models that refer to chronometric time. TimedValueType is a templated data type. The template parameter is an enumeration which contains time units. Figure 3: Detailed model library of TimeLibrary Actions taken: September 20, 2007: received issue February 17, 2010: closed issue Discussion: End of Annotations:===== -Scanned: amavisd-new at i3s.unice.fr Date: Thu, 20 Sep 2007 10:49:06 +0200 From: Charles André Reply-To: charles.andre@unice.fr Organization: Laboratoire I3S User-Agent: Thunderbird 1.5.0.13 (Windows/20070809) To: issues@omg.org Cc: Charles André Subject: Issue for MARTE UML profile for MARTE Source: INRIA (Mr. Charles ANDRE andre@unice.fr) Nature: Severity: Summary: In Annex D3 MARTE model library for time, 2 enumerations (EventKind and TimeStandardKind) have to be moved from the Time library to the TimeTypesLibrary, because these enumerations are used in the profile definition. Resolution: I attach the proposed modified text for Annex D3. AnnexD3_FTF.zip charles.andre.vcf