现代电力
現代電力
현대전력
MODERN ELECTRIC POWER
2003年
5期
65-69
,共5页
代数验证方法%规范语言%数据求精
代數驗證方法%規範語言%數據求精
대수험증방법%규범어언%수거구정
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术.规范语言的求精过程可分为数据求精和过程求精.从面向模型的规范语言(如VDM,Z)出发,提出一种严格定义的类型代数理论和一组基于抽象代数的规则来验证数据求精过程,解决了形式规范语言在数据转换过程中的语言一致性问题.此方法可以作为数据求精过程的自动化验证的基础.
軟件求精技術是實現從形式規範語言到可執行代碼轉換的一種重要技術.規範語言的求精過程可分為數據求精和過程求精.從麵嚮模型的規範語言(如VDM,Z)齣髮,提齣一種嚴格定義的類型代數理論和一組基于抽象代數的規則來驗證數據求精過程,解決瞭形式規範語言在數據轉換過程中的語言一緻性問題.此方法可以作為數據求精過程的自動化驗證的基礎.
연건구정기술시실현종형식규범어언도가집행대마전환적일충중요기술.규범어언적구정과정가분위수거구정화과정구정.종면향모형적규범어언(여VDM,Z)출발,제출일충엄격정의적류형대수이론화일조기우추상대수적규칙래험증수거구정과정,해결료형식규범어언재수거전환과정중적어언일치성문제.차방법가이작위수거구정과정적자동화험증적기출.