MARTE 1.2 RTF Avatar
  1. OMG Issue

MARTE12_ — Flow properties cannot be characterized with an RtSpecification

Open Closed All
  • Key: MARTE12_-84
  • Legacy Issue Number: 16583
  • Status: closed  
  • Source: Commissariat a l Energie Atomique-CEA ( Dr. Arnaud Cuccuru)
  • Summary:

    The type of the derived property RtSpecification::context is BehavioralFeature. It can be used to specify that the RtSpecification actually concerns a particular behavioral feature (i.e. Operation or Reception) exposed by a port (the port being identified by the RtFeature owning this RtSpecification).

    This works well with ClientServer ports. However, it cannot be used to characterize flow properties of FlowPort, since a FlowProperty is a StructuralFeature, not a BehavioralFeature.

    An easy solution to address that is to make the type of /context Feature, instead of BehavioralFeature.

  • Reported: MARTE 1.1 — Thu, 6 Oct 2011 04:00 GMT
  • Disposition: Resolved — MARTE 1.2
  • Disposition Summary:

    Change text

    Change RtSpecification::context: BehavioralFeature into RtSpecification::context: Feature.
  • Updated: Wed, 19 Dec 2018 16:37 GMT
  • Attachments: