| 实时系统构件非功能性接口语义规约 |
| |
| 引用本文： | 刘晓燕,张云生,J-J. Schwarz,李俊昌.实时系统构件非功能性接口语义规约[J].计算机科学,2007,34(6):251-252. |
| |
| 作者姓名： | 刘晓燕 张云生 J-J. Schwarz 李俊昌 |
| |
| 作者单位： | 1. 昆明理工大学信息工程与自动化学院,昆明,650011
2. LIRIS,UCB Lyonl, IUT A, 69622 Villeurbanne Cedex France. |
| |
| 基金项目： | 云南省教育厅资助项目
,
云南省应用基础研究项目 |
| |
| 摘 要： | 该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。
|
| 关 键 词： | 实时系统 实时构件 接口设计 非功能性 语义规约 |
Non-functional Interface Semantic Specification for Real-Time System Component |
| |
| LIU Xiao-Yan,ZHANG Yun-Sheng,J-J. Schwarz,LI Jun-Chang.Non-functional Interface Semantic Specification for Real-Time System Component[J].Computer Science,2007,34(6):251-252. |
| |
| Authors: | LIU Xiao-Yan ZHANG Yun-Sheng J-J Schwarz LI Jun-Chang |
| |
| Affiliation: | 1.The School of Information Engineering and Automation, Kunming University of Science and Technology, Kunming 650001;2.LIRIS, UCB Lyonl, IUT A, 69622 Villeurbanne Cedex France. |
| |
| Abstract: | Present a component distributed and involved in C/S relation real-time interface definition dedicated to component-based graphical design software for real-time multitasking application systems. Non-functional interface model for real-time component is discussed mainly. Semantic specifications of component non-functional interface in time, schedulability,composition, synchronization, mutual exclusion and resource device control are provided aiming at realtime features. |
| |
| Keywords: | Real-time system Real-time component Interface design Non-functionality Semantic specification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
