streamline-aspects-separated.q7

来自「利用Eclipse为构建框架。使开源项目OpenOME为需求工程建模。这是当今开」· Q7 代码 · 共 24 行

/**
 * Y. Yu, J.C.S.P. Leite, J. Mylopoulos. 
 * From goals to aspects: discovering aspects from requirements goal models
 * http://www.cs.toronto.edu/~yijun/literature/paper/yu04re.pdf
 */
<car>::design { &
  design [wheels]
  design [shape] { &
    design [head]
    design [body]
    design [tail]
  }
  design [engine]
}
speed <= +design { &
  streamline <= ++* [shape]
  powerful <= ++* [engine]
}
streamline { &
  widening <= ++* [head]
  constant <= ++* [body]
  narrowing <= ++* [tail]
} => ++beauty