基于实时语言的多视点形式化实时开发模式

• 作者: 丘金元 陈广明 陈生庆
• 来源期刊: 嘉应学院学报(自然科学)
• 学科: 工学
• 关键词: 实时系统 语言 PEARL 形式化方法 RT-Z 面向方面 AOSD
• 年，卷（期）: 2005,（3）
• 页码范围: 63-66
• 页数: 4页
• 分类号: TP311.52
• 字数: 3028字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-642X.2005.03.018

摘要

实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈生庆	嘉应学院计算机科学与技术系	23	55	4.0	7.0
2	陈广明	嘉应学院计算机科学与技术系	21	59	4.0	7.0
3	丘金元	嘉应学院计算中心	1	0	0.0	0.0