一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于UML的三维建模系统多方案动画设计

为使用户可以在一个场景中观察某个对象的多个动画,基于统一建模语言技术并采用“整体-局部”方法,给出三维建模系统动画实现过程与所需模块。以关键帧管理为主线,结合面向对象设计方法,给出实现细节的用例分析。对关键帧采用双结点十字链表结构,提供多方案动画调试功能。根据局部功能给出实现类的设计,为进一步代码实现提供依据。     

一种基于蒙特卡洛法的巡航弹航迹规划建模与软件实现方法

蒙特卡洛法MC(Monte Carlo)是一种重要的概率计算方法.航迹规划是一个非结构化优化过程,是一种难以用一组数学模型来描述一条航迹的规划方法.其难点是力求快速准确,以提高应急反应能力,此是生存与制胜的关键所在.研究了利用MC法设计突破火力单元等障碍物的算法,该算法首先是将规划分成若干较为细小的事件,而后通过用随机数进行统计实验,最后归纳出是否是概率有效的,以决定取舍.MC法有效地实现了在约束条件下的航迹优化设计,速度可比常规方法提高22%.用UML语言进行了软件建模实现,包括类图、时序图等静态模型和动态模型.所给出航迹规划软件平台经应用效果良好,不但规范了航迹规划工程,而且缩短了开发时间.     

基于UML的实验室预约管理系统设计

针对高等院校开放性实验管理上的不足,利用SSH框架、UML与SQL Server 2005等软件构建了基于UML的实验预约管理系统。利用JAVA语言与UML技术,实现了实验预约、审核、查询和管理等功能。该系统使实验室的开放管理科学化,仪器设备使用效能最大化。     

基于UML和RUL设计高职院校教务管理系统的研究

随着职业化教育改革的不断推进,高校教务管理工作量大幅度增加,其复杂性也越来越大。这使得高校教务管理工作的信息化和网络化势在必行。与此同时,校园网的建立和Internet技术的引进为建立这样的系统提供了必要的条件。因此,该文针对高职院校的教务管理模式开发基于校园网的教务管理系统。该文使用UML统一建模语言和Rational统一过程对高职学院院校管理系统进行系统设计。在本论文中详细讨论的系统的需求分析,使用UML建模语言分析了管理系统的用例。以用例图为基础,进一步分析系统。使用对象图,协同图等表达系统对象之间的管理。开发系统的过程中,我们针对本系统客户端众多的特点,采用了以B/S模式为主,C/S模式为辅的开发模式。为了得到良好的伸缩性,结合COM+技术,采用三层体系结构开发。     

基于仿真的飞行模拟器优化配置研究

随着飞行模拟训练的比重不断加大,模拟器优化配置已成为重点研究问题。以离散事件系统仿真理论为基础,使用统一建模语言（UML）,依据面向对象分析设计的方法,建立了飞行模拟训练系统的仿真模型。通过仿真,得到能够反映系统性能的指标参数。最后运用层次分析法（AHP）对各方案的仿真结果进行综合评价,从而得到模拟器最佳配置方案。     

基于TLA的UML模型形式化验证

统一建模语言(UML)不能直接对所建立模型的正确性进行形式化验证。为解决上述问题,从UML模型的静态结构和动态行为 2个方面分别提出结合行为时序逻辑(TLA)的模型形式化方法,在此基础上提出将UML模型转化为TLA+的形式化描述方法,并用TLC工具形式化检测TLA+描述的正确性。通过实例分析证明了该方法的有效性。     

基于MDA与UML扩展的安全软件开发方法

为提高软件安全性,提出一种基于模型驱动架构(MDA)与统一建模语言(UML)扩展机制的安全软件开发方法。采用UML扩展机制建立系统安全相关的平台无关模型,将软件的安全性分析提前到设计的早期;利用MDA方法进行软件安全属性的建模,降低后期开发的风险与成本。图书管理系统实例验证了该方法的有效性。     

基于SysML的可执行体系结构框架

目前可执行体系结构的相关研究缺乏统一的描述框架和分析设计方法.为此,结合系统建模语言(SysML)中的行为图、需求图和结构图,改进美国国防部体系结构框架的三视图体系结构,在此基础上提出一种可执行体系结构框架模型,并规范可执行开发过程.应用结果表明,该框架是可行的,能为下一步体系结构的动态仿真评估验证提供方法指导.     

基于本体的UML类图语义推理

统一建模语言(UML)是一个半形式化的语言,其语义部分是采用自然语言描述的,使得它在建模过程中会产生语义不一致等问题。在详细比较UML类图与本体的基础上,提出了一种UML类图的形式化方法;首先将UML类图转换为相应的本体;然后根据本体提供的推理算法(Tableau)对转换得到的本体进行推理,检测其中的不一致性从而修改UML类图,最后达到精确UML类图。