论文部分内容阅读
分布式实时系统是当前计算机科学研究的一前沿领域。由于分布式实时系统本身的特点和其所嵌入环境规模的日益扩大,分布式实时系统的说明、设计、验证都很困难。系统说明是进行形式设计和验证的基础,因而必须开发出相应的系统说明方法。本文介绍了用事件关系模型来描述分布式实时系统的说明方法,其关键部分在于说明以对象为实体的事件之间的关系,利于系统形式设计与验证的实现。