Z实时扩展及基于多视点的应用模式  

Real-time extension of Z and the application mode based on multi-viewpoint

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

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

出　　处：《计算机应用》2005年第2期362-364,373,共4页journal of Computer Applications

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

摘　　要：RT -Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT- Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。RT-Z is the specification language integrating Z language with timed CSP, which is the extension of sequential communication processes in real-time aspect. RT-Z combines the advantages of the state expression in Z with the advantages of the temporal relation and concurrent expression in timed CSP. Thus, RT-Z has powerful expressive abilities suitable for states specification. The classified principles for the extension to Z in real-time aspect and its applied features were discussed. Based on the analysis of semantic integration of RT-Z, a multi-viewpoint applied pattern with the extension of Z in real-time aspect was put forward.

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

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