电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2014年
1期
137-143
,共7页
结构化需求语言%形式化软件规约%自动生成系统%高可靠%范畴论语义
結構化需求語言%形式化軟件規約%自動生成繫統%高可靠%範疇論語義
결구화수구어언%형식화연건규약%자동생성계통%고가고%범주론어의
structural requirement language%formal software specification%automatic generation system%high reliability%category semantics
形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此,设计了一种受控自然语言-结构化需求语言SRL来描述问题需求;使用基于规则的方法,将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl;在该方法的指导下,设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl;进一步,使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl.
形式化軟件規約技術是保證軟件質量和提高軟件生產率非常有用和重要的手段,但是形式化軟件規約的穫取是需求工程中一項相噹睏難的任務.本文針對問題需求自動化轉換為形式化規約這箇重要問題,研究從結構化需求語言SRL到形式化規約語言Radl自動生成繫統及其高可靠性理論.為此,設計瞭一種受控自然語言-結構化需求語言SRL來描述問題需求;使用基于規則的方法,將結構化需求語言SRL通過分析-轉換-綜閤三階段生成為形式化軟件規約Radl;在該方法的指導下,設計併實現瞭從結構化需求語言SRL到形式化軟件規約Radl的生成繫統SRLtoRadl;進一步,使用範疇論框架建立瞭SRLtoRadl生成繫統生成過程的語義模型.實際效果錶明該繫統能有效的生成高質量形式化軟件規約Radl.
형식화연건규약기술시보증연건질량화제고연건생산솔비상유용화중요적수단,단시형식화연건규약적획취시수구공정중일항상당곤난적임무.본문침대문제수구자동화전환위형식화규약저개중요문제,연구종결구화수구어언SRL도형식화규약어언Radl자동생성계통급기고가고성이론.위차,설계료일충수공자연어언-결구화수구어언SRL래묘술문제수구;사용기우규칙적방법,장결구화수구어언SRL통과분석-전환-종합삼계단생성위형식화연건규약Radl;재해방법적지도하,설계병실현료종결구화수구어언SRL도형식화연건규약Radl적생성계통SRLtoRadl;진일보,사용범주론광가건립료SRLtoRadl생성계통생성과정적어의모형.실제효과표명해계통능유효적생성고질량형식화연건규약Radl.
