协同状态网及其在软件建模和分析中的应用
文献类型：期刊论文
| 作者 | 沈春山 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2013 |
| 卷号 | 040 |
| 关键词 | 协同状态网 软件建模 模型驱动开发 |
| ISSN号 | 1002-137X |
| 其他题名 | Cooperative-state Network and its Application in Software Modeling and Analysis |
| 英文摘要 | 软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻＂银弹＂式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释。以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法。阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等。 |
| 语种 | 中文 |
| CSCD记录号 | CSCD:4778324 |
| 源URL | [http://ir.hfcas.ac.cn:8080/handle/334002/97220]  |
| 专题 | 中国科学院合肥物质科学研究院 |
| 作者单位 | 中国科学院合肥物质科学研究院 |
| 推荐引用方式 GB/T 7714 | 沈春山. 协同状态网及其在软件建模和分析中的应用[J]. 计算机科学,2013,040. |
| APA | 沈春山.(2013).协同状态网及其在软件建模和分析中的应用.计算机科学,040. |
| MLA | 沈春山."协同状态网及其在软件建模和分析中的应用".计算机科学 040(2013). |
入库方式： OAI收割
来源：合肥物质科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。