COOZ中的时段演算  

作　　者：袁晓东[1] 陈家骏[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室

出　　处：《软件学报》1997年第A00期333-333,共1页Journal of Software

摘　　要：本文在ＣＯＯＺ中引入了连续时间的概念，建立了用连续时间表示的对象时钟引入时段演算来表示对象的实时约束和历史约束，并给出了一个火警自动预报系统的实例描述。文中对实时状态型转化、可积极及孤立点、历史性约束的分类等问题作了进一步的探讨。

关 键 词：时段演算 COOZ 面向对象 扩充语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]