UML序列图的Z形式规范

用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持。     

基于Z规范的统一建模语言序列图语义分析方法

针对统一建模语言序列图,提出了一种利用Z语言对其进行语义分析的方法．该方法在序列图Z规范的基础上,用属性集表示对象状态,并将序列图的上下文表示为Z形式约束,通过捡查上下文约束与对象状态间的一致性对序列图进行语义分析．通过一个应用实例说明了该方法的有效性．     

智能神经网络程序设计语言中规则的指称语义

智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指称语义,从而建立了NIPL中逻辑规则的数学模型,为使用该语言来方便地建立智能神经网络应用系统奠定了基础。     

中文语义网络的UML对象建模

介绍了一个汉语语义知识表达框架——语义网络，分析了语义网络的知识表示和逻辑推理，结合面向对象的描述语言UML(统一建模语言)对中语义网络进行了模型的描述。     

基于CPN的UML2.0形式化建模

UML作为一种半形式化建模语言,很难对系统进行动态的仿真与性能评价。基于着色Petri网（CPN）拥有严格的数学理论基础,能够对系统进行图形化的模拟与分析,提出了一种UML的形式化建模方法。对UML2.0顺序图中opt等操作符给出了对应CPN图形的转化规则,实现了用CPN模型描述UML2.0的用例图与顺序图的目的。以一个简单的UML2.0顺序图进行验证,结果表明所提方法是有效的。     

整体与部分关系中的语义传播机制研究

为了用UML严格、准确表示领域模型中整体与部分关系间的语义传播,从整体与部分关系的语义特征出发研究整体与部分关系之间的属性值的传播机制;从对象的生命周期出发,详细分析研究部分对象和整体对象之间的依赖关系,进而研究其操作的传播机制。在此基础上,分析研究UML在表示这些语义传播机制时的不足,扩展UML使其能可视化地描述整体与部分关系之间的语义传播机制,同时用代数理论形式化地定义它们,为准确建立领域模型以及后续的设计及实现莫定了较好的基础。     

基于UML状态图和Petri网的冷却水实时控制系统建模与分析

实时系统应用要求其必须有严格的正确性,UML及Petri网是保证其正确性的重要建模与分析方法.通过介绍Petri网的基本模型,阐述了UML状态图到Petri网模型的转换规则,通过生产线冷却水控制系统的实例描述了其在实时控制系统中的应用.     

基于形式化语义的启发式病毒检测引擎研究

对形式化语义在启发式病毒检测引擎上的应用进行了研究,在分析了基于虚拟机技术的反病毒检测引擎的效率问题后,又分析了启发式病毒检测引擎,发现其规则的选取对病毒判断的准确率影响很大,提出基于形式化语义的启发式病毒检测引擎。进行了计算机病毒语义关系框架及数据结构的设计,通过深入剖析不同病毒程序传染部分的代码结构,从而总结出病毒程序的典型语义特征,形成描述其典型语义特征的语义关系框架;在检测时抽取蕴涵在待检程序中的语义,进而建立描述程序语义关系框架;计算二者的匹配程度来确定程序是否含有恶意程序,从而达到检测未知病毒的目的。     

基于UML的分析建模方法

分析建模是利用模型,从技术层次上表达系统需求分析中的需求说明和设计内容.UML是一种标准的建模技术,它为系统的需求分析提供了全面的模型.通过实例详细讨论了UML的用例图、类图和序列图在分析建模中的具体应用.     

基于UML的人力资源管理系统分析

论述了UML技术在现代软件开发过程中的特点和重要性。并以人力资源管理系统的构造为例，具体说明了UML在软件设计过程中的使用。     

利用UML活动图进行业务分析

大多数管理系统中的业务流都较复杂，用传统的数据流图方法必须结合大量的文字描述，但仍难以清晰地表达，使用户难以理解，造成沟通上的困难。本文结合实际应用中的经验，阐述了在业务分析中运用UML活动图的方法，即首先确立岗位职责，然后根据实际的业务流程，建立活动图，最后将岗位职责与活动图中的活动相比照，查漏补缺。本文还分析了活动图的一些优点，即与面向对象的分析设计紧密衔接，易于被用户所理解等等；最后，简要说明了业务分析中应该遵循的原则和注意的问题。     

UML图转有色Petri网图文法

为解决由于UML（Unified Modeling Language）缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证。在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来的损失,提高系统的正确性和安全性。实验表明了该转换算法的有效性。     

软件设计中UML分层建模机制的应用

介绍了当今软件开发主流工具UML的相关概念和建模机制,提出了UML分层建模机制在软件设计中的应用及建模的步骤和方法.以书店图书购销管理系统为实例,完整地叙述了建模过程.     

基于用例驱动和UML的科技成果管理系统的分析与设计

以高校科技成果管理系统开发为背景,探讨了UML在该系统建模中的应用问题。详细介绍了用例驱动和用例分析的软件系统分析方法,对系统进行了需求模型、静态模型、动态模型及实现模型的建模。     

UML活动图在物流业务流程分析中的应用

大多数物流企业的业务流都采用传统的数据流图方法,造成了物流企业资源分配上的不均匀,使用户和管理人员难以相互沟通.在以建立我国商务车队的管理系统为最终目的的背景下,将北京市某物流企业作为研究对象,在进行较为详尽的调查基础上,运用UML (unified modeling language)语言进行了业务流程分析,明析物流企业的业务流程.为进一步建立商务车队管理软件奠定了基础.