目标时序关系的形式定义和建模算法

多数目标建模方法关注于不同层次的目标关系.针对同一层次上的目标之间的时序关系,给出与目标建模相关的若干形式定义和命题,帮助分析人员判断目标间时序关系、并发及死锁.基于时序关系的传递性,给出目标关系建模的传递闭包算法,帮助分析人员直观地判断目标间的时序关系及其存在问题,科学、合理地标记各个目标的时序等级属性,便于目标精化工作的完成.

Algorithm modeling goals precedence relations based on transferability closure

The goal-oriented requirement modeling method is a hotspot in requirement engineering research.Most of goal modeling methods focus on the relations of goals on different levels of hierarchy.To model the relations of goals on the same level,such as precedence relations,some formal definitions and propositions about goals modeling are presented,which can help analysts to judge precedence relations,concurrence and deadlock about them.Based on transferability of precedence relations,an algorithm is offered which constructs the transferability closure of goals relations and labels the precedence property of goals scientifically and correctly.Using this algorithm,analysts can judge directly precedence relations as well as possible errors and perform goals refinement easier.