Omg issue Number

Disposition: Resolved

OMG Issue No: 11694

Title: HwTiming model of the HwLogical profile

Source:

Not specified.

Summary:

in the HwTiming model of the HwLogical profile, HwClock has a property named "frequency" that is already inherited from the HwResource stereotype. We should rename it or better remove it.

Resolution:

The HwResource stereotype actually owns a “frequency” property. As there is a (indirect) generalization relationship between HwClock and HwResource, the “frequency” property of HwClock must be removed.

Revised Text:

In section 14.2.3.1, fig. 14.71, remove the “frequency” property from the HwClock stereotype.

Disposition: Resolved

Disposition: Resolved

OMG Issue No: 11696

Title: Suggest to extend ClockConstraints to ClockTypes

Source:

INRIA (Mr. Charles Andre, [e-mail] [e-mail] [e-mail])

Summary:

in the Time model, ClockConstraint is defined by

"A ClockConstraint is a Constraint that imposes dependency between clocks."

I suggest to extend ClockConstraints to ClockTypes.

=> "A ClockConstraint is a Constraint that imposes dependency between clocks or between clock types."
Resolution:

I suggest adopting the extension

Revised Text:

Para 9.3.1.3

Old:

… ClockConstraint imposes dependency between clocks. …

New:

… ClockConstraint imposes dependency between clocks or between clock types. …

Remark: there is no need for change in Fig. 9.28.
Para 9.3.2.2

Old:

A ClockConstraint is a Constraint that imposes dependency between clocks. A ClockConstraint refers to a set of clocks and possibly to other model elements. The clocks in the constrained elements must belong to the on clock set of this ClockConstraint.
New:

A ClockConstraint is a Constraint that imposes dependency between clocks or between clock types. A ClockConstraint refers to a set of clocks or clock types, and possibly to other model elements. The clocks in the constrained elements must belong to the on clock set of this ClockConstraint; the constrained clock types must be types of clocks in the on clock set.

Remark:

Constraint [1] becomes obsolete, and a new constraint must be added to deal with constraints on ClockTypes.

Old:

[1] The owner of a constraint stereotyped by ClockConstraint must be a Package stereotyped by TimedDomain.

base_Constraint.owner.oclIsTypeOf(TimedDomain)

[2] The constrained clocks are members of the on clock set of the ClockConstraint

self.on->includesAll(self.base_Constraint.constrainedElement->select(c|c.oclIsTypeOf(Clock))
New:

[1] The constrained clocks are members of the on clock set of the ClockConstraint

self.on->includesAll(self.base_Constraint.constrainedElement->select(c|c.oclIsTypeOf(Clock))

[2] The constrained clock types are types of clock members of the on clock set of the ClockConstraint

self.on->includesAll(self.base_Constraint.constrainedElement->select(c|c.oclIsTypeOf(ClockType).type)

Disposition: Resolved

Disposition: Resolved

OMG Issue No: 11704

Title: Editorial issue

Source:

INRIA (Dr. Frédéric MALLET, [e-mail])

Summary:

First a typographical issue, there are some question marks (?) appearing here and there. They should be replaced by slashes (/).

Resolution:

This editorial issue is resolved by removing the unexpected question marks.

Revised Text:

In section 12.3.2.1, page 141, section Associations, change

?impliedConstraint: NFPs::NfpConstraint [*]

into

impliedConstraint: NFPs::NfpConstraint [*]

In section 12.3.2.1, page 141, section Attributes, change

?kind: AllocationKind [1]

into

kind: AllocationKind [1]

In section 12.3.2.6, page 143, section Associations, change

?/allocatedTo: ExecutionPlatformAllocationEnd [*]

into

/allocatedTo: ExecutionPlatformAllocationEnd [*]

Disposition: Resolved

Disposition: Resolved

OMG Issue No: 11705

Title: In 12.4, all references to figures are wrong

Source:

INRIA (Dr. Frédéric MALLET, [e-mail])

Summary:

In 12.4, all references to figures are wrong (e.g., 12.12.8 instead of 12.8).

Resolution:

This is an editorial issue. All callouts of the form 12.12.x are replaced by 12.x.

Revised Text:

In section 12.3.2.2, page 142, change

(Figure 12.12.9)

into

(Figure 12.9).

In section 12.4.1, page 145, change

(Figure 12.12.7)

Into

(Figure 12.7)

In section 12.4.2, page 146, change

(Figure 12.12.8)

Into

(Figure 12.8)

In section 12.4.2, page 146, change

(cf. the upper part of Figure 12.12.8)

Into

(cf. Figure 12.8, upper part)

In section 12.4.2, page 146, change

(Figure 12.12.8)

Into

(Figure 12.8)

In section 12.4.2, page 147, change

(cf. the lower part of Figure 12.12.8)

Into

(cf. Figure 12.8, lower part)

In section 12.4.2, page 147, change

(cf. the right part of Figure 12.12.8)

Into

(cf. Figure 12.8, right-hand side)

In section 12.4.3, page 149, change

(Figure 12.12.9)

Into

(Figure 12.9)

Disposition: Resolved

Disposition: Resolved