基于描述逻辑的带依赖属性UML类图

分析基于描述逻辑的统一建模语言(UML)类图形式化方法的研究现状和存在的问题,提出一种基于描述逻辑的带依赖属性UML类图的形式化方法。研究带依赖属性UML类图的数据属性依赖、行为属性依赖和全局属性依赖的描述逻辑形式化问题。给出带依赖属性UML类图向描述逻辑知识库转化的方法,以及带依赖属性UML类图知识库可满足性定理及其正确性证明。     

UML活动图到Petri网的转换方法及实现研究

统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。     

基于UML的POS系统体系结构建模

本文采用统一建模语言UML对软件体系结构进行建模,探索了UML在软件体系结构建模方面的特性。全文以POS系统为示例说明该方法的有效性。     

基于UML建模方法研制高校教师评估系统

本文分析了当前高校教师评估工作的现状,描述了建立教师评估系统的重要性和必要性,详细阐述了使用UML建模方法对评估系统进行需求建模的全过程,并给出了系统设计和实现结果。     

Observer模式在.net架构中的应用研究

Observer模式是一种有着广泛应用的设计模式,在程序实现中需要做大量的工作.利用.net架构的代理和事件技术,可有效降低代码的耦合性,减少出错率,使该模式的实现更简洁,扩展性更好.     

UML建模技术在医院奖金核算系统中的应用

针对当前医院信息管理系统没有科室奖金核算的缺点,结合医院奖金核算复杂性和特殊性的特点,提出应用UML建模技术设计开发的系统解决方案．本文分析面向对象的UML建模技术,从系统开发过程的视角着重介绍了UML建模技术在需求分析和结构设计层次中的应用,提出了医院奖金核算管理系统开发问题的新思路．根据建模的用例图、活动图和序列图描述出系统设计的构架,用类图反映出数据对象的属性和操作．最终实现一个功能完善,性能可靠的医院奖金核算管理系统．     

从UML到GSPN的转换和性能分析方法

UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息;然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream将上一步得到的GSPN模型转换成分析工具所支持的格式;最后利用基于GSPN的性能分析方法进行系统性能分析。同时给出了一系列性能指标的计算方法,如利用率、吞吐量、平均等待请求的数目以及响应时间等,可以考察系统性能的多个方面,方便系统设计和开发人员对系统性能进行分析和优化。     

基于UML的仿真实验设计系统设计与实现

为满足信息化条件下武器装备体系概念演示验证仿真的需要,在分析仿真实验设计系统需求的基础上,对仿真实验系统设计中的武器装备体系构建、战场环境生成等问题进行了探讨,给出了作战计划生成方法,并根据仿真系统的需要设计了行动序列生成模版.在对系统架构进行了详细分析的基础上,利用UML对系统结构进行了分析设计,并对系统用例模型、结构模型和行为模型等进行了可视化建模.最后,采用微软公司的VC.NET程序语言进行了系统开发和实现.     

基于SVG的剧院网上选座系统的实现

阐述了网上选座系统的基本工作原理,运用 UML 技术中的用例图模型化网上选座系统,并用时序图描述网上选座用例所包含的时序关系.实现中充分考虑动态服务器程序和 SVG 图形之间的良好协作.分别完成了放映厅座位的SVG图形设计、不同座位状态的图形标识和交互性的网上选座,并结合实例说明了动态的,图形化的剧院网上选座系统的实现.     

连铸坯切割测长监视系统模型设计

针对宝钢连铸坯切割测长过程中出现的铸坯超长、未切断,测长不准确等问题,设计了一个连铸坯切割测长监视系统模型,当上述问题发生时及时报警并辅助查找故障原因。根据现行切割测长系统的运行特点,设计了它的功能模型,提出利用现场光电管引入作为长度测量,既节省了设备又解决了测长不准确等问题;又建立了更深入的设计模型,描述了具体功能的实现过程,同时该模型采用了先进的UML建模技术,消除了因人而异的最佳表达方法所造成的影响,更有利于模型在实际系统中应用。实际应用结果表明,该模型基本满足了现场要求。