摘要
实时编程语言是有时间约束的系统描述语言 .已有语言在时态机制方面存在不同程度的缺点 .因此 ,本文提出了基于Java的实时语言RTS/Java ,用于解决TGM模型到RT Actor模型的映射 .文章详细定义了RTS/Java类和方法及其约束 ,设计了方法的激发机制 .此激发机制解决了Allen教授提出的时态约束 .RTS/Java语言支持多前端资源共享 。
The Real-Time Programming language is considered as system description language with temporal constraints. There are shortcomings in the temporal mechanism of existed language. So, the paper presents the RTS/Java Real-Time language based on Java to solve the mapping from TGM model to RT-Actor model. The language defines the RTS/Java class, method and their constraints, and designs the method innovation mechanism. The mechanism has solved Allen's temporal constraints. RTS/Java language succeeds in describing the real-time simulation system of three surveillance satellites. RTS/Java features: (1) explicitly expressing temporal constraint; (2) temporal constructs illustrating task's period; (3) temporal logic independent of computer hardware; (4) the pure Object-Oriented style; (5) multi-front-end sharing resources.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2002年第2期224-228,共5页
Acta Electronica Sinica
基金
国家自然科学基金 (No 60 0 730 0 3)
国防预研项目 (No 41 32 0 0 70 1 0 4 )
关键词
建模语言
实时编程语言
RTS/Java语言
Computer simulation
Constraint theory
Java programming language
Mapping
Mathematical models
Object oriented programming
Real time systems
Semantics
