Issue 18376: UML 2.5 issue: Clause 6.3 should contain a definition of "execution scope" (uml25-ftf)
Source: Microsoft (Mr. Steve Cook, stcook(at)microsoft.com)
Nature: Uncategorized Issue
Severity: 
Summary: The semantics of static are defined with respect to a concept called “execution scope”.  I think that concept needs a definition in section 6.3.  Maybe the terminology is wrong – it might be “model instance” or “model execution” or something, but there needs to be a term for a set of related executing instances that comprise an instantiation of the model.

Resolution: 
Revised Text: 
Actions taken:
January 15, 2013: received issue
Discussion: 

End of Annotations:=====

m: Steve Cook <Steve.Cook@microsoft.com>
To: "issues@omg.org" <issues@omg.org>
CC: "uml25-ftf@omg.org" <uml25-ftf@omg.org>
Subject: UML 2.5 issue: Clause 6.3 should contain a definition of "execution
 scope"
Thread-Topic: UML 2.5 issue: Clause 6.3 should contain a definition of
 "execution scope"
Thread-Index: Ac3zHzOWpyt8U3hsQ5OJS220x8AznA==
Date: Tue, 15 Jan 2013 12:55:07 +0000
Accept-Language: en-GB, en-US
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
x-originating-ip: [10.166.18.103]
X-Forefront-Antispam-Report: 
 CIP:131.107.125.37;CTRY:US;IPV:CAL;IPV:NLI;EFV:NLI;SFV:NSPM;SFS:(51444002)(51856001)(512954001)(55846006)(56776001)(54316002)(54356001)(76482001)(53806001)(16236675001)(49866001)(4396001)(47446002)(5343635001)(5343655001)(47976001)(47736001)(56816002)(44976002)(46102001)(74502001)(50986001)(33656001)(31966008)(16406001)(59766001)(15202345001)(77982001)(74662001)(79102001);DIR:OUT;SFP:;SCL:1;SRVR:BY2FFO11HUB025;H:TK5EX14HUBC103.redmond.corp.microsoft.com;LANG:en;
X-OriginatorOrg: microsoft.onmicrosoft.com
X-Forefront-PRVS: 0727122FC6
X-Brightmail-Tracker: AAAAAA==
X-Brightmail-Tracker: AAAAAA==


The semantics of static are defined with respect to a concept called .execution scope..  I think that concept needs a definition in section 6.3.  Maybe the terminology is wrong . it might be .model instance. or .model execution. or something, but there needs to be a term for a set of related executing instances that comprise an instantiation of the model.



X-CM-Score: 0.00
X-CNFS-Analysis: v=2.0 cv=Df3JXIRW c=1 sm=1 a=eW53zEZrsyElcQ0NK1QpqA==:17
 a=kQ3PTw-HgDwA:10 a=1y79JITl3ysA:10 a=8nJEP1OIZ-IA:10 a=YYzpnO7rAAAA:8
 a=MPu-_BATQDsA:10 a=yMhMjlubAAAA:8 a=oCcaPWc0AAAA:8 a=nKgyCLWSLrGxT-gtmCYA:9
 a=wPNLvfGTeEIA:10 a=UiCQ7L4-1S4A:10 a=hTZeC7Yk6K0A:10 a=_W_S_7VecoQA:10
 a=frz4AuCg-hUA:10 a=5Ow-PqIEpAIS8xKT:21 a=eW53zEZrsyElcQ0NK1QpqA==:117
Date: Tue, 15 Jan 2013 13:32:22 +0000
From: Ed Willink <ed@willink.me.uk>
User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
To: "uml25-ftf@omg.org" <uml25-ftf@omg.org>
Subject: Re: UML 2.5 issue: Clause 6.3 should contain a definition of "execution
 scope"
X-Brightmail-Tracker: AAAAAA==
X-Brightmail-Tracker: AAAAAA==


Hi Steve

It would be helpful if this definition is suitable as, or extensible to, the definition of the domain of OCL's allInstances(). The current definition is very intuitive.

    Regards

        Ed Willink

On 15/01/2013 12:55, Steve Cook wrote: 
The semantics of static are defined with respect to a concept called .execution scope..  I think that concept needs a definition in section 6.3.  Maybe the terminology is wrong . it might be .model instance. or .model execution. or something, but there needs to be a term for a set of related executing instances that comprise an instantiation of the model.

No virus found in this message.
Checked by AVG - www.avg.com
Version: 2013.0.2890 / Virus Database: 2638/6031 - Release Date: 01/13/13