论文部分内容阅读
针对形式化方法与可视化方法的优缺点，本文提出形式化方法与可视化UML互补的建模方法，主要探讨用形式化方法验证UML模型，将UML模型转换为Promela模型，再用模型检测工具SPIN对Promela模型进行验证。最后通过实例对此转换方法进行验证，实验结果表明了此方法的有效性。
基于Promela的UML建模方法及其应用
【摘 要】
：
针对形式化方法与可视化方法的优缺点，本文提出形式化方法与可视化UML互补的建模方法，主要探讨用形式化方法验证UML模型，将UML模型转换为Promela模型，再用模型检测工具SPIN对Prom
【机 构】
：
南昌大学计算中心,江西省信息中心
【出 处】
：
计算机与现代化
【发表日期】
：
2010年2期
【基金项目】
：
2008年江西省研究生创新专项资金省教育厅资助项目（YC08A032）
其他文献
随着WWW的迅猛发展,文本分类成为处理和组织大量文档数据的关键技术。KNN方法是一种简单、有效、非参数的分类方法。本文提出利用KNN分类器的封闭测试的结果对分类器进行调整
由二元关系导出的概念格是一种非常有用的形式化工具,也很适合于发现数据中潜在的概念。概念格的算法一直是数据挖掘领域研究的热点。本文根据需要对概念格的结构进行一定的
鉴于在地理信息系统中常使用点密度专题图对地图进行渲染,用随机点点数代表在地图上展现的数据,为此本文提出一个基于多边形栅格化,生成指定数目随机点的算法,可以制作出理想的点密度专题图。
就数学模型中参数值的优化问题列出两种不同的优化方法———非线性规划函数寻优和遗传算法最优化工具箱中的gaopt函数寻优。针对两种优化方法各自的特点,把gaopt函数的最优
针对制造企业生产管理中多部门和多业务之间存在的相互制约、协同和前驱后继关系的问题,对多业务协同控制进行分析,并在此基础上设计实现计划之间和业务之间协同控制的Petri
基于骨骼的角色实现快速碰撞检测。该算法以层次包围盒(OBB)为基础,通过为每个骨骼模型建立包围盒,运用分离轴理论计算包围盒的相交测试。该方法能有效地用于3D游戏引擎中碰撞检测的实现。
以VC＋＋6．0为开发环境，实现纯软件网络服务器程序和客户端程序。服务器程序实时采集屏幕图像，并对其应用高效压缩算法，使用CAsyncSocket套接字类，客户端程序实时接收、解压并显示图像
由于无纸化考试具有试题管理与维护方便、考试组织与实施简单、试卷评阅公正、考试结果公平准确等特点,成为许多学校课程考核方式的首选。本文针对无纸化考试系统中数据存储
教学评价是院校最重要的工作之一,而科学的评教方法又显得尤为重要。本文介绍一种更适合于关系型数据库关联规则挖掘的、基于SQL的频繁项关联规则挖掘算法,并将其应用于教学