Issue 5288: Page 8-17,"PAHost" (uml-scheduling-ftf)
Source: The MathWorks (Mr. Alan Moore, alan.moore(at)mathworks.co.uk)
Nature: Uncategorized Issue
Severity: 
Summary: PaschdPolicy uses acronyms whereas scheduling policy in theSAprofile uses full names - consider harmonizing
Resolution: see above
Revised Text: Change text of PAschdPolicy on page 8-17 to "Enumeration: 
{'FIFO', 
'HeadOfLine', 
'PreemptResume', 
'ProcSharing', 
'PrioProcSharing', 
'LIFO'}"

Change the description of the scheduling policy tag of ProcessingResource (8.1.4.5) to 
"(inherited from Resource) the set of rules for assigning the resource
to a set of steps; a number of policies are pre-defined:
FIFO = first-in-first-out
HeadOfLine = head-of-the-line or non-preemptible priorities
PreemptResume = pre-empt resume
ProcSharing = processor sharing (representing round-robin)
PrioProcSharing = priority processor sharing
LIFO = last-in-first-out"

Change the description of the schedulingPolicy tag of Passive Resource (8.1.4.6) to:
"(inherited from Resource) the access control policy for handling
requests from scenario steps. The following policies are predefined:
FIFO = first-in-first-out
PriorityInheritance = priority inheritance
NoPreemption = no pre-emption
HighestLockers = highest lockers
PriorityCeiling = priority ceiling (note that in this case, we also
need to provide the actual value of the priority ceiling, which
generally is the priority of the highest priority scenario step that
uses the resource)"

Change the description of the algorithm tag in section 7.1.3.9 to:
"the scheduling algorithm. The following scheduling algorithms are
predefined:
FIFO
RateMonotonic
DeadlineMonotonic
HKL = Harbour, Klein, Lehoczky
FixedPriority
MinimumLaxityFirst
MaximizeAccruedUtility
MinimumSlackTime"

Change the description of the accessControlPolicy on SResource in section 7.1.3.12 to:
"(inherited from ProtectedResource - see Section 4.1.9.20,
"ProtectedResource," on page 4-21) the access control policy for
handling requests from scheduling jobs. The following policies are
pre-defined:
FIFO = first-in-first-out
PriorityInheritance = priority inheritance
NoPreemption = no pre-emption
HighestLockers = highest lockers
PriorityCeiling = priority ceiling (note that in this case, we also
need to provide the actual value of the priority ceiling, which
generally is the priority of the highest priority scenario step that
uses the resource)"

Change PAschdPolicy (for stereotype PAhost) to:
"Enumeration:
{'FIFO',
'HeadOfLine',
'PreemptResume',
'ProcSharing',
'PrioProcSharing',
'LIFO'}"
Change PAschdPolicy for stereotype PAresource to:
"Enumeration:
{'FIFO',
'PriorityInheritance',
'NoPreemption',
'HighestLockers',
'PriorityCeiling'}"

Actions taken:
May 13, 2002: received issue
June 30, 2003: closed issue
Discussion: 
Resolution:
Full names for policies provided; also added the possibility for policies to have parameters (requires new tag); and did the same for the schedulabilty sub-profile (for ExecutionEngine and for SResource). Also provide full lists in the domain descriptions for Processing Resource and Passive Resource. Harmonise policy names with the schedulability profile.

End of Annotations:=====

This is issue # 5288

Page 8-17,"PAHost"

PaschdPolicy uses acronyms whereas scheduling policy in theSAprofile
uses full names - consider harmonizing