软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
1期
1-16
,共16页
翟健%杨秋松%肖俊超%李明树
翟健%楊鞦鬆%肖俊超%李明樹
적건%양추송%초준초%리명수
软件过程%过程建模%过程重用%过程组件%形式化方法
軟件過程%過程建模%過程重用%過程組件%形式化方法
연건과정%과정건모%과정중용%과정조건%형식화방법
为了解决当前软件过程重用方法中存在的问题,特别是由于缺乏对软件过程组件及其操作法则的精确定义所带来的重用中的低效率问题,介绍了一种形式化的组件化软件过程建模方法(componentized software process modeling,简称CSPM).CSPM 提供了形式化定义可重用软件过程的机制,并且给出了将过程组件组合成过程模型的一系列操作法则.利用CSPM方法,能够以严格的方式对软件过程组件进行重用,并且有效地避免了传统非形式化建模方法中因歧义而有可能引起的潜在错误.CSPM还可以将对组装后的软件过程模型针对某些特定性质的验证问题转化成对其对应组件的一系列子验证问题,从而通过指数地减少需要搜索的状态空间规模,将原来在某些特定环境下不实用的验证问题简化成验证代价较小的一系列问题.
為瞭解決噹前軟件過程重用方法中存在的問題,特彆是由于缺乏對軟件過程組件及其操作法則的精確定義所帶來的重用中的低效率問題,介紹瞭一種形式化的組件化軟件過程建模方法(componentized software process modeling,簡稱CSPM).CSPM 提供瞭形式化定義可重用軟件過程的機製,併且給齣瞭將過程組件組閤成過程模型的一繫列操作法則.利用CSPM方法,能夠以嚴格的方式對軟件過程組件進行重用,併且有效地避免瞭傳統非形式化建模方法中因歧義而有可能引起的潛在錯誤.CSPM還可以將對組裝後的軟件過程模型針對某些特定性質的驗證問題轉化成對其對應組件的一繫列子驗證問題,從而通過指數地減少需要搜索的狀態空間規模,將原來在某些特定環境下不實用的驗證問題簡化成驗證代價較小的一繫列問題.
위료해결당전연건과정중용방법중존재적문제,특별시유우결핍대연건과정조건급기조작법칙적정학정의소대래적중용중적저효솔문제,개소료일충형식화적조건화연건과정건모방법(componentized software process modeling,간칭CSPM).CSPM 제공료형식화정의가중용연건과정적궤제,병차급출료장과정조건조합성과정모형적일계렬조작법칙.이용CSPM방법,능구이엄격적방식대연건과정조건진행중용,병차유효지피면료전통비형식화건모방법중인기의이유가능인기적잠재착오.CSPM환가이장대조장후적연건과정모형침대모사특정성질적험증문제전화성대기대응조건적일계열자험증문제,종이통과지수지감소수요수색적상태공간규모,장원래재모사특정배경하불실용적험증문제간화성험증대개교소적일계렬문제.
