集成的Z实时扩展RT-Z及其应用模式  

The Real-time Extension of Z and the Application Method

作　　者：陈生庆[1] 张立臣[2] 陈广明[1] 

机构地区：[1]嘉应学院计算机系,广东梅州514015 [2]广东工业大学计算机学院,广东广州510090

出　　处：《微电子学与计算机》2005年第6期126-128,131,共4页Microelectronics & Computer

基　　金：国家自然科学基金(60474072;60174050);广东省自然科学基金(04009465;010059);广东省高校自然科学研究项目(Z03024)资助

摘　　要：将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。The integrations of the formal specification language Z and timed CSS or timed CSP incorporating the descriptive strengths of Z toward the states and timed CSP or timed CSS toward the temporal relations and concurrent in a coherent frame, it is used not only requirement specification but also design phases in real-time software developments. The aim to develop the integrations of the formal specification is to apply requirements of different application domains. in this paper, the conclusions we discussed about the foundation classified principles of extension in real-time domain based on RT-Z can apply generally, then we analyze the method of integrating theirs semantics between Z and timed CSP, at last set out a application method on real-time extension of RT-Z.

关 键 词：实时系统 形式化方法 RT—Z 

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