【摘 要】
：
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问题,在Object-Z中集成实时概念和分布式时态逻
【机 构】
：
佛山科学技术学院电子与信息工程学院
【基金项目】
：
本文受广东省自然科学基金（10152800001000016）,佛山市科技发展专项资金（2011AA100061）,佛山市产学研专项资金（2012HC10027）资助.
论文部分内容阅读
Object-Z语言缺乏完整的时态描述能力,如无法表达操作在特定时间之后执行或按某种周期执行等,也不具有操作补偿等概念.针对这些问题,在Object-Z中集成实时概念和分布式时态逻辑,提出DTL-Real-Time Object-Z规格语言,该语言能有效地描述操作的时态驱动、事件驱动、操作补偿等因素,分析和说明了该语言的语法和语义,最后通过对责任授权模型的形式化描述说明了该语言的表达能力和应用.
其他文献
XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式.提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法.该
档案是企业极具价值的基础性资源,档案管理是指档案馆直接对档案实体或者对档案信息进行管理并提供利用服务的各项业务工作的总称,而知识管理就是为企业实现显性知识和隐性知
研究钢结构建筑爆破拆除工艺技术，选择DDA方法作为计算机模拟方法，叙述了钢结构爆破拆除计算仿真软件的数据输入系统，预处理程序，静力分析或动力分析程序，图形后处理程序等的功能
本文对企业集团所属企业档案工作现状进行了分析,对企业集团档案工作管理手段进行了探讨。企业集团对所属企业档案工作进行管理需要综合运用监督与指导两个手段,明确两种手段
跨线人行天桥是一特殊的预应力拱形构筑物,用控制爆破法拆除.根据待爆破部分的结构和条件,具体设计布孔和装药结构.用防护棚和铺设湿草袋的方法阻挡飞石.用车道板和袋装土保
本文在收集大量资料的基础上,对1988-2013年中国大陆出版发行的50余本企业档案管理（学）著作分三个阶段进行叙述,并对其中的代表性著作做了简评,该研究对于丰富档案学研究、充实