%0 Journal Article
%T Compositional Verification of Concurrent Objects in UML Models<br>UML模型中并发对象的组合验证
%A DONG Wei
%A WANG Ji
%A QI Zhi-Chang School of Computer
%A National University of Defense Technology
%A Changsha State Key Laboratory of Software Engineering
%A Wuhan University
%A Wuhan
%A <br>董威
%A 王戟
%A 齐治昌
%J 计算机科学
%D 2005
%I 
%X Based on expressing UML Statecharts with hierarchical automata structurally, the paper defines the syn- chronous composition of concurrent objects in UML collaboration diagram. Then, the method and rules of composi- tional verification for concurrent object systems are studied based on the simulation relation between structures, which makes it possible that the global state graph is not needed in model checking and state explosion problem will be reduced.
%K UML
%K Model checking
%K Compositional verification<br>并发对象
%K UML模型
%K Statecharts
%K 验证
%K 组合
%K 同步合成
%K 模拟关系
%K 对象系统
%K 模型检验
%K 状态爆炸
%K 结构化
%K 自动机
%K 状态图
%K 协同
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=0B260C747AEACABE&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=DF92D298D3FF1E6E&sid=FA89360EB995A8AD&eid=FD7C952458BFB5D8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=13