摘要
过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。
Verification is meaningful for ensuring the correctness of software process definition. The semantic verification tool is focused on, solving some problems of verification of process model. Firstly, an activity-centered software process meta-model is presented and described using XML. Based on this, semantic rules for ensuring the correctness of soiftware process model are stated, considering the combination of behavior view, resource view and organization view. -Finally, a flexible mechanism for verification of XML-based process model is given and a verification tool is implemented to verify the correctness of software process.
出处
《计算机工程与设计》
CSCD
北大核心
2007年第7期1497-1500,共4页
Computer Engineering and Design
基金
电子信息产业发展基金项目。
