论文部分内容阅读
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全局状态图,以缓解状态爆炸问题.
UML模型中并发对象的组合验证
【摘 要】
：
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使
【机 构】
：
国防科技大学计算机学院,国防科技大学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2005年7期
【基金项目】
：
国家自然科学基金，国家重点实验室基金
其他文献
作为研究信息系统之间关系的一种有力工具,信息系统同态的概念首先由J.W.Grzymala-Busse引入.本文研究了信息系统同态的一些性质,揭示了构成信息系统同态的对象映射、属性映
传统数据库安全的研究重点是如何防止非授权用户对数据库的恶意干扰和破坏,事实上根本无法阻止所有的攻击.因此,在信息战语义下,更为紧迫的是如何找到有效的措施来缓解或消除
为了考察复配分散剂对不同煤化程度煤的成浆性能的影响，以木质素磺酸钠与萘磺酸钠复配分散剂对山西王坡煤（WP）、淮北朱仙庄煤（ZXZ）、内蒙古上湾煤（SW）3种不同煤化程度的煤样进行了制
轨道模型(Orbit Model)作为一种新的功能驱动、架构驱动和风险驱动的开发模式,可用于对复杂大中型软件项目进行流程管理,并已在项目开发中试行近两年.本文阐述了轨道模型的架
从基准面变化,沉积相变,煤层厚度变化,煤层顶底板特征方面分析了沉积作用对彬长地区煤层气赋存的影响。研究表明：厚煤层形成于基准面上升旋回的末端,是煤层气形成和富集的首要
开放协同软件环境下软件系统的安全问题极大地影响了软件系统的开发与应用.信任管理是解决开放协同软件环境下安全问题的一个新思想.本文在分析了开放协同软件系统安全问题的
Cache技术是一种能够减少时延,节省带宽和降低服务器负载的有效方法.文章分析了现有证书服务器中Cache算法和证书系统的结构特性;指出证书缓存的简单替换算法:FIFO(first in
CASE(Computer Aided Software Engineering计算机辅助软件工程)环境作为一类复杂的系统软件,其体系结构至关重要.本文在工具总线(ToolBus)的基础上,从软件体系结构的角度,提
MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点。本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过