1. OMG Mailing List
  2. Precise Semantics of UML Composite Structures (PSCS) 1.1 Revision Task Force

Open Issues

  • Issues not resolved
  • Name: pscs-rtf
  • Issues Count: 5

Issues Descriptions

Figure 9.66 includes user tool focus and is hard to read

  • Key: PSCS12-9
  • Status: open  
  • Source: Commissariat a l Energie Atomique-CEA ( Jeremie Tatibouet)
  • Summary:

    Figure 9.66 was exported with tool focus which looks odd in the specification document. In addition, this figure looks hard to read due to the small font size.

  • Reported: PSCS 1.1 — Sun, 9 Sep 2018 11:14 GMT
  • Updated: Sun, 16 Sep 2018 00:30 GMT
  • Attachments:

CS_OpaqueExpressionEvaluation evaluate operation return parameter has invalid multiplicities

  • Key: PSCS12-7
  • Status: open  
  • Source: Commissariat a l Energie Atomique-CEA ( Jeremie Tatibouet)
  • Summary:

    CS_OpaqueExpressionEvaluation is a specialization of the absract Evaluation (see section 8.4.2.1 in [fUML 1.4]) class. It provides the capability to execute the behavior (see section 8.6.16.5 in [UML 2.5.1]) associated with an opaque expression.

    Signature of the evaluate operation is incorrect. Indeed, the signature specifies that a Value is always returned while in the implementation of that operation clearly state that null can be returned. This implies the operation signature should be updated to be:

    evalute() : Value [0..1]
    
  • Reported: PSCS 1.1 — Sun, 9 Sep 2018 10:37 GMT
  • Updated: Sun, 16 Sep 2018 00:30 GMT

CallOperation on a Port misses the specification of a Port

  • Key: PSCS12-3
  • Status: open  
  • Source: oose Innovative Informatik eG ( Axel Scheithauer)
  • Summary:

    The description of the Testcase says:

    an operation or is called in synchronous manner through the port pp

    However the corresponding Activity Diagram in Figure 9.20 doesn't show the "via pp" string, that would signify that this port is to be used for the call.

    The notation for the Pins is wrong: They are shown as filled squares, which would mean, that they are referring to streaming Parameters.

    Also there are errors in the Class-Diagram Figure 9.18

    • The usage on the left is missing the guillemets around «use»
    • The dependency on the right should be an InterfaceRealization
    • Reception Start and Operation P() should be shown in separate compartments
    • The ports are listed in the compartment for attributes. While this is allowed, it is unusual. It would be better to show the ports as squares. At least the conjugated port should show a "~" (this is not defined for attributes, but when a port is shown as attribute, it should also use the port's notation).
  • Reported: PSCS 1.1 — Wed, 11 Jul 2018 16:15 GMT
  • Updated: Sun, 16 Sep 2018 00:30 GMT
  • Attachments:

Incorrect SysML term used in SysML Annex

  • Key: PSCS12-1
  • Status: open  
  • Source: NIST ( Conrad Bock)
  • Summary:

    The term "behavior proxyport" isn't in SysML, but is used in Annex B many times. Ports can't be both behavioral and proxy. Informally, both kinds of port "stand in" for other objects, but behavior ports stand in for the owning object, while proxy ports stand in for internal parts. I think the Annex is referring to behavior ports, at least I recall Clause 11.2.2.3 (Block with Multiple Behavior ProxyPorts) is. The error seems to be causing some of the SysMLers to think the annex applies to proxy ports.

  • Reported: PSCS 1.0 — Thu, 22 Sep 2016 13:37 GMT
  • Updated: Sun, 16 Sep 2018 00:30 GMT

Migrate PSCS to UML 2.5.1

  • Key: PSCS12-2
  • Status: open  
  • Source: Model Driven Solutions ( Ed Seidewitz)
  • Summary:

    Subclause 6.2 Changes to Adopted OMG Specifications of the Precise Semantics for UML State Machines (PSSM) Beta 1 specification document (ptc/17-04-04) states:

    The PSSM syntax is a subset of the UML 2.5.1 abstract syntax metamodel, and the required functionality formalized in PSSM is taken from that specified in UML 2.5.1. However, PSSM is also semantically based on fUML and PSCS. But the current versions of these standards, fUML 1.2.1 and PSCS 1.0 are based on UML 2.4. In order to avoid inconsistency, particularly given the sweeping reorganization of the UML abstract syntax metamodel adopted in UML 2.5, the fUML and PSCS syntax and semantics models have been migrated to UML 2.5.1 for use with PSSM, but with no change to their functionality. In addition, the fUML and PSCS models have been updated to use an approach for identifying and constraining their syntax subsets that is consistent with that used in PSSM.

    In adopting this specification, the PSCS RTF was directed to update the PSCS specification consistent with the migration of fUML syntax and semantics models top UML 2.5.1. Since the adoption of PSSM, PSCS 1.1 has been approved as the current version of PSCS, so the PSCS 1.2 RTF now needs to carry out the migration of PSCS 1.1 to UML 2.5.1 for PSCS 1.2.

  • Reported: PSCS 1.1 — Mon, 16 Apr 2018 23:14 GMT
  • Updated: Sun, 16 Sep 2018 00:30 GMT
  • Attachments: