检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《电子学报》2002年第2期224-228,共5页Acta Electronica Sinica
基 金:国家自然科学基金 (No 60 0 730 0 3) ;国防预研项目 (No 41 32 0 0 70 1 0 4 )
摘 要:实时编程语言是有时间约束的系统描述语言 .已有语言在时态机制方面存在不同程度的缺点 .因此 ,本文提出了基于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.
关 键 词:建模语言 实时编程语言 RTS/Java语言
分 类 号:TP312[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28