example.q7

利用Eclipse为构建框架。使开源项目OpenOME为需求工程建模。这是当今开始流行的面向目标建模方式。此文件包含7个不同行业（销售

/**
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@