example.q7

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

/**
Roberto Sebastiani, Paolo Giorgini, John Mylopoulos: Simple and Minimum-Cost Satisfiability for Goal Models. CAiSE 2004: 20-35.
 */
a { AND
  b
  c { OR
   d
   e
  } => + f, - g
} @FS@