Issue 14221: Semantics description of TimedObserver (marte-rtf) Source: Commissariat a l Energie Atomique-CEA (Dr. Sebastien Gerard, sebastien.gerard(at)cea.fr) Nature: Clarification Severity: Minor Summary: The description of the semantics of TimedObserver in section F10.18 has to be aligned with its description denoted in the diagram shown in figure 15.4. TimedObserver can refer to several start and end events. Resolution: {Fig 15.4 shows multiplicity * for both start and end events. Sec F10.18 shows multiplicity 0..1 for both... this should be changed to *. Since there may be several pairs of events, the associations must be ordered to express the correspondence. Since the is also an attribute laxity for each pair, it must also be multiple and ordered. Also there is confusion in the naming of the associations: startObs and endObs in the text in F10.18 and of Ch 15 for domain and UML, and startEvent and endEvent in the formal definition of F10.18 and in Fig. 15.4, and in the profile definition (sec 15.3.2.14). One or the other should be used consistently. Since startEvent/endEvent is rather generic, and indeed is also used in the Core domain model in another sense, it is preferred to standardize on startObs and endObs. Revised Text: (1) Before the change, sec F10.18 p 680 has TimedObservers are conceptual entities that collect timing requirements and predictions related to a pair of user-defined observed events. In this sense, TimedObserver uses TimedInstantObservations (from the Time sub-profile) to define the observed event in a given behavioral model. Normally the observer expresses constraints on the duration between the two time observations, named startObs and endObs. Generalizations • NFP_Constraint (from NFPs::NFP_Annotation) Associations • endEvent: Time::TimedRelatedEntities::TimedObservations::TimedInstantObservation [0..1] Observed event to which the timing observer apply. • startEvent: Time::TimedRelatedEntities::TimedObservations::TimedInstantObservation [0..1] Reference event. After the changge, it is TimedObservers are conceptual entities that collect timing requirements and predictions related to a pair of user-defined observed events. In this sense, TimedObserver uses TimedInstantObservations (from the Time sub-profile) to define the observed event in a given behavioral model. Normally the observer expresses constraints on the duration between the two time observations, named startObs and endObs. If there are multiple pairs of events the definitions must be ordered to correspond, each with an value of the attribute laxity, also ordered. Generalizations • NFP_Constraint (from NFPs::NFP_Annotation) Associations • endObs: Time::TimedRelatedEntities::TimedObservations::TimedInstantObservation [*]{ordered} Observed event to which the timing observer apply. • startObs: Time::TimedRelatedEntities::TimedObservations::TimedInstantObservation [*](ordered} Reference event. Attributes • laxity: LaxityKind[*]{ordered} Indicates whether required timing constraints are hard or soft. (2) Section 15.3.2.14 Before the change: 15.3.2.14 GaTimedObs The GaTimedObs stereotype maps the TimedObserver domain element denoted in Annex F (Section F.10.18). GaTimedObs is a purely conceptual entity that serves to collect timing requirements and predictions that relates to user-defined observed events. In this sense, GaTimedObs uses UML TimeObservations to define the observed event in a given behavioral model. If there is more than one start/end pair they are ordered correspondingly, along with the laxity property for each pair. Extensions • None Generalizations • NfpConstraint (from NFPs::NFP_Annotation) Associations • endObs: UML::CommonBehaviors::BasicTime::TimeObservation [0..*]{ordered} Observed event to which the timing observer applies. • startObs: UML::CommonBehaviors::BasicTime::TimeObservation [0..*]{ordered} Reference event Attributes • laxity: LaxityKind [0..*]{ordered} Indicates whether required timing constraints are hard or soft (3) Figure 15.4 before after: replace the association labels startEvent and endEvent with startObs and endObs respectively {Precise editing instructions for applying resolution, including exact text, models, diagrams, references to be included or deleted. NOTE: IDL should be shown in Courier font} Actions taken: August 26, 2009: received issue January 14, 2011: closed issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 26 Aug 2009 05:48:48 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: Sebastien Gerard Company: CEA LIST mailFrom: sebastien.gerard@cea.fr Notification: Yes Specification: MARTE Section: Annex F10.18 FormalNumber: ptc/2009-05-13 Version: Beta3 RevisionDate: 2009-05-13 Page: 716 Title: Semantics description of TimedObserver. Nature: Clarification Severity: Minor test: 3qw8 B1: Report Issue Description: Date: Wed, 07 Apr 2010 10:18:12 -0400 From: "Chonoles, Michael J" Subject: Questsion about 14221 Resolution To: "marte-rtf@omg.org" Thread-Topic: Questsion about 14221 Resolution Thread-Index: AcrWOINXpef9Fu6GSCe/2W0rM28wEQAITHkg Accept-Language: en-US acceptlanguage: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Sorry, but I.m unsure the diagram change matches the revised text. In the proposed diagram 15.4 1) No mention that the startObs and endObs are ordered. 2) No mention that they are paired 3) No mention that there should be at least one. 4) As the TimedObserver has only 1 value of laxity, there is no association of laxity with individual pairs of events. (unless a new TimedObserver must be made) Can someone help me with my (presumably, basic) misconception. Michael Jesse Chonoles Lockheed Martin From: GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Sent: Wednesday, April 07, 2010 5:56 AM To: marte-rtf@omg.org Subject: MARTE: ballot 1, update of materials for voting Dear all, You will find hereafter a link to download an update of the spreadsheet for voting for the ballot 1 of MARTE 1.1 RTF and a bundle of the resolutions proposed for the issues including in this ballot. èttp://www.omgwiki.org/marte1.1-rtf/doku.php?id=marte_1.0_rtf_ballot_1 Best. Séstien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment Subject: RE: Questsion about 14221 Resolution Date: Wed, 7 Apr 2010 16:46:52 +0200 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Questsion about 14221 Resolution Thread-Index: AcrWOINXpef9Fu6GSCe/2W0rM28wEQAITHkgAAHSrzA= From: "GERARD Sebastien 166342" To: "Chonoles, Michael J" Cc: X-OriginalArrivalTime: 07 Apr 2010 14:46:53.0468 (UTC) FILETIME=[29C8D5C0:01CAD661] Dear Michael, All of the items you are mentioning were not part of the issue itself indeed. So the resolution does not deal with them. You may indeed raise a new issue including these comments I think? Séstien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment -------------------------------------------------------------------------------- De : Chonoles, Michael J [mailto:michael.j.chonoles@lmco.com] Envoyé mercredi 7 avril 2010 16:18 À: marte-rtf@omg.org Objet : Questsion about 14221 Resolution Sorry, but I.m unsure the diagram change matches the revised text. In the proposed diagram 15.4 1) No mention that the startObs and endObs are ordered. 2) No mention that they are paired 3) No mention that there should be at least one. 4) As the TimedObserver has only 1 value of laxity, there is no association of laxity with individual pairs of events. (unless a new TimedObserver must be made) Can someone help me with my (presumably, basic) misconception. Michael Jesse Chonoles Lockheed Martin From: GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Sent: Wednesday, April 07, 2010 5:56 AM To: marte-rtf@omg.org Subject: MARTE: ballot 1, update of materials for voting Dear all, You will find hereafter a link to download an update of the spreadsheet for voting for the ballot 1 of MARTE 1.1 RTF and a bundle of the resolutions proposed for the issues including in this ballot. èttp://www.omgwiki.org/marte1.1-rtf/doku.php?id=marte_1.0_rtf_ballot_1 Best. Séstien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment Date: Wed, 07 Apr 2010 10:48:08 -0400 From: "Chonoles, Michael J" Subject: RE: Questsion about 14221 Resolution To: GERARD Sebastien 166342 Cc: "marte-rtf@omg.org" Thread-Topic: Questsion about 14221 Resolution Thread-Index: AcrWOINXpef9Fu6GSCe/2W0rM28wEQAITHkgAAHSrzAAABPDEA== Accept-Language: en-US acceptlanguage: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: Ok, can do Thanks Michael From: GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Sent: Wednesday, April 07, 2010 10:47 AM To: Chonoles, Michael J Cc: marte-rtf@omg.org Subject: RE: Questsion about 14221 Resolution Dear Michael, All of the items you are mentioning were not part of the issue itself indeed. So the resolution does not deal with them. You may indeed raise a new issue including these comments I think? Séstien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment -------------------------------------------------------------------------------- De : Chonoles, Michael J [mailto:michael.j.chonoles@lmco.com] Envoyé mercredi 7 avril 2010 16:18 À: marte-rtf@omg.org Objet : Questsion about 14221 Resolution Sorry, but I.m unsure the diagram change matches the revised text. In the proposed diagram 15.4 1) No mention that the startObs and endObs are ordered. 2) No mention that they are paired 3) No mention that there should be at least one. 4) As the TimedObserver has only 1 value of laxity, there is no association of laxity with individual pairs of events. (unless a new TimedObserver must be made) Can someone help me with my (presumably, basic) misconception. Michael Jesse Chonoles Lockheed Martin From: GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Sent: Wednesday, April 07, 2010 5:56 AM To: marte-rtf@omg.org Subject: MARTE: ballot 1, update of materials for voting Dear all, You will find hereafter a link to download an update of the spreadsheet for voting for the ballot 1 of MARTE 1.1 RTF and a bundle of the resolutions proposed for the issues including in this ballot. èttp://www.omgwiki.org/marte1.1-rtf/doku.php?id=marte_1.0_rtf_ballot_1 Best. Séstien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment Date: Wed, 7 Apr 2010 10:55:35 -0400 (EDT) From: Murray Woodside Reply-To: cmw@sce.carleton.ca To: GERARD Sebastien 166342 cc: "Chonoles, Michael J" , marte-rtf@omg.org Subject: RE: Questsion about 14221 Resolution User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) No Seb, some of them are a matter of aligning the diagram with the changes in the text following the resolution... the ordered nature, for instance. But the multiplicity change is new. Murray Woodside Distinguished Research Professor Dept of Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, Ottawa K1S 5B6, Canada. (613)-520-5721.....fax (613)-520-5727....cmw@sce.carleton.ca (http://www.sce.carleton.ca/faculty/woodside.html) On Wed, 7 Apr 2010, GERARD Sebastien 166342 wrote: Dear Michael,  All of the items you are mentioning were not part of the issue itself indeed. So the resolution does not deal with them. You may indeed raise a new issue including these comments I think?  Sébastien.   Dr. Sébastien Gérard Head of MDD for DRES research project CEA LIST, Laboratoire dâIngénierie dirigée par les modèles pour les Systèmes Embarqués (LISE) Boîte courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus  Before printing, think about the environment ______________________________________________________________________________________________________ DeÂ: Chonoles, Michael J [mailto:michael.j.chonoles@lmco.com] EnvoyéÂ: mercredi 7 avril 2010 16:18 ÃÂ: marte-rtf@omg.org ObjetÂ: Questsion about 14221 Resolution  Sorry, but Iâm unsure the diagram change matches the revised text. In the proposed diagram 15.4  1) No mention that the startObs and endObs are ordered. 2) No mention that they are paired 3) No mention that there should be at least one. 4) As the TimedObserver has only 1 value of laxity, there is no association of laxity with individual pairs of events. (unless a new TimedObserver must be made)  Can someone help me with my (presumably, basic) misconception. Michael Jesse Chonoles Lockheed Martin  From: GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Sent: Wednesday, April 07, 2010 5:56 AM To: marte-rtf@omg.org Subject: MARTE: ballot 1, update of materials for voting  Dear all,  You will find hereafter a link to download an update of the spreadsheet for voting for the ballot 1 of MARTE 1.1 RTF and a bundle of the resolutions proposed for the issues including in this ballot.  è http://www.omgwiki.org/marte1.1-rtf/doku.php?id=marte_1.0_rtf_ballot_1   Best. Sébastien. >   Dr. Sébastien Gérard Head of MDD for DRES research project CEA LIST, Laboratoire dâIngénierie dirigée par les modèles pour les Systèmes Embarqués (LISE) Boîte courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus  Before printing, think about the environment  Date: Wed, 7 Apr 2010 12:11:06 -0400 (EDT) From: Murray Woodside Reply-To: cmw@sce.carleton.ca To: GERARD Sebastien 166342 cc: "Chonoles, Michael J" , marte-rtf@omg.org Subject: RE: Questsion about 14221 Resolution User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) I dont see any need to withdraw it... the text changes are clear... the figure can be updated to include them all. Murray Woodside Distinguished Research Professor Dept of Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, Ottawa K1S 5B6, Canada. (613)-520-5721.....fax (613)-520-5727....cmw@sce.carleton.ca (http://www.sce.carleton.ca/faculty/woodside.html) On Wed, 7 Apr 2010, GERARD Sebastien 166342 wrote: Ok and so what do we do? Do I withdraw the issue from the ballot 1 and put it in a revised form in ballot 2? Dr. Séstien Gérd Head of MDD for DRES research project CEA, LIST/LISE Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment -----Message d'origine----- De : Murray Woodside [mailto:cmw@sce.carleton.ca] Envoyé mercredi 7 avril 2010 16:56 À: GERARD Sebastien 166342 Cc : Chonoles, Michael J; marte-rtf@omg.org Objet : RE: Questsion about 14221 Resolution No Seb, some of them are a matter of aligning the diagram with the changes in the text following the resolution... the ordered nature, for instance. But the multiplicity change is new. Murray Woodside Distinguished Research Professor Dept of Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, Ottawa K1S 5B6, Canada. (613)-520-5721.....fax (613)-520-5727....cmw@sce.carleton.ca (http://www.sce.carleton.ca/faculty/woodside.html) On Wed, 7 Apr 2010, GERARD Sebastien 166342 wrote: Dear Michael, All of the items you are mentioning were not part of the issue itself indeed. So the resolution does not deal with them. You may indeed raise a new issue including these comments I think? Séstien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d'Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment ______________________________________________________________________________________________________ De : Chonoles, Michael J [mailto:michael.j.chonoles@lmco.com] Envoyé mercredi 7 avril 2010 16:18 À: marte-rtf@omg.org Objet : Questsion about 14221 Resolution Sorry, but I'm unsure the diagram change matches the revised text. In the proposed diagram 15.4 1) No mention that the startObs and endObs are ordered. 2) No mention that they are paired 3) No mention that there should be at least one. 4) As the TimedObserver has only 1 value of laxity, there is no association of laxity with individual pairs of events. (unless a new TimedObserver must be made) Can someone help me with my (presumably, basic) misconception. Michael Jesse Chonoles Lockheed Martin From: GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Sent: Wednesday, April 07, 2010 5:56 AM To: marte-rtf@omg.org Subject: MARTE: ballot 1, update of materials for voting Dear all, You will find hereafter a link to download an update of the spreadsheet for voting for the ballot 1 of MARTE 1.1 RTF and a bundle of the resolutions proposed for the issues including in this ballot. èttp://www.omgwiki.org/marte1.1-rtf/doku.php?id=marte_1.0_rtf_ballot_1 Best... Séstien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d'Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment Date: Wed, 07 Apr 2010 13:14:14 -0400 From: "Chonoles, Michael J" Subject: RE: MARTE Ballot1: / 14221 To: "Sebastien.GERARD@cea.fr" , "marte-rtf@omg.org" Thread-Topic: MARTE Ballot1: / 14221 Thread-Index: AcrVW9by8L+HAEpySpGPL19v4hwI/gBAEytAAAYwj+A= Accept-Language: en-US acceptlanguage: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: LM votes Yes to al proposed resolutions (if I.m an official voter, I lost track). Michael As far as 14221 goes, If we can.t make the diagram changes quickly on this ballot, we could withdraw and resubmit. However, there.s nothing that prevents us from addressing the same issue again in the next ballot, this will allow us to get the text approved now. My understanding is the ballot alone does not .close. the issue. I believe that is done by the acceptance of the RTF/FTF report. If you need me to submit a new issue, I will do that From: mariano.belaunde@orange-ftgroup.com [mailto:mariano.belaunde@orange-ftgroup.com] Sent: Wednesday, April 07, 2010 10:54 AM To: Sebastien.GERARD@cea.fr; marte-rtf@omg.org Subject: RE: MARTE Ballot1: vote sxcel sheet France Telecom vote Yes to all proposed resolutions. Regards, Mariano -------------------------------------------------------------------------------- De : GERARD Sebastien 166342 [mailto:Sebastien.GERARD@cea.fr] Envoyé mardi 6 avril 2010 09:36 À: marte-rtf@omg.org Objet : MARTE Ballot1: vote sxcel sheet Dear all, I miss to include one issue that was part of the ballot 1 in the excel file for voting. Here is an update of this file. Please use this one to send me your vote. Sorry for that error and thanks to Murray to detect it, Best. Sebastien. Dr. Séstien Gérd Head of MDD for DRES research project CEA LIST, Laboratoire d.Ingéerie dirigépar les modès pour les Systès Embarqué(LISE) Boî courrier 94, GIF SUR YVETTE CEDEX, F-91191 France Phone/fax : +33 1 69 08 58 24 / 83 95 Leader of the Eclipse Component Papyrus (The UML2 Graphical Modeler): www.papyrusuml.org http://www.eclipse.org/modeling/mdt/?project=papyrus Before printing, think about the environment The description of the semantics of TimedObserver in section F10.18 has to be aligned with its description denoted in the diagram shown in figure 15.4. TimedObserver can refer to several start and end events.