一种基于形式化规约生成软件体系结构模型的方法

微信服务号

微信订阅号

首页 > 过刊浏览>2010年第21卷第11期 >2738-2751

一种基于形式化规约生成软件体系结构模型的方法
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60873025 (国家自然科学基金); the Jiangsu Provincial Natural Science Foundation of China under Grant No.BK2008389 (江苏省自然科学基金); the Natural Science Foundation for Colleges and Universities in Jiangsu Province of China under Grant No.08KJB520010 (江苏省高校自然科学基金)

Method for Generating Software Architecture Models from Formal Specifications

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

使用LOTOS描述实时系统需求规约，通过建立LOTOS规约到UML-RT模型的模型转换，提出一种基于形式化规约生成软件体系结构模型的方法。最后，通过一个实例来说明如何将该方法应用于实时软件建模。利用这种方法建立的UML-RT模型，能够从整体上提高实时系统软件体系结构设计的可信性。

Abstract:

This paper uses LOTOS to describe the requirement specification of real-time systems and proposes a method for generating software model from formal specifications by establishing a mechanism that translates LOTOS specifications into UML-RT models. Finally, this paper illustrates how to use the method when modeling real-time software. The UML-RT models generated by this method can increase the reliability for designing the software for real-time systems.

参考文献

相似文献

引证文献

引用本文

祝义,黄志球,曹子宁,周航,刘亚萍.一种基于形式化规约生成软件体系结构模型的方法.软件学报,2010,21(11):2738-2751

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2008-12-20
最后修改日期:2009-07-23
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码