计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2007年
7期
1497-1500
,共4页
胡旷%董广智%田勇%柳军飞
鬍曠%董廣智%田勇%柳軍飛
호광%동엄지%전용%류군비
软件过程%过程模型%验证工具%语义规则%可扩展标记语言
軟件過程%過程模型%驗證工具%語義規則%可擴展標記語言
연건과정%과정모형%험증공구%어의규칙%가확전표기어언
过程模型验证是保证软件过程定义正确性的重要手段.针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述.在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则.最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性.
過程模型驗證是保證軟件過程定義正確性的重要手段.針對目前過程模型驗證中的一些問題,首先提齣瞭一種以活動為中心的軟件過程元模型,併以XML對其進行描述.在此基礎上,從行為、資源、組織視圖結閤的角度,提齣瞭保證軟件過程模型正確性的語義約束規則.最後,提齣瞭一種彈性的用于驗證XML描述的過程模型的機製,併基于此實現瞭過程模型驗證工具,來驗證過程模型的正確性.
과정모형험증시보증연건과정정의정학성적중요수단.침대목전과정모형험증중적일사문제,수선제출료일충이활동위중심적연건과정원모형,병이XML대기진행묘술.재차기출상,종행위、자원、조직시도결합적각도,제출료보증연건과정모형정학성적어의약속규칙.최후,제출료일충탄성적용우험증XML묘술적과정모형적궤제,병기우차실현료과정모형험증공구,래험증과정모형적정학성.
