首页 | 本学科首页   官方微博 | 高级检索  
     

一种面向嵌入式实时软件的需求建模语言
引用本文:舒风笛,毋国庆.一种面向嵌入式实时软件的需求建模语言[J].计算机科学,2005,32(2):114-120.
作者姓名:舒风笛  毋国庆
作者单位:1. 中国科学院软件研究所,北京,100080
2. 武汉大学计算机学院,武汉,430072
基金项目:Supported by the National Natural Science Foundation of China under Grant No.69873035.60273026(国家自然科学基金),the K.C.Wong Education Foundation,Hong Kong(王宽诚教育基金)
摘    要:针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元.利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义。给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。

关 键 词:嵌入式实时软件  需求建模  操作语义  交互行为  嵌入式实时系统  软件需求  形式语义  语言  严格  支持

A Requirements Modeling Language of Embedded Real-Time Software
SHU Feng-Di,WU Guo-Qing.A Requirements Modeling Language of Embedded Real-Time Software[J].Computer Science,2005,32(2):114-120.
Authors:SHU Feng-Di  WU Guo-Qing
Affiliation:SHU Feng-Di,WU Guo-Qing Institute of Software,The Chinese Academy of Sciences,Beijing 100080 College of Computer,Wuhan University,Wuhan 430072
Abstract:
Keywords:Embedded real-time software  Requirements specification language  Hierarchical and concurrent finite state machine  Operational semantics
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号