Issue 16224: Coherency between active resource of MARTE and active class in UML (marte-rtf) Source: Commissariat a l Energie Atomique-CEA (Dr. Sebastien Gerard, sebastien.gerard(at)cea.fr) Nature: Clarification Severity: Minor Summary: In GRM, a Resource may be active. MARTE needs to specify the relationship(coherency) between an active resource and and active class. Resolution: Revised Text: Actions taken: May 11, 2011: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 11 May 2011 09:22:10 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: sebastien gerard Employer: CEA LIST mailFrom: sebastien.gerard@cea.fr Terms_Agreement: I agree Specification: MARTE Section: 10.3.2.12 FormalNumber: ptc/2010-08-32 Version: 1.1 Doc_Year: 2010 Doc_Month: September Doc_Day: 13 Page: 109 Title: Coherency between active resource of MARTE and active class in UML Nature: Clarification Severity: Minor CODE: 3TMw8 B1: Report Issue Description: From: GERARD Sebastien 166342 To: "marte-rtf@omg.org" Subject: MARTE 1.2 RTF: issue Thread-Topic: MARTE 1.2 RTF: issue Thread-Index: AcyDZadUVLUxpotQTLK6XHGGajUFtA== Date: Wed, 5 Oct 2011 13:49:51 +0000 Accept-Language: fr-FR, en-US X-MS-Has-Attach: yes X-MS-TNEF-Correlator: x-originating-ip: [132.166.88.106] x-tm-as-product-ver: SMEX-10.0.0.4152-6.800.1017-18426.007 x-tm-as-result: No--49.075300-8.000000-31 x-tm-as-user-approved-sender: No x-tm-as-user-blocked-sender: No Hi all, This issue, http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about the relationship between UML active class and the concept of active resource as defined in GRM. An active class is defined in UML (clause 13.3.8) as: .An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as .the object having its own thread of control..) The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated.. In GRM, the concept of Resource owns an attribute named isActive which definition is following: .If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others.. Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active. Question: are we sure that it make sense for <> to extend Classifier and not only Class? What are the other know use cases of using this stereotype on other classifiers than Class? Thanks for your feedback, 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=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=uqqqGGqBbttdT8l2yDMK5XkrBif2+nwIzIoQ9Q6WYCo=; b=Psjkwg3tY9W7l2Z8Y1gsifIS+1L7SRdHUsSibItIi5UicByvOgjtw12nZNMgjYwv+D VpIF0CvRbXhJ7yoEI8wRspr3dgiHS5AW+YA0wYF45U8+0lQ55vFbLNkb1gYLGJ4Zj0qP /DhlD4+t2gK/n8o3GDMnuBylQ/OkEiwVTqbnQ= Sender: bran.selic@gmail.com From: Bran Selic Date: Thu, 6 Oct 2011 01:46:30 -0400 X-Google-Sender-Auth: jNmyWVYFwdvZlB4Nnz_AZye96jY Subject: Re: MARTE 1.2 RTF: issue To: GERARD Sebastien 166342 Cc: "marte-rtf@omg.org" Good point, Sebb. The notion of "isActive" was intentionally restricted to objects (as the definiton states). It seems inappropriate and inconsistent with UML semantics for MARTE to extend that to classifiers in general. Note that, in principle at least, profiles should exist solely within the confines of UML semantics (stretchable as they may be). Cheers...Bran On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 wrote: Hi all, This issue, http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about the relationship between UML active class and the concept of active resource as defined in GRM. An active class is defined in UML (clause 13.3.8) as: .An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as .the object having its own thread of control..) The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated.. In GRM, the concept of Resource owns an attribute named isActive which definition is following: .If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others.. Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active. Question: are we sure that it make sense for <> to extend Classifier and not only Class? What are the other know use cases of using this stereotype on other classifiers than Class? Thanks for your feedback, 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 -- Cheers...Bran Content-Type: image/png; name="image001.png" Content-ID: X-Attachment-Id: 4ad1dab0474178b_0.1 Date: Thu, 6 Oct 2011 10:39:38 +0200 From: Julio Medina User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 To: Bran Selic , GERARD Sebastien 166342 CC: "marte-rtf@omg.org" Subject: Re: MARTE 1.2 RTF: issue (isActive only for classes?) X-Originating-IP: [193.144.198.139] X-imss-version: 2.054 X-imss-result: Passed X-imss-scanInfo: M:P L:E SM:0 X-imss-tmaseResult: TT:0 TS:0.0000 TC:00 TRN:0 TV:6.5.1024(18428.005) X-imss-scores: Clean:99.90000 C:2 M:3 S:5 R:5 X-imss-settings: Baseline:1 C:1 M:2 S:2 R:2 (0.0000 0.0000) Hi Sebastien, hi Bran, Regarding the consideration of active resources beyond "classes" I recall the fact that very frequently we use the SchedulableResources (threads, processes and so on) as targets of steps not only through allocation relationships or direct association, but also by using directly scenarios (activity diagrams or sequence charts). And a very graphical mean to express this allocation is by using swimlanes (partitions), activities, or lifelines instead of classes. [Schedulable resources are a kind of resources with isActive always true]. This happens because the means schedulability analysis has to cope with complexity is by demanding the designer for depicting worst case scenarios, instead of only behaviors. I understand that we can force the modeler to always define new (utilitarian) objects or classes for this purpose in what we call the platform model (which is good from a methodological point of view), but there is a significant expressiveness in defining this relationships by directly locating the steps in these scenario based diagrams. Also this easies the expression of dynamic creation/destruction of threads. I do not see why this extension would conflict with the limited view of active class that was originally in UML. I actually think that profiles are precisely to extend the semantics available through UML though keeping its original design intents working. Of course, as I mentioned, from a methodological point of view this restriction is not that bad and in practical terms (just by chance) the tools we have already made are currently not relying on these capabilities of MARTE, but I think this is an unnecessary limitation, and there might be many other practitioners that use them. Cheers, Julio El 06/10/2011 7:46, Bran Selic escribióood point, Sebb. The notion of "isActive" was intentionally restricted to objects (as the definiton states). It seems inappropriate and /inconsistent with UML semantics /for MARTE to extend that to classifiers in general. Note that, in principle at least, profiles should exist solely within the confines of UML semantics (stretchable as they may be). Cheers...Bran On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 > wrote: Hi all,____ __ __ This issue, http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about the relationship between UML active class and the concept of active resource as defined in GRM.____ __ __ An active class is defined in UML (clause 13.3.8) as: ____ __ __ .An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as .the object having its own thread of control..) The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated..____ __ __ In GRM, the concept of Resource owns an attribute named isActive which definition is following:____ __ __ .If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others..____ __ __ Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active.____ __ __ Question: are we sure that it make sense for <> to extend Classifier and not only Class?____ What are the other know use cases of using this stereotype on other classifiers than Class? ____ __ __ Thanks for your feedback,____ 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____ PapyrusLogo_SmallFormat www.eclipse.org/papyrus ____ __ __ -- Cheers...Bran Date: Thu, 6 Oct 2011 10:12:52 -0400 (EDT) From: Murray Woodside Reply-To: cmw@sce.carleton.ca To: Julio Medina cc: Bran Selic , GERARD Sebastien 166342 , "marte-rtf@omg.org" Subject: Re: MARTE 1.2 RTF: issue (isActive only for classes?) User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) We use SchedulableResource this way all the time in performance analysis too. However putting isActive on the objects (the instances) works well... conceivably the same class could be passive in some instances and active in others (tho I have never seen this). 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 Thu, 6 Oct 2011, Julio Medina wrote: Hi Sebastien, hi Bran, Regarding the consideration of active resources beyond "classes" I recall the fact that very frequently we use the SchedulableResources (threads, processes and so on) as targets of steps not only through allocation relationships or direct association, but also by using directly scenarios (activity diagrams or sequence charts). And a very graphical mean to express this allocation is by using swimlanes (partitions), activities, or lifelines instead of classes. [Schedulable resources are a kind of resources with isActive always true]. This happens because the means schedulability analysis has to cope with complexity is by demanding the designer for depicting worst case scenarios, instead of only behaviors. I understand that we can force the modeler to always define new (utilitarian) objects or classes for this purpose in what we call the platform model (which is good from a methodological point of view), but there is a significant expressiveness in defining this relationships by directly locating the steps in these scenario based diagrams. Also this easies the expression of dynamic creation/destruction of threads. I do not see why this extension would conflict with the limited view of active class that was originally in UML. I actually think that profiles are precisely to extend the semantics available through UML though keeping its original design intents working. Of course, as I mentioned, from a methodological point of view this restriction is not that bad and in practical terms (just by chance) the tools we have already made are currently not relying on these capabilities of MARTE, but I think this is an unnecessary limitation, and there might be many other practitioners that use them. Cheers, Julio El 06/10/2011 7:46, Bran Selic escribióood point, Sebb. The notion of "isActive" was intentionally restricted to objects (as the definiton states). It seems inappropriate and /inconsistent with UML semantics /for MARTE to extend that to classifiers in general. Note that, in principle at least, profiles should exist solely within the confines of UML semantics (stretchable as they may be). Cheers...Bran On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 > wrote: Hi all,____ __ __ This issue, http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about the relationship between UML active class and the concept of active resource as defined in GRM.____ __ __ An active class is defined in UML (clause 13.3.8) as: ____ __ __ .An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as .the object having its own thread of control..) The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated..____ __ __ In GRM, the concept of Resource owns an attribute named isActive which definition is following:____ __ __ .If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others..____ __ __ Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active.____ __ __ Question: are we sure that it make sense for <> to extend Classifier and not only Class?____ What are the other know use cases of using this stereotype on other classifiers than Class? ____ __ __ Thanks for your feedback,____ 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____ PapyrusLogo_SmallFormat www.eclipse.org/papyrus ____ __ __ -- Cheers...Bran From: GERARD Sebastien 166342 To: "cmw@sce.carleton.ca" , Julio Medina , Bran Selic CC: "marte-rtf@omg.org" Subject: RE: MARTE 1.2 RTF: issue (isActive only for classes?) Thread-Topic: MARTE 1.2 RTF: issue (isActive only for classes?) Thread-Index: AQHMhDIQTeHUmseOsUKiC0x22m9KaJVvbwdA Date: Thu, 6 Oct 2011 15:23:37 +0000 Accept-Language: fr-FR, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [132.166.88.106] x-tm-as-product-ver: SMEX-10.0.0.4152-6.800.1017-18428.002 x-tm-as-result: No--71.318400-8.000000-31 x-tm-as-user-approved-sender: No x-tm-as-user-blocked-sender: No X-MIME-Autoconverted: from quoted-printable to 8bit by amethyst.omg.org id p96FN8G4010354 Thanks for your comments: can I then conclude that I can modify the extension relationship of Resource to Class instead of Classifier? ------------------------------------------------------------------------------------------------------------------------------------------------ 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 -----Message d'origine----- De : Murray Woodside [mailto:cmw@sce.carleton.ca] Envoyé jeudi 6 octobre 2011 16:13 À: Julio Medina Cc : Bran Selic; GERARD Sebastien 166342; marte-rtf@omg.org Objet : Re: MARTE 1.2 RTF: issue (isActive only for classes?) We use SchedulableResource this way all the time in performance analysis too. However putting isActive on the objects (the instances) works well... conceivably the same class could be passive in some instances and active in others (tho I have never seen this). 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 Thu, 6 Oct 2011, Julio Medina wrote: > Hi Sebastien, hi Bran, > > Regarding the consideration of active resources beyond "classes" I recall the > fact that very frequently we use the SchedulableResources (threads, processes > and so on) as targets of steps not only through allocation relationships or > direct association, but also by using directly scenarios (activity diagrams > or sequence charts). And a very graphical mean to express this allocation is > by using swimlanes (partitions), activities, or lifelines instead of classes. > [Schedulable resources are a kind of resources with isActive always true]. > > This happens because the means schedulability analysis has to cope with > complexity is by demanding the designer for depicting worst case scenarios, > instead of only behaviors. I understand that we can force the modeler to > always define new (utilitarian) objects or classes for this purpose in what > we call the platform model (which is good from a methodological point of > view), but there is a significant expressiveness in defining this > relationships by directly locating the steps in these scenario based > diagrams. Also this easies the expression of dynamic creation/destruction of > threads. > > I do not see why this extension would conflict with the limited view of > active class that was originally in UML. I actually think that profiles are > precisely to extend the semantics available through UML though keeping its > original design intents working. Of course, as I mentioned, from a > methodological point of view this restriction is not that bad and in > practical terms (just by chance) the tools we have already made are currently > not relying on these capabilities of MARTE, but I think this is an > unnecessary limitation, and there might be many other practitioners that use > them. > > Cheers, > > Julio > > > El 06/10/2011 7:46, Bran Selic escribió> Good point, Sebb. >> >> The notion of "isActive" was intentionally restricted to objects (as the >> definiton states). It seems inappropriate and /inconsistent with UML >> semantics /for MARTE to extend that to classifiers in general. Note >> that, in principle at least, profiles should exist solely within the >> confines of UML semantics (stretchable as they may be). >> >> Cheers...Bran >> >> On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 >> > wrote: >> >> Hi all,____ >> >> __ __ >> >> This issue, >> http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about >> the relationship between UML active class and the concept of active >> resource as defined in GRM.____ >> >> __ __ >> >> An active class is defined in UML (clause 13.3.8) as: ____ >> >> __ __ >> >> "An active object is an object that, as a direct consequence of its >> creation, commences to execute its classifier behavior, and does not >> cease until either the complete behavior is executed or the object >> is terminated by some external object. (This is sometimes referred >> to as "the object having its own thread of control.") The points at >> which an active object responds to communications from other objects >> is determined solely by the behavior of the active object and not by >> the invoking object. If the classifier behavior of an active object >> completes, the object is terminated."____ >> >> __ __ >> >> In GRM, the concept of Resource owns an attribute named isActive >> which definition is following:____ >> >> __ __ >> >> "If true it indicates that the resource has an initial behavior >> associated that allows it to possibly perform its services >> autonomously or by the triggering and animation of behaviors on >> others."____ >> >> __ __ >> >> Semantics seems to be equivalent, but the stereotype Resource extend >> Classifier and not only class, meaning that any kind of classifier >> can be active.____ >> >> __ __ >> >> Question: are we sure that it make sense for <> to extend >> Classifier and not only Class?____ >> >> What are the other know use cases of using this stereotype on other >> classifiers than Class? ____ >> >> __ __ >> >> Thanks for your feedback,____ >> >> 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____ >> >> PapyrusLogo_SmallFormat www.eclipse.org/papyrus >> ____ >> >> __ __ >> >> >> >> >> -- >> Cheers...Bran >> > > Date: Thu, 6 Oct 2011 18:35:21 +0200 From: Julio Medina User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 To: GERARD Sebastien 166342 CC: "cmw@sce.carleton.ca" , Bran Selic , "marte-rtf@omg.org" Subject: Re: MARTE 1.2 RTF: issue (isActive only for classes?) X-Originating-IP: [193.144.198.139] X-imss-version: 2.054 X-imss-result: Passed X-imss-scanInfo: M:P L:E SM:0 X-imss-tmaseResult: TT:0 TS:0.0000 TC:00 TRN:0 TV:6.5.1024(18430.000) X-imss-scores: Clean:99.90000 C:2 M:3 S:5 R:5 X-imss-settings: Baseline:1 C:1 M:2 S:2 R:2 (0.0000 0.0000) No, I do not see why... I could understand, (thought I am not in favor of), that you may want to introduce such a restriction for the case of active resources (because of the semantics of the original UML active classes pointed out also by Bran), but I do not see the need of doing that for ALL kinds of resources. Observe that Resource is the root for ALL kinds and specializations of resources (used in SRM, HRM, GQAM, SAM & PAM) I do not have at hand the complete list, but doing so will avoid the possibility of having resources out of associations, datatypes, primitive types, enumerations or interfaces. Julio El 06/10/2011 17:23, GERARD Sebastien 166342 escribióhanks for your comments: can I then conclude that I can modify the extension relationship of Resource to Class instead of Classifier? ------------------------------------------------------------------------------------------------------------------------------------------------ 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 -----Message d'origine----- De : Murray Woodside [mailto:cmw@sce.carleton.ca] Envoyé jeudi 6 octobre 2011 16:13 À: Julio Medina Cc : Bran Selic; GERARD Sebastien 166342; marte-rtf@omg.org Objet : Re: MARTE 1.2 RTF: issue (isActive only for classes?) We use SchedulableResource this way all the time in performance analysis too. However putting isActive on the objects (the instances) works well... conceivably the same class could be passive in some instances and active in others (tho I have never seen this). 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 Thu, 6 Oct 2011, Julio Medina wrote: Hi Sebastien, hi Bran, Regarding the consideration of active resources beyond "classes" I recall the fact that very frequently we use the SchedulableResources (threads, processes and so on) as targets of steps not only through allocation relationships or direct association, but also by using directly scenarios (activity diagrams or sequence charts). And a very graphical mean to express this allocation is by using swimlanes (partitions), activities, or lifelines instead of classes. [Schedulable resources are a kind of resources with isActive always true]. This happens because the means schedulability analysis has to cope with complexity is by demanding the designer for depicting worst case scenarios, instead of only behaviors. I understand that we can force the modeler to always define new (utilitarian) objects or classes for this purpose in what we call the platform model (which is good from a methodological point of view), but there is a significant expressiveness in defining this relationships by directly locating the steps in these scenario based diagrams. Also this easies the expression of dynamic creation/destruction of threads. I do not see why this extension would conflict with the limited view of active class that was originally in UML. I actually think that profiles are precisely to extend the semantics available through UML though keeping its original design intents working. Of course, as I mentioned, from a methodological point of view this restriction is not that bad and in practical terms (just by chance) the tools we have already made are currently not relying on these capabilities of MARTE, but I think this is an unnecessary limitation, and there might be many other practitioners that use them. Cheers, Julio El 06/10/2011 7:46, Bran Selic escribióood point, Sebb. The notion of "isActive" was intentionally restricted to objects (as the definiton states). It seems inappropriate and /inconsistent with UML semantics /for MARTE to extend that to classifiers in general. Note that, in principle at least, profiles should exist solely within the confines of UML semantics (stretchable as they may be). Cheers...Bran On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 > wrote: Hi all,____ __ __ This issue, http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about the relationship between UML active class and the concept of active resource as defined in GRM.____ __ __ An active class is defined in UML (clause 13.3.8) as: ____ __ __ "An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as "the object having its own thread of control.") The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated."____ __ __ In GRM, the concept of Resource owns an attribute named isActive which definition is following:____ __ __ "If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others."____ __ __ Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active.____ __ __ Question: are we sure that it make sense for<> to extend Classifier and not only Class?____ What are the other know use cases of using this stereotype on other classifiers than Class? ____ __ __ Thanks for your feedback,____ 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____ PapyrusLogo_SmallFormat www.eclipse.org/papyrus ____ __ __ -- Cheers...Bran DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=tC32Js17AL3l8bsT8q+qWxBF4qtVzbX190+7DxFM5/A=; b=q8NxnkeqVq9QtaOW9ROdnOMCO0Qsl3cnU+u9YvWL1xGZgl6k5zhUNmRoNChxQrAC4t 4Nz+PimSi0G52MDjT7NJCfTFf6+7uwjdBo9vcxxtwGyD/xs7GlhUIlGETFy8G8/U4/X9 dJAKVeBWqKs8ZH2xA5OhS5K70Ss4lU9dV7kBI= Sender: bran.selic@gmail.com From: Bran Selic Date: Thu, 6 Oct 2011 16:45:04 -0400 X-Google-Sender-Auth: 9-hEpg-TX3UD9uetDSXmRkpWNW8 Subject: Re: MARTE 1.2 RTF: issue (isActive only for classes?) To: Julio Medina Cc: GERARD Sebastien 166342 , "marte-rtf@omg.org" Thanks, Julio. If I understood you correctly, you want to be able to imply the notion of active objects without being forced to actually model the object itself. This is because for some purposes, such as schedulability analysis, it was not necessary to have the explicit object in the model -- it saved time and effort. We used this method a lot in the original SPT profile. I think it is useful, but, unless it is properly documented, people will simply not know about it and will not take advantage of the capability -- we learned this from the SPT experience. My suggestion then is to keep things as they are, but that you provide at least an example in the spec for how to use this capability. Without that, the issue may be brought up again. Cheers...Bran On Thu, Oct 6, 2011 at 4:39 AM, Julio Medina wrote: Hi Sebastien, hi Bran, Regarding the consideration of active resources beyond "classes" I recall the fact that very frequently we use the SchedulableResources (threads, processes and so on) as targets of steps not only through allocation relationships or direct association, but also by using directly scenarios (activity diagrams or sequence charts). And a very graphical mean to express this allocation is by using swimlanes (partitions), activities, or lifelines instead of classes. [Schedulable resources are a kind of resources with isActive always true]. This happens because the means schedulability analysis has to cope with complexity is by demanding the designer for depicting worst case scenarios, instead of only behaviors. I understand that we can force the modeler to always define new (utilitarian) objects or classes for this purpose in what we call the platform model (which is good from a methodological point of view), but there is a significant expressiveness in defining this relationships by directly locating the steps in these scenario based diagrams. Also this easies the expression of dynamic creation/destruction of threads. I do not see why this extension would conflict with the limited view of active class that was originally in UML. I actually think that profiles are precisely to extend the semantics available through UML though keeping its original design intents working. Of course, as I mentioned, from a methodological point of view this restriction is not that bad and in practical terms (just by chance) the tools we have already made are currently not relying on these capabilities of MARTE, but I think this is an unnecessary limitation, and there might be many other practitioners that use them. Cheers, Julio El 06/10/2011 7:46, Bran Selic escribióGood point, Sebb. The notion of "isActive" was intentionally restricted to objects (as the definiton states). It seems inappropriate and /inconsistent with UML semantics /for MARTE to extend that to classifiers in general. Note that, in principle at least, profiles should exist solely within the confines of UML semantics (stretchable as they may be). Cheers...Bran On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 > wrote: Hi all,____ __ __ This issue, http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about the relationship between UML active class and the concept of active resource as defined in GRM.____ __ __ An active class is defined in UML (clause 13.3.8) as: ____ __ __ .An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as .the object having its own thread of control..) The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated..____ __ __ In GRM, the concept of Resource owns an attribute named isActive which definition is following:____ __ __ .If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others..____ __ __ Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active.____ __ __ Question: are we sure that it make sense for <> to extend Classifier and not only Class?____ What are the other know use cases of using this stereotype on other classifiers than Class? ____ __ __ Thanks for your feedback,____ 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____ PapyrusLogo_SmallFormat www.eclipse.org/papyrus ____ __ __ -- Cheers...Bran -- Cheers...Bran From: GERARD Sebastien 166342 To: Bran Selic , Julio Medina CC: GERARD Sebastien 166342 , "marte-rtf@omg.org" Subject: Re : MARTE 1.2 RTF: issue (isActive only for classes?) Thread-Topic: Re : MARTE 1.2 RTF: issue (isActive only for classes?) Thread-Index: AQHMhGq+ZUBhssyrqES3K2sOC28LMQ== Date: Thu, 6 Oct 2011 20:58:48 +0000 Accept-Language: fr-FR, en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-tm-as-product-ver: SMEX-10.0.0.4152-6.800.1017-18428.002 x-tm-as-result: No--55.791300-8.000000-31 x-tm-as-user-approved-sender: No x-tm-as-user-blocked-sender: No I agree with the proposal of Bran. Julie, can you provide this example? Thanks, Cheers... Seb. ----- Reply message ----- De : "Bran Selic" Pour : "Julio Medina" Cc : "GERARD Sebastien 166342" , "marte-rtf@omg.org" Objet : MARTE 1.2 RTF: issue (isActive only for classes?) Date : jeu., oct. 6, 2011 22:45 Thanks, Julio. If I understood you correctly, you want to be able to imply the notion of active objects without being forced to actually model the object itself. This is because for some purposes, such as schedulability analysis, it was not necessary to have the explicit object in the model -- it saved time and effort. We used this method a lot in the original SPT profile. I think it is useful, but, unless it is properly documented, people will simply not know about it and will not take advantage of the capability -- we learned this from the SPT experience. My suggestion then is to keep things as they are, but that you provide at least an example in the spec for how to use this capability. Without that, the issue may be brought up again. Cheers...Bran On Thu, Oct 6, 2011 at 4:39 AM, Julio Medina wrote: Hi Sebastien, hi Bran, Regarding the consideration of active resources beyond "classes" I recall the fact that very frequently we use the SchedulableResources (threads, processes and so on) as targets of steps not only through allocation relationships or direct association, but also by using directly scenarios (activity diagrams or sequence charts). And a very graphical mean to express this allocation is by using swimlanes (partitions), activities, or lifelines instead of classes. [Schedulable resources are a kind of resources with isActive always true]. This happens because the means schedulability analysis has to cope with complexity is by demanding the designer for depicting worst case scenarios, instead of only behaviors. I understand that we can force the modeler to always define new (utilitarian) objects or classes for this purpose in what we call the platform model (which is good from a methodological point of view), but there is a significant expressiveness in defining this relationships by directly locating the steps in these scenario based diagrams. Also this easies the expression of dynamic creation/destruction of threads. I do not see why this extension would conflict with the limited view of active class that was originally in UML. I actually think that profiles are precisely to extend the semantics available through UML though keeping its original design intents working. Of course, as I mentioned, from a methodological point of view this restriction is not that bad and in practical terms (just by chance) the tools we have already made are currently not relying on these capabilities of MARTE, but I think this is an unnecessary limitation, and there might be many other practitioners that use them. Cheers, Julio El 06/10/2011 7:46, Bran Selic escribióGood point, Sebb. The notion of "isActive" was intentionally restricted to objects (as the definiton states). It seems inappropriate and /inconsistent with UML semantics /for MARTE to extend that to classifiers in general. Note that, in principle at least, profiles should exist solely within the confines of UML semantics (stretchable as they may be). Cheers...Bran On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 > wrote: Hi all,____ __ __ This issue, http://www.omg.org/issues/marte-rtf.open.html#Issue16224, is about the relationship between UML active class and the concept of active resource as defined in GRM.____ __ __ An active class is defined in UML (clause 13.3.8) as: ____ __ __ .An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as .the object having its own thread of control..) The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated..____ __ __ In GRM, the concept of Resource owns an attribute named isActive which definition is following:____ __ __ .If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others..____ __ __ Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active.____ __ __ Question: are we sure that it make sense for <> to extend Classifier and not only Class?____ What are the other know use cases of using this stereotype on other classifiers than Class? ____ __ __ Thanks for your feedback,____ 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____ PapyrusLogo_SmallFormat www.eclipse.org/papyrus ____ __ __ -- Cheers...Bran -- Cheers...Bran Date: Thu, 6 Oct 2011 23:09:41 +0200 From: Julio Medina User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:7.0.1) Gecko/20110929 Thunderbird/7.0.1 To: GERARD Sebastien 166342 CC: Bran Selic , "marte-rtf@omg.org" Subject: Re: Re : MARTE 1.2 RTF: issue (isActive only for classes?) X-Originating-IP: [80.26.182.106] X-imss-version: 2.054 X-imss-result: Passed X-imss-scanInfo: M:P L:E SM:0 X-imss-tmaseResult: TT:0 TS:0.0000 TC:00 TRN:0 TV:6.5.1024(18432.000) X-imss-scores: Clean:99.90000 C:1 M:10 S:5 R:5 X-imss-settings: Baseline:1 C:1 M:2 S:2 R:2 (0.0000 0.0000) Ok, I will provide an additional diagram consistent with those in the schedulability analysis example, plus a text pointing out this capability. I hope to have them in the form of a resolution by tomorrow evening. Thanks, Julio El 06/10/2011 22:58, GERARD Sebastien 166342 escribió agree with the proposal of Bran. Julie, can you provide this example? Thanks, Cheers... Seb. ----- Reply message ----- De : "Bran Selic" Pour : "Julio Medina" Cc : "GERARD Sebastien 166342" , "marte-rtf@omg.org" Objet : MARTE 1.2 RTF: issue (isActive only for classes?) Date : jeu., oct. 6, 2011 22:45 Thanks, Julio. If I understood you correctly, you want to be able to imply the notion of active objects without being forced to actually model the object itself. This is because for some purposes, such as schedulability analysis, it was not necessary to have the explicit object in the model -- it saved time and effort. We used this method a lot in the original SPT profile. I think it is useful, but, unless it is properly documented, people will simply not know about it and will not take advantage of the capability -- we learned this from the SPT experience. My suggestion then is to keep things as they are, but that you provide at least an example in the spec for how to use this capability. Without that, the issue may be brought up again. Cheers...Bran On Thu, Oct 6, 2011 at 4:39 AM, Julio Medina > wrote: Hi Sebastien, hi Bran, Regarding the consideration of active resources beyond "classes" I recall the fact that very frequently we use the SchedulableResources (threads, processes and so on) as targets of steps not only through allocation relationships or direct association, but also by using directly scenarios (activity diagrams or sequence charts). And a very graphical mean to express this allocation is by using swimlanes (partitions), activities, or lifelines instead of classes. [Schedulable resources are a kind of resources with isActive always true]. This happens because the means schedulability analysis has to cope with complexity is by demanding the designer for depicting worst case scenarios, instead of only behaviors. I understand that we can force the modeler to always define new (utilitarian) objects or classes for this purpose in what we call the platform model (which is good from a methodological point of view), but there is a significant expressiveness in defining this relationships by directly locating the steps in these scenario based diagrams. Also this easies the expression of dynamic creation/destruction of threads. I do not see why this extension would conflict with the limited view of active class that was originally in UML. I actually think that profiles are precisely to extend the semantics available through UML though keeping its original design intents working. Of course, as I mentioned, from a methodological point of view this restriction is not that bad and in practical terms (just by chance) the tools we have already made are currently not relying on these capabilities of MARTE, but I think this is an unnecessary limitation, and there might be many other practitioners that use them. Cheers, Julio El 06/10/2011 7:46, Bran Selic escribió Good point, Sebb. The notion of "isActive" was intentionally restricted to objects (as the definiton states). It seems inappropriate and /inconsistent with UML semantics /for MARTE to extend that to classifiers in general. Note that, in principle at least, profiles should exist solely within the confines of UML semantics (stretchable as they may be). Cheers...Bran On Wed, Oct 5, 2011 at 9:49 AM, GERARD Sebastien 166342 >> wrote: Hi all,____ __ __ This issue, http://www.omg.org/issues/__marte-rtf.open.html#Issue16224 __, is about the relationship between UML active class and the concept of active resource as defined in GRM.____ __ __ An active class is defined in UML (clause 13.3.8) as: ____ __ __ .An active object is an object that, as a direct consequence of its creation, commences to execute its classifier behavior, and does not cease until either the complete behavior is executed or the object is terminated by some external object. (This is sometimes referred to as .the object having its own thread of control..) The points at which an active object responds to communications from other objects is determined solely by the behavior of the active object and not by the invoking object. If the classifier behavior of an active object completes, the object is terminated..____ __ __ In GRM, the concept of Resource owns an attribute named isActive which definition is following:____ __ __ .If true it indicates that the resource has an initial behavior associated that allows it to possibly perform its services autonomously or by the triggering and animation of behaviors on others..____ __ __ Semantics seems to be equivalent, but the stereotype Resource extend Classifier and not only class, meaning that any kind of classifier can be active.____ __ __ Question: are we sure that it make sense for <> to extend Classifier and not only Class?____ What are the other know use cases of using this stereotype on other classifiers than Class? ____ __ __ Thanks for your feedback,____ 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____ PapyrusLogo_SmallFormat www.eclipse.org/papyrus >____ __ __ -- Cheers...Bran -- Cheers...Bran In GRM, a Resource may be active. MARTE needs to specify the relationship(coherency) between an active resource and and active class.