使用时间化自动机形式化带有时间扩展的UML状态图

作     者：赖明志 尤晋元 

作者机构：上海交通大学计算机科学与工程系上海200030 

基　　金：国家自然科学基金资助项目 (6 0 1 73 0 3 3 ) 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2003年第23卷第8期

页      码：4-6,14页

摘      要：严格建模是嵌入式实时系统设计的核心技术,通过UML方法与形式化方法结合可以给严格建模提供很好的工具支持。时间化自动机(TimedAutomata)是一种用于描述、验证实时系统的理论模型。文中提出了一种通过时间化自动机来形式化带有时间扩展的UML状态图的方法,这种方法为UML与形式化方法的结合构造了桥梁作用。带有时间扩展的UML状态图用于嵌入式系统动态模型的建模,从时间化自动机模型得到形式化规范将更容易。UML状态图的形式化分为两部分完成:层次状态图的平面化以及时间化自动机的构造。

主 题 词：嵌入式系统 UML状态图 时间化自动机 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 

核心收录：

馆 藏 号：203644452...