工业控制计算机
工業控製計算機
공업공제계산궤
INDUSTRY CONTROL COMPUTER
2004年
8期
28-29,46
,共3页
形式化语言%VDM-SL%控制软件
形式化語言%VDM-SL%控製軟件
형식화어언%VDM-SL%공제연건
形式化语言能够对软件的功能进行精确的描述,在实时控制软件中引入形式化语言描述是必要的也是可能的.本文介绍了形式化式样语言VDM-SL(Vienna Development Method-Specification Language),用VDM-SL给出了一个小型控制软件的形式化描述.基于形式化式样描述,提出了从形式化式样出发的控制软件开发.最后就形式化语言应用于软件描述的前景进行了分析,同时指出了形式化语言和工具的不足.
形式化語言能夠對軟件的功能進行精確的描述,在實時控製軟件中引入形式化語言描述是必要的也是可能的.本文介紹瞭形式化式樣語言VDM-SL(Vienna Development Method-Specification Language),用VDM-SL給齣瞭一箇小型控製軟件的形式化描述.基于形式化式樣描述,提齣瞭從形式化式樣齣髮的控製軟件開髮.最後就形式化語言應用于軟件描述的前景進行瞭分析,同時指齣瞭形式化語言和工具的不足.
형식화어언능구대연건적공능진행정학적묘술,재실시공제연건중인입형식화어언묘술시필요적야시가능적.본문개소료형식화식양어언VDM-SL(Vienna Development Method-Specification Language),용VDM-SL급출료일개소형공제연건적형식화묘술.기우형식화식양묘술,제출료종형식화식양출발적공제연건개발.최후취형식화어언응용우연건묘술적전경진행료분석,동시지출료형식화어언화공구적불족.