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

Real-time system's modeling and verification based on UML time sequence diagram

作　　者：陈江[1] 陈建国[1] 陆慧娟[1] 王康健[1] 

机构地区：[1]中国计量学院信息工程学院,浙江杭州310018

出　　处：《中国计量学院学报》2010年第1期46-51,共6页Journal of China Jiliang University

基　　金：国家质检总局科技计划项目(No.2009QK026);浙江省科技厅重大科技专项(No.2007C13091)

摘　　要：实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.With the rapid development of computer technology,the application of real-time systems became more and more wide.The oversight of real-time systems could lead to disastrous consequences.It is essential to ensure the accuracy and reliability of such systems,and modeling was certainly a good solution.Formal modeling methods used a rigorous mathematical semantics of the system description,but not intuitive formal models.It was difficult to understand the formal specifications.This paper extends the UML sequenc...

关 键 词：统一建模语言 实时系统 建模 形式化验证 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]