摘要
实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
The real-time languages provided the mechanisms for real-time constrains. The refinements and logic of the formalism methods may ensure the correctness and consistency between the requirment stoge and design stage. The application method of Multi-viewpoint can reduce the complexity of the processes in software development. A method we set out in the paper is based on multi-viewpoint mean, and PEARL's characteristic and RT-Z's grammar and semantic and construct. It is not difficult to apply the method in development of real-time software because of the separation of real-time constraints.
出处
《嘉应学院学报》
2005年第3期63-66,共4页
Journal of Jiaying University
