中文会议： 2008年全国理论计算机科学学术年会论文集

会议日期： 2008-09-19

会议地点： 西安

主办单位： 中国计算机学会

作　　者： ; ; ;

机构地区： 苏州大学计算机科学与技术学院

出　　处： 《2008年全国理论计算机科学学术年会》

摘　　要： 为了在软件开发早期阶段对UML2.0顺序图模型进行分析和验证,本文给出了UML2.0顺序图的一种有穷自动机模型.首先给出了顺序图在语法和语义上的形式化描述,然后提出了一种使有穷自动机来描述每个对象在顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML2.0顺序图,最后分析了UML2.0顺序图中的时间建模机制,设计了从UML2.0顺序图中提取时间约束的算法。以上工作为使用模型检测工具UPPAAL对顺序图模型进行进一步的分析与验证奠定了基础.

关 键 词： 顺序图 有穷自动机 时间自动机 软件开发 时间建模 建模机制

分 类 号： [TP]

领　　域： [自动化与计算机技术]