计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
5期
869-876
,共8页
吴怀广%毋国庆%陈曙%万黎
吳懷廣%毌國慶%陳曙%萬黎
오부엄%무국경%진서%만려
软件行为%需求模型%系统特性%逻辑刻画%特性检测
軟件行為%需求模型%繫統特性%邏輯刻畫%特性檢測
연건행위%수구모형%계통특성%라집각화%특성검측
软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M[I-I];给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency WorkBench)对BDL描述的具体实例进行验证分析.
軟件需求模型及其檢測是軟件需求工程中的重要工作.在分析現有需求建模方法和軟件行為相關研究的基礎上,對將軟件行為概唸引入需求模型進行瞭詳細的闡述,提齣一箇麵嚮軟件行為的需求模型描述語言BDL(behavior description language),定義瞭它的語法、語義;討論瞭CCS(calculus of communication system)與BDL的轉換關繫,構造瞭BDL到CCS的轉換函數M[I-I];給齣瞭需求模型的繫統一緻性、繫統安全性、行為可信性及行為非終止性等4種繫統特性的時序邏輯描述;最後用模型驗證工具CWB(Concurrency WorkBench)對BDL描述的具體實例進行驗證分析.
연건수구모형급기검측시연건수구공정중적중요공작.재분석현유수구건모방법화연건행위상관연구적기출상,대장연건행위개념인입수구모형진행료상세적천술,제출일개면향연건행위적수구모형묘술어언BDL(behavior description language),정의료타적어법、어의;토론료CCS(calculus of communication system)여BDL적전환관계,구조료BDL도CCS적전환함수M[I-I];급출료수구모형적계통일치성、계통안전성、행위가신성급행위비종지성등4충계통특성적시서라집묘술;최후용모형험증공구CWB(Concurrency WorkBench)대BDL묘술적구체실례진행험증분석.
