SOPES 1.0 FTF Avatar
  1. OMG Issue

SOPES — Annex C - logic behind the order in which OCL elements appear

  • Key: SOPES-32
  • Legacy Issue Number: 15203
  • Status: closed  
  • Source: Institute for Defense Analyses ( Steven Wartik)
  • Summary:

    In Annex C, I don’t follow the logic behind the order in which OCL elements appear. For Action_Context_Status (p. c-11), you have:

    self.action-id = self.Action_Context.ActionContext.action-id and …
    Context ActionContextStatus, inv ActionContextStatus_Action_Context:

    A few points here. First, there shouldn’t be a comma before “inv”. Second, it looks as if the invariant expression is the thing on the first line, instead of following the second line. Why?

  • Reported: SOPES 1.0b1 — Wed, 7 Apr 2010 04:00 GMT
  • Disposition: Resolved — SOPES 1.0
  • Disposition Summary:

    see dtc/2010-05-06

  • Updated: Fri, 6 Mar 2015 20:58 GMT