一、动机

UCM：用例建模，主要用于结构化和文档需求方面。

UCSs：用例规格说明书，通常是文本文档，所以描述中不可避免含有歧义。

RUCM：限制性用例建模。目标

G1.使UCMs更加可理解并且更精确。

G2.从UCMs自动生成分析模型。

针对G1的实验性评估主要考察两个方面：

1.RUCM是否是可用的，而且容易理解的？

2、人们用它是否可以获得更好的模型？

二、RUCM

组成：

1、一个用于系统组织UCSs的 用例模板。

2、限制用户写UCSs的一系列 规则。

某种程度上基于：

1、全面的文献综述的结果

2、设计 自动转换为分析模型的规则 的需求

三、用例模板

四、限制规则

可以分为两类：

1、限制 自然语言（NL） 的使用

2、强制使用　特定的关键词 来明确控制结构

比如有这样两条规则：

R12：仅使用简单句； 减少歧义，以便进行自动化的自然语言语法分析； UCSs中所有的句子都要满足这些条件。

R21：使用关键词 MEANWHILE 来描述一个句子中的并发事件。

eg：The system cancels the transaction and ejects the card.

规范化的写法应该是：The system cancels the transaction MEANWHILE the system ejects the card.

五、针对G1的实验性评估

1、规则的可适用性

对RUCM模型 质疑、分析，从以下因素进行测量：

--可理解性、可适用性、约束性

--错误率

2、RUCM模型的可理解性

3、由RUCM生成的分析模型的质量

参考：http://www.cs.colostate.edu/models09/TechnicalPresentations/4cUseCaseModeling.pdf