一种弹性的软件过程模型验证工具

摘要：

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

关键词：软件过程、过程模型、验证工具、语义规则、可扩展标记语言

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

资助基金：电子信息产业发展基金

在线出版日期：2007-05-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1497-1500