UML时间顺序图的实时系统建模及验证

• 作者: 王康健 陆慧娟 陈建国 陈江
• 来源期刊: 中国计量学院学报
• 学科: 工学
• 关键词: 统一建模语言 实时系统 建模 形式化验证
• 年，卷（期）: 2010,（1）
• 页码范围: 46-51
• 分类号: TP18
• 字数: 2682字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-1540.2010.01.010

摘要

实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆慧娟	中国计量学院信息工程学院	101	716	13.0	20.0
2	王康健	中国计量学院信息工程学院	10	62	5.0	7.0
3	陈建国	中国计量学院信息工程学院	6	26	3.0	4.0
4	陈江	中国计量学院信息工程学院	4	14	2.0	3.0