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

doi:10.3724/SP.J.1087.2005.0362

计算机应用 ›› 2005, Vol. 25 ›› Issue (02): 362-364.DOI: 10.3724/SP.J.1087.2005.0362

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

陈广明¹，陈生庆¹，张立臣²

1.嘉应学院计算机科学与技术系； 2.广东工业大学计算机学院

发布日期:2005-02-01 出版日期:2005-02-01
基金资助:
国家自然科学基金资助项目 ( 60174050 );;广东省自然科学基金资助项目 ( 010059 );;广东省高校自然科学研究基金资助项目(Z03024)

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

HEN Guang-ming¹,CHEN Sheng-qing¹, ZHANG Li-cheng²

1.Department of Computer Science & Technology, JiaYing College, Meizhou Guangdong 514015, China; 2.Department of Computer Science,GuangDong University of Technology,Guangzhou Guangdong 510090, China

Online:2005-02-01 Published:2005-02-01

摘要/Abstract

摘要： RT-Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT- Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。

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

Abstract: 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.

Key words: eal-time system, formalism method, RT-Z

中图分类号:

TP311

陈广明，陈生庆，张立臣. Z实时扩展及基于多视点的应用模式[J]. 计算机应用, 2005, 25(02): 362-364.

HEN Guang-ming,CHEN Sheng-qing, ZHANG Li-cheng. Real-time extension of Z and the application mode based on multi-viewpoint[J]. Journal of Computer Applications, 2005, 25(02): 362-364.

[1]	武鹏, 吴尽昭. 基于线性误差断言的推理方法[J]. 计算机应用, 2021, 41(8): 2199-2204.
[2]	安鑫, 夏近伟, 杨海娇, 欧阳一鸣, 任福继. 基于离散控制器合成的异构多核系统资源管理方法[J]. 计算机应用, 2020, 40(6): 1698-1706.
[3]	秦楠, 马亮, 黄锐. 基于系统理论过程分析的软件安全性需求分析与验证方法[J]. 计算机应用, 2020, 40(11): 3261-3266.
[4]	韩德帅, 邢建春, 杨启亮, 李决龙. 自适应软件动态过程时间特性建模与验证方法[J]. 计算机应用, 2018, 38(3): 799-805.
[5]	鲁金钿, 尧利利, 何旭东, 孟博. 改进的OpenID Connect协议及其安全性分析[J]. 计算机应用, 2017, 37(5): 1347-1352.
[6]	邓腾, 戴紫彬, 张立朝, 吴雪涛. 基于反馈控制的嵌入式实时系统调度算法设计[J]. 计算机应用, 2015, 35(5): 1426-1429.
[7]	莫礼平周恺卿. 方块苗文动态构造方法的形式化描述[J]. 计算机应用, 2014, 34(3): 861-864.
[8]	于丽贞徐中伟陈祖希张舒青. 基于梯形逻辑的联锁系统形式化验证方法[J]. 计算机应用, 2013, 33(12): 3419-3422.
[9]	熊金波姚志强金彪. 云计算环境中结构化文档形式化建模[J]. 计算机应用, 2013, 33(05): 1267-1270.
[10]	杨志邦徐成周旭朱雪庆. 实时系统中弹性调度策略[J]. 计算机应用, 2012, 32(02): 573-577.
[11]	李劲张华吴浩雄向军. Web服务组合行为一致性的形式化描述和分析[J]. 计算机应用, 2012, 32(02): 545-550.
[12]	石林勇晏立. 多处理器全局单调比率的可调度性分析[J]. 计算机应用, 2010, 30(10): 2735-2737.
[13]	李沁曾庆凯. 知性Cord逻辑：验证Ad Hoc网络匿名路由协议[J]. 计算机应用, 2009, 29(09): 2432-2434.
[14]	金永贤黄经州. 开放式实时系统双层调度框架的一种改进方案[J]. 计算机应用, 2009, 29(06): 1509-1513.
[15]	金永贤黄经州王建国. 基于双层调度框架的开放式实时系统非实时应用调度[J]. 计算机应用, 2008, 28(6): 1608-1611.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics