计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
4期
184-189
,共6页
形式化描述语言%责任授权模型%Object-Z%分布式时态逻辑
形式化描述語言%責任授權模型%Object-Z%分佈式時態邏輯
형식화묘술어언%책임수권모형%Object-Z%분포식시태라집
Formal description language%Obligation authorization model%Object-Z%Distributed temporal logic
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用.
Object-Z語言缺乏完整的時態描述能力,如無法錶達操作在特定時間之後執行或按某種週期執行等,也不具有操作補償等概唸.針對這些問題,在Object-Z中集成實時概唸和分佈式時態邏輯,提齣DTL-Real-Time Object-Z規格語言,該語言能有效地描述操作的時態驅動、事件驅動、操作補償等因素,分析和說明瞭該語言的語法和語義,最後通過對責任授權模型的形式化描述說明瞭該語言的錶達能力和應用.
Object-Z어언결핍완정적시태묘술능력,여무법표체조작재특정시간지후집행혹안모충주기집행등,야불구유조작보상등개념.침대저사문제,재Object-Z중집성실시개념화분포식시태라집,제출DTL-Real-Time Object-Z규격어언,해어언능유효지묘술조작적시태구동、사건구동、조작보상등인소,분석화설명료해어언적어법화어의,최후통과대책임수권모형적형식화묘술설명료해어언적표체능력화응용.
