中文版 | English
HFCAS OpenIR
协同状态网及其在软件建模和分析中的应用
其他题名Cooperative-state Network and its Application in Software Modeling and Analysis
沈春山
2013
发表期刊计算机科学
ISSN1002-137X
摘要软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻＂银弹＂式的软件建模方法。在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述。首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释。以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法。阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等。
其他摘要Software modeling is a fundamental task of software activities and the core of model driven development process. The ＂Silver Bullet＂ type of software modelling is been pursued in software engineering. Based on the analysis of existing software modeling methods, the cooperative-state network was presented to achieve static and dynamic charac terization of software system. First, the formal definition, graphical representation and interpretation of related concepts of cooperative-state network were given. Taking a Boiler control software system as example, the model construction al- gorithm and model reliability analysis were presented in detail. And also, some advantages of cooperative-state network in software modeling and implementation were described, including easy understanding, one model describing the whole static and dynamic characteristics, executable, analysable, better visualization and consistency, etc.
关键词协同状态网 软件建模 模型驱动开发
收录类别CSCD
语种中文
CSCD记录号CSCD:4778324
引用统计
文献类型期刊论文
条目标识符http://ir.hfcas.ac.cn:8080/handle/334002/97221
专题中国科学院合肥物质科学研究院
作者单位中国科学院合肥物质科学研究院
第一作者单位中国科学院合肥物质科学研究院
推荐引用方式
GB/T 7714		 沈春山. 协同状态网及其在软件建模和分析中的应用[J]. 计算机科学,2013,040.
APA 沈春山.(2013).协同状态网及其在软件建模和分析中的应用.计算机科学,040.
MLA 沈春山."协同状态网及其在软件建模和分析中的应用".计算机科学 040(2013).
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[沈春山]的文章
百度学术
百度学术中相似的文章
[沈春山]的文章
必应学术
必应学术中相似的文章
[沈春山]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。