UML模型中并发对象的组合验证

摘要：

本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题.

关键词：UML、模型检验、组合验证

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60303013;国家重点实验室基金SKLSE03-08

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：231-233,封四