一种面向嵌入式实时软件的需求建模语言

摘要：

针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM*.该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元,利用转换有效期和事件预定机制来描述时间限制,既具有较强的时间限制描述能力,又能自然而直接地支持交互行为的建模,可执行且具有良好的形式语义.给出了该语言的形式化语法,举例说明了其时间描述机制,并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义.

关键词：需求规约语言、层次并发有穷状态机、操作语义

所属期刊栏目：32

分类号：TP3;TN9

资助基金：国家自然科学基金69873035,60273026;国家自然科学基金;王宽诚教育基金

在线出版日期：2005-03-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：114-120