| DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述 |
| |
| 引用本文： | 马莉,钟勇,霍颖瑜.DTL-Real-Time Object-Z形式化规格说明语言及其责任授权模型描述[J].计算机科学,2014,41(4):184-189. |
| |
| 作者姓名： | 马莉 钟勇 霍颖瑜 |
| |
| 作者单位： | 佛山科学技术学院电子与信息工程学院 佛山528000;佛山科学技术学院电子与信息工程学院 佛山528000;佛山科学技术学院电子与信息工程学院 佛山528000 |
| |
| 基金项目： | 本文受广东省自然科学基金(10152800001000016),佛山市科技发展专项资金(2011AA100061),佛山市产学研专项资金(2012HC10027)资助 |
| |
| 摘 要： | Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念。针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用。
|
| 关 键 词： | 形式化描述语言 责任授权模型 Object-Z 分布式时态逻辑 |
| 收稿时间： | 6/8/2013 12:00:00 AM |
| 修稿时间： | 2013/9/16 0:00:00 |
DTL-Real-Time Object-Z Specification Language and Implementation on Obligation Authorization Model |
| |
| MA Li,ZHONG Yong and HUO Ying-yu.DTL-Real-Time Object-Z Specification Language and Implementation on Obligation Authorization Model[J].Computer Science,2014,41(4):184-189. |
| |
| Authors: | MA Li ZHONG Yong and HUO Ying-yu |
| |
| Affiliation: | Electronic and Information Engineering School,Foshan University,Foshan 528000,China;Electronic and Information Engineering School,Foshan University,Foshan 528000,China;Electronic and Information Engineering School,Foshan University,Foshan 528000,China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
