| 一种基于场景的嵌入式软件设计方法 |
| |
| 引用本文： | 戎玫.一种基于场景的嵌入式软件设计方法[J].计算机工程与应用,2010,46(9):62-64. |
| |
| 作者姓名： | 戎玫 |
| |
| 作者单位： | 暨南大学,深圳旅游学院,广东,深圳,518053 |
| |
| 基金项目： | 江苏省高校自然科学基金(No.#08KJB520010);;中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908)~~ |
| |
| 摘 要： | UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束，得到时间顺序图模板TSDT（Timed Sequence Diagram Template），用来建立嵌入式软件基于场景的需求规约模型。对消息传递自动机进行实时扩展，得到时间消息传递自动机TMPA（Timed Message Passing Automata），TMPA以自动机的形式刻画了所建立的需求规约模型，为在需求阶段验证所建立的模型是否满足用户需求奠定了基础。
|
| 关 键 词： | 嵌入式软件 场景 统一建模语言（UML）顺序图 消息传递自动机 |
| 收稿时间： | 2009-9-16 |
| 修稿时间： | 2009-11-12
|
Scenario-based design method for embedded software |
| |
| RONG Mei.Scenario-based design method for embedded software[J].Computer Engineering and Applications,2010,46(9):62-64. |
| |
| Authors: | RONG Mei |
| |
| Affiliation: | RONG Mei Shenzhen Tourism College,Jinan University,Shenzhen,Guangdong 518053,China |
| |
| Abstract: | For embedded software systems,UML sequence diagram is a visual formalism widely used to capture scenario-based system requirements during the early design stages.The scenario-based specifications of embedded software are specified by timed sequence diagram template which is a UML sequence diagram extended with a set of time interval constraints,and then message passing automata is extended with timing constraints,which is an automata-theoretic characterization of the embedded software. |
| |
| Keywords: | embedded software scenario Unified Modeling Language(UML)sequence diagram message passing automata |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
