论文部分内容阅读
过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题，首先提出了一种以活动为中心的软件过程元模型，并以XML对其进行描述。在此基础上，从行为，资源、组织视图结合的角度，提出了保证软件过程模型正确性的语义约束规则。最后，提出了一种弹性的用于验证XML描述的过程模型的机制，并基于此实现了过程模型验证工具，来验证过程模型的正确性。