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

• 作者: 刘亚萍 周航 曹子宁 祝义 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 形式化规约 软件体系结构 LOTOS UML-RT 实时系统
• 年，卷（期）: 2010,（11）
• 页码范围: 2738-2751
• 分类号: TP311
• 字数: 7650字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03701

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	祝义	南京航空航天大学信息科学与技术学院	15	179	8.0	13.0
4	周航	南京航空航天大学信息科学与技术学院	34	186	8.0	11.0
5	曹子宁	南京航空航天大学信息科学与技术学院	25	200	8.0	13.0
8	刘亚萍	南京航空航天大学信息科学与技术学院	3	28	2.0	3.0