SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — checkStateUsageSpecialization constraint is incorrect

  • Key: SYSML2-558
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In 8.3.17.6 StateUsage, the description of checkStateUsageSpecialization is

    A StateUsage must directly or indirectly specialize the StateUsage States::stateActions from the Systems Model Library.

    but the OCL is

    specializesFromLibrary('States::StateAction')
    

    which requires specialization of StateAction, not stateActions.

  • Reported: SysML 2.0b1 — Wed, 29 Nov 2023 21:10 GMT
  • Updated: Mon, 22 Jan 2024 23:10 GMT