Issue 19593: State machine semantics for transition between regions of an orthogonal state (uml2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: I am trying to understand the semantics of a transition between vertices in orthogonal regions of the same parent composite state. The specification is clear re. exiting the parent composite state, but not between sibling regions. This raises issues regarding entering already active regions and states. Resolution: Revised Text: Actions taken: August 31, 2014: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 31 Aug 2014 07:14:05 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: David Mesquita-Morris Employer: mailFrom: david@steelbreeze.net Terms_Agreement: I agree Specification: OMG Unified Modeling LanguageTM (OMG UML), Superstructure Section: 15.3.11 FormalNumber: formal/2011-08-06 Version: 2.4.1 Doc_Year: 2011 Doc_Month: August Doc_Day: Day Page: 565 Title: State machine semantics for transition between regions of an orthogonal state Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: host217-43-113-33.range217-43.btcentralplus.com Remote User: HTTP User Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_9_4) AppleWebKit/537.78.2 (KHTML, like Gecko) Version/7.0.6 Safari/537.78.2 Time: 07:14 AM Description: I am trying to understand the semantics of a transition between vertices in orthogonal regions of the same parent composite state. The specification is clear re. exiting the parent composite state, but not between sibling regions. This raises issues regarding entering already active regions and states. DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=sRJ61h8uLTayIBilzd4Fn5er0f/rl2SwwKXa6If3d8Q=; b=ZmSKNUMCZP5YCflz8mrG2cKaCEM1auxQK7CIIHiVyS/pYdQgQfxqjGKSDioGWABUM5 6Kddww0SlSpddD8Iad1bnub3947dhwTuGM0MBoLvvOg2MGRujV/3tD5tvYsTj5gD1AN0 VoSJIiwZq77WtA8s6RdmqVWF778Rpjl5i245n2Gas/6sSG1b6SXixRE4yIaevhrFZ6El sx3WLZsEdW0cKmFsMkICqpOTMC9Esb9DJiAudgqSWta9vYcx+M//5ifefNZNhTi8fiX2 exbONZL6tEeoUiEuJu78300Ga3JeTok5iuQ0koLdxt272UyObpbuKgHVoNWBrD1XDhuy 80ww== X-Received: by 10.152.44.162 with SMTP id f2mr2035723lam.84.1409809071933; Wed, 03 Sep 2014 22:37:51 -0700 (PDT) Sender: bran.selic@gmail.com From: Bran Selic Date: Thu, 4 Sep 2014 01:37:11 -0400 X-Google-Sender-Auth: LU3abo6hmKgWBn-WKbl7YMCSjY8 Subject: Re: issue 19593 -- UML 2 RTF issue To: Juergen Boldt Cc: "issues@omg.org" , "uml2-rtf@omg.org" X-Virus-Scanned: amavisd-new at omg.org Transitions between two peer regions in the same composite state are not allowed.(They were supported in UML 1, but were eliminated later.) Bran On Wed, Sep 3, 2014 at 2:02 PM, Juergen Boldt wrote: From: webmaster@omg.org Date: 31 Aug 2014 07:14:05 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: David Mesquita-Morris Employer: mailFrom: david@steelbreeze.net Terms_Agreement: I agree Specification: OMG Unified Modeling LanguageTM (OMG UML), Superstructure Section: 15.3.11 FormalNumber: formal/2011-08-06 Version: 2.4.1 Doc_Year: 2011 Doc_Month: August Doc_Day: Day Page: 565 Title: State machine semantics for transition between regions of an orthogonal state Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: host217-43-113-33.range217-43.btcentralplus.com Remote User: HTTP User Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_9_4) AppleWebKit/537.78.2 (KHTML, like Gecko) Version/7.0.6 Safari/537.78.2 Time: 07:14 AM Description: I am trying to understand the semantics of a transition between vertices in orthogonal regions of the same parent composite state. The specification is clear re. exiting the parent composite state, but not between sibling regions. This raises issues regarding entering already active regions and states. Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: +1 (781) 444 0404 x 132 fax: +1 (781) 444 0320 www.omg.org [] X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:content-type:message-id:mime-version :subject:date:references:to:in-reply-to; bh=O6sdSiYUTP/bu913TtWQ6lS3vru/Hwi1R3q1fLFiDUQ=; b=mcxiLgohu89K8EOtZQB0nHc5casEpbPK5RoAthipNvF33kcyBVT6THMUDjJfesLLlw QVYjjpzRqn4B1ihiYNmTA3intWCc6PV/YlmmxcuEa0al9mO3Dvb1b/CkGoDOPIsKJC+e nptLJ10SNZwmleaU/mmPsuHQA8rhEJ0IBEwUhycHg+rD80FCxNw3woXWXcUcoHDiNEV9 Xz1SlI4jUbABcYtk3mql8KmaB4/RBi/Y19qvLqDvgQrY9SAoS/LjxSNQVkJ/56BRYLGZ r+j11mWIP1HMS8vivI1TeorB7FBJY4VpmJ0q+Y+Z7Wd0E39VJah1XxR8XCsCSqMIOfcU WjRA== X-Gm-Message-State: ALoCoQliNRRl/8PrQHc6VR/FiCePdPDCfWQgc3NEO3s5phzEafZDoIQq5gQMCyMJ1UktXimbYMnN X-Received: by 10.180.38.84 with SMTP id e20mr8333932wik.43.1409861396780; Thu, 04 Sep 2014 13:09:56 -0700 (PDT) From: David Mesquita-Morris Subject: Re: issue 19593 -- UML 2 RTF issue Date: Thu, 4 Sep 2014 17:31:18 +0100 To: Juergen Boldt X-Mailer: Apple Mail (2.1878.6) X-Virus-Scanned: amavisd-new at omg.org Thanks for the clarification. Would it be worth adding a constraint to the definition of Transition to that effect? I.e. when source.parent does not equal target.parent, source.parent.parent must not equal target.parent.parent Kind regards, David On 4 Sep 2014, at 11:50, Juergen Boldt wrote: FYI DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=sRJ61h8uLTayIBilzd4Fn5er0f/rl2SwwKXa6If3d8Q=; b=ZmSKNUMCZP5YCflz8mrG2cKaCEM1auxQK7CIIHiVyS/pYdQgQfxqjGKSDioGWABUM5 6Kddww0SlSpddD8Iad1bnub3947dhwTuGM0MBoLvvOg2MGRujV/3tD5tvYsTj5gD1AN0 VoSJIiwZq77WtA8s6RdmqVWF778Rpjl5i245n2Gas/6sSG1b6SXixRE4yIaevhrFZ6El sx3WLZsEdW0cKmFsMkICqpOTMC9Esb9DJiAudgqSWta9vYcx+M//5ifefNZNhTi8fiX2 exbONZL6tEeoUiEuJu78300Ga3JeTok5iuQ0koLdxt272UyObpbuKgHVoNWBrD1XDhuy 80ww== X-Received: by 10.152.44.162 with SMTP id f2mr2035723lam.84.1409809071933; Wed, 03 Sep 2014 22:37:51 -0700 (PDT) Sender: bran.selic@gmail.com From: Bran Selic Date: Thu, 4 Sep 2014 01:37:11 -0400 X-Google-Sender-Auth: LU3abo6hmKgWBn-WKbl7YMCSjY8 Subject: Re: issue 19593 -- UML 2 RTF issue To: Juergen Boldt Cc: "issues@omg.org" , "uml2-rtf@omg.org" X-Virus-Scanned: amavisd-new at omg.org Transitions between two peer regions in the same composite state are not allowed.(They were supported in UML 1, but were eliminated later.) Bran On Wed, Sep 3, 2014 at 2:02 PM, Juergen Boldt wrote: From: webmaster@omg.org Date: 31 Aug 2014 07:14:05 -0400 To: Subject: Issue/Bug Report ******************************************************************************* Name: David Mesquita-Morris Employer: mailFrom: david@steelbreeze.net Terms_Agreement: I agree Specification: OMG Unified Modeling LanguageTM (OMG UML), Superstructure Section: 15.3.11 FormalNumber: formal/2011-08-06 Version: 2.4.1 Doc_Year: 2011 Doc_Month: August Doc_Day: Day Page: 565 Title: State machine semantics for transition between regions of an orthogonal state Nature: Clarification Severity: Significant CODE: 3TMw8 B1: Report Issue Remote Name: host217-43-113-33.range217-43.btcentralplus.com Remote User: HTTP User Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_9_4) AppleWebKit/537.78.2 (KHTML, like Gecko) Version/7.0.6 Safari/537.78.2 Time: 07:14 AM Description: I am trying to understand the semantics of a transition between vertices in orthogonal regions of the same parent composite state. The specification is clear re. exiting the parent composite state, but not between sibling regions. This raises issues regarding entering already active regions and states. Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: +1 (781) 444 0404 x 132 fax: +1 (781) 444 0320 www.omg.org [] Juergen Boldt Director, Member Services 109 Highland Ave Needham, MA 02494 USA Tel: +1 (781) 444 0404 x 132 fax: +1 (781) 444 0320 www.omg.org []