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

来源 :嘉应学院学报 | 被引量 : 0次 | 上传用户：kcyen

【摘要】

：

实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的

【作者】

：

陈广明陈生庆丘金元

【机构】

：

嘉应学院,嘉应学院

【出处】

：

嘉应学院学报

【发表日期】

：

2005年3期

【关键词】

：

实时系统语言 PEARL 形式化方法 RT—Z 面向方面 AOSD real-time system language PEARL formalism

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

基于Modbus／Udp的电源、环境分布式监控系统设计与实现

监控技术在工业生产和管理中发挥了重要作用，并已经被人们认识和认可。传统的集中式、短距离监控不能跟上现代企业生产和管理的需要。文章结合工业监控技术现状和发展趋势，提出

期刊

分布式Modbus/Udp工业监控distribution Modbus/Udp industrial monitoring

论黄遵宪的客家情结

作为客家人的黄遵宪,自小受客家文化的熏陶,有着浓郁的客家情结.他一方面积极发掘客家、热情颂扬客家文化,提高了客家人在社会上的声誉和地位.另一方面又充分利用客家资源,成

期刊

黄遵宪客家客家情结诗界革命Huang Jun-xian Hakka Hakka feeling knot the poem revolution

水电安装工程预结算专家信息系统的设计

以专家系统的理论与方法为指导,利用统一建模语言(UML),探讨了水电安装工程预结算专家信息系统的建模过程与开发方法.

期刊