Issue 16609: MARTE Clocks (marte-rtf) Source: Commissariat a l Energie Atomique-CEA (Dr. Sebastien Gerard, sebastien.gerard(at)cea.fr) Nature: Uncategorized Issue Severity: Summary: In the time chapter, I was reading the following sentence in clause 9.3.1.1: “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.” However, the lower bound of the multiplicity of the on role from TimedElement to Clock is one, meaning that one value at least has to be specified. May the aforementioned sentence should be repharsed, isn’t? Resolution: Revised Text: Actions taken: October 15, 2011: received issue Discussion: End of Annotations:===== m: GERARD Sebastien 166342 To: Frederic Mallet CC: "marte-rtf@omg.org" Subject: MARTE Clocks Thread-Topic: MARTE Clocks Thread-Index: AcyKnFyaAd6RD48+RZCTJnURMEH5SA== Date: Sat, 15 Oct 2011 12:01:48 +0000 Accept-Language: fr-FR, en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: x-originating-ip: [132.166.88.105] x-tm-as-product-ver: SMEX-10.0.0.4152-6.800.1017-18450.002 x-tm-as-result: No--43.734100-8.000000-31 x-tm-as-user-approved-sender: No x-tm-as-user-blocked-sender: No Hi Frederic, In the time chapter, I was reading the following sentence in clause 9.3.1.1: .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.. However, the lower bound of the multiplicity of the on role from TimedElement to Clock is one, meaning that one value at least has to be specified. May the aforementioned sentence should be repharsed, isn.t? Cheers. SĂ© ------------------------------------------------------------------------------------------------------------------------------------------------ SĂ©sten GĂ©rd CEA LIST, Laboratoire d.IngĂ©erie dirigĂ©par les modès pour les Systès EmbarquĂ©(LISE), Point Courrier 94, Gif-sur-Yvette, F-91191 France www.eclipse.org/papyrus X-IronPort-AV: E=Sophos;i="4.69,360,1315173600"; d="scan'208,217,150";a="113222720" Date: Mon, 17 Oct 2011 18:44:01 +0200 From: Frederic Mallet User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 To: GERARD Sebastien 166342 CC: "marte-rtf@omg.org" Subject: Re: MARTE Clocks Hi SĂ©stien, Having the multiplicity to 1 imposes to have a Clock. But some people did not want to have to write it manually. The sentence was trying to give the burden to the tool. When the user does not say anything, the tool should impose the clock to be the dense chronometric clock. If the user says something then the tool should use the clock defined by the user. I agree to rephrase it if needs be, but I think the sentence was saying what was meant. I can be explicit (about the role of the tool) if you think it would make things clearer ? FrĂ©ric. Le 15/10/2011 14:01, GERARD Sebastien 166342 a Ă©it : Hi Frederic, In the time chapter, I was reading the following sentence in clause 9.3.1.1: .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.. However, the lower bound of the multiplicity of the on role from TimedElement to Clock is one, meaning that one value at least has to be specified. May the aforementioned sentence should be repharsed, isn.t? Cheers. SĂ© ------------------------------------------------------------------------------------------------------------------------------------------------ SĂ©sten GĂ©rd CEA LIST, Laboratoire d.IngĂ©erie dirigĂ©par les modès pour les Systès EmbarquĂ©(LISE), Point Courrier 94, Gif-sur-Yvette, F-91191 France www.eclipse.org/papyrus From: GERARD Sebastien 166342 To: Frederic Mallet CC: "marte-rtf@omg.org" Subject: RE: MARTE Clocks Thread-Topic: MARTE Clocks Thread-Index: AcyKnFyaAd6RD48+RZCTJnURMEH5SACPtjiAAARRDeA= Date: Mon, 17 Oct 2011 16:48:26 +0000 Accept-Language: fr-FR, en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: x-originating-ip: [132.166.88.104] x-tm-as-product-ver: SMEX-10.0.0.4152-6.800.1017-18454.007 x-tm-as-result: No--48.961800-8.000000-31 x-tm-as-user-approved-sender: No x-tm-as-user-blocked-sender: No Hi FrĂ©ric, Ok I understand, but in that case what not defining a default value according to your rule? SĂ© ------------------------------------------------------------------------------------------------------------------------------------------------ SĂ©sten GĂ©rd CEA LIST, Laboratoire d.IngĂ©erie dirigĂ©par les modès pour les Systès EmbarquĂ©(LISE), Point Courrier 94, Gif-sur-Yvette, F-91191 France www.eclipse.org/papyrus De : Frederic Mallet [mailto:Frederic.Mallet@inria.fr] EnvoyĂ© lundi 17 octobre 2011 18:44 Ă€: GERARD Sebastien 166342 Cc : marte-rtf@omg.org Objet : Re: MARTE Clocks Hi SĂ©stien, Having the multiplicity to 1 imposes to have a Clock. But some people did not want to have to write it manually. The sentence was trying to give the burden to the tool. When the user does not say anything, the tool should impose the clock to be the dense chronometric clock. If the user says something then the tool should use the clock defined by the user. I agree to rephrase it if needs be, but I think the sentence was saying what was meant. I can be explicit (about the role of the tool) if you think it would make things clearer ? FrĂ©ric. Le 15/10/2011 14:01, GERARD Sebastien 166342 a Ă©it : Hi Frederic, In the time chapter, I was reading the following sentence in clause 9.3.1.1: .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.. However, the lower bound of the multiplicity of the on role from TimedElement to Clock is one, meaning that one value at least has to be specified. May the aforementioned sentence should be repharsed, isn.t? Cheers. SĂ© ------------------------------------------------------------------------------------------------------------------------------------------------ SĂ©sten GĂ©rd CEA LIST, Laboratoire d.IngĂ©erie dirigĂ©par les modès pour les Systès EmbarquĂ©(LISE), Point Courrier 94, Gif-sur-Yvette, F-91191 France www.eclipse.org/papyrus DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=GgX+mLGIhomaxc3zV7gk363zWgWf2jreYl16vxZA+YM=; b=xuHoQkG3lXEju47TOATXS1FKKLdQV8DxdtDbs0s3oQ9iwWcCpAjM2FV3QiTlZi/BVU wiNRMOzh3TZg7E7sHqspY8GhSBXa/AXHlRe/5xmXjWH5c8jZMvePbriD1J9JPqiXAGGZ K9yTSaqbJvxbquNAKJ5v6yfr+/TwRDMtN+54CF6+5f2nZ3GTvLSpwpT7be3u83fG7UWK KSMzUMKDJbZTchQkAxtPAmA4GzmpUTcPBocxMAFWARmZOt3Y+Z0tewkR1guX7OIti6Kt bilKadVK1rgbOp1sRcP8v9lvfdZcFgyuiTy9esaJlLolnym+vX8EaF78f9fA9oaXTAGj jLDw== X-Received: by 10.220.248.200 with SMTP id mh8mr2234387vcb.51.1365614385103; Wed, 10 Apr 2013 10:19:45 -0700 (PDT) Sender: bran.selic@gmail.com From: Bran Selic Date: Wed, 10 Apr 2013 13:19:04 -0400 X-Google-Sender-Auth: -xhHunYWjuYFStvZqmIgcdcmmC8 Subject: Re: MARTE 1.2 RTF: ballot voting period To: GERARD Sebastien 166342 Cc: "marte-rtf@omg.org" X-Virus-Scanned: amavisd-new at omg.org X-Brightmail-Tracker: AAAAAR15Qr0= X-Brightmail-Tracker: AAAAAA== Simula Research votes YES to all proposed resolutions except for 16609 to which it votes NO. Also, please note that there is an error in the diagram that goes with the resolution to issue 17344. Explanations: Issue 16609: I don't think that a language definition problem should be solved by asking tools to take care of it by modifying the user model. There are other possible solutions to this problem. Issue 17344: The forcing of a lower-case letter for the qualified name in the proposed resolution (e.g., <>) is confusing and possibly incorrect. The standard convention of starting a stereotype with a lowercase letter (and, remember, this is ONLY a convention, which is not enforced by either UML or MARTE) applies to just the stereotype name and not to the qualified name. Note that the root of the qualified name, "MARTE", is a standardized external name that is used to refer to the standard independently of either MARTE or UML or its conventions. Hence, the diagrams should be changed so that the qualified name begins with a properly capitalized name (i.e., "MARTE" and not "mARTE"). If the convention is to be applied at all, it should be applied only to the actual stereotype name that is at the end of the qualified name chain. This can be fixed as an editorial fix when the diagrams are inserted into the text. On Tue, Apr 9, 2013 at 10:58 AM, GERARD Sebastien 166342 wrote: Dear all, Just to remind you that the voting period for ballot 2 of MARTE 1.2 RTF is started from April 3rd and will finish in April the 16th (12 pm CET). Material for voting is here: http://www.omgwiki.org/marte1.2-rtf/doku.php?id=marte_1.2_rtf_ballot_2 Excel sheet for voting is here: http://www.omgwiki.org/marte1.2-rtf/lib/exe/fetch.php?media=marte1.2_rtf_ballot2_yourcompanyname_yyyy-mm-dd.xls Thanks, Best. SĂ©stien. ------------------------------------------------------------------------------------------------------------------------------------------------ SĂ©stien GĂ©rd +33 (0)1 69 08 58 24 / +33(0)6 88 20 00 47 CEA Saclay Nano-INNOV Institut CARNOT CEA LIST DILS/Laboratoire d.IngĂ©erie dirigĂ©par les modès pour les Systès EmbarquĂ©(LISE), Point Courrier n°174 91 191 Gif sur Yvette CEDEX Description : PapyrusLogo_SmallFormatwww.eclipse.org/papyrus Content-Type: image/png; name="image001.png" Content-ID: X-Attachment-Id: 61cf6769156a0dd3_0.1