基于事件序列的用例描述形式化及分析

针对用例描述,提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例,构造了相应的算法确定其对应的事件序列,并证明了任意一个无关联环的复合用例均可通过这些算法确定对应的事件序列表达式。在形式化定义基础上,可进行用例描述间关联的正确性分析及语义等价分析。