SysML 1.7 RTF Avatar
  1. OMG Issue

SYSML17 — Body conditions of operation in QUDV model should be Boolean expressions

  • Key: SYSML17-438
  • Status: open  
  • Source: oose Innovative Informatik eG ( Tim Weilkiens)
  • Summary:

    The body conditions of the QUDV operations in section E.5.2 are not specified as Boolean expressions. They specify only the computation of the return value.

    If the return parameter is named "result" they should be stated as

    result = <computation of return value>

  • Reported: SysML 1.6 — Mon, 19 Apr 2021 06:36 GMT
  • Updated: Mon, 19 Apr 2021 06:36 GMT