基于时间自动机的UML模型转换与验证研究

针对无法对UML模型进行形式化验证的问题,提出在元模型层将UML模型转换为时间自动机模型并进行验证的方法.形式化UML状态机的结构,抽象出UML和时间自动机的元模型,利用模型转换语言ATL对UML元模型和时间自动机元模型构造映射规则,实现UML模型到时间自动机模型的转换,在模型验证工具Uppaal中对转换结果进行形式化验证.最后进行实例研究,结果表明了此方法的有效性和先进性.     

基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

基于事件序的UML序列图语义规范

UML缺乏准确的语义,难以支持对复杂系统的模型进行严格的语义分析和正确性验证。针对UML序列图,给出了形式定义、基于事件序的语义规范及其消息间关系;并定义了基本序列图,证明其具有全序的消息关系的性质,为序列图的语义分析与验证提供了基础。     

基于UML的石化MES业务模型

国内石化生产制造执行系统(Manufacturing Execution System即MES)的实施为企业带来了安全和经济的巨大效益,但在实施过程中也发现了一些问题,不同石化企业情况差异导致重复工作量大.问题在于现在已实施的MES可移植性差,没有统一的模式,建立国内石化MES业务模型及统一系统框架显得尤为重要.分析总结了石化MES的业务特点,梳理关键业务流程,用将业务模型拆分为多个模型的方式建立一个通用的业务模型,并用统一建模语言描述,为石化MES统一标准的形成提供参考.     

基于UML的信息系统业务建模方法

利用统一建模语言UML的扩展机制,提出了一个基于UML的业务建模方法．首先对UML模型及其扩展机制进行了简要的描述．然后提出了一个基于UML的多视图业务模型,该模型是由功能视图、资源视图、组织视图、信息视图和工作流视图构成的．针对每个视图模型的特点,采用相应的UML扩展机制对其进行描述．基于UML的业务建模方法为信息系统业务建模提供一个新的解决思路．     

基于UML的工作流建模研究

统一建模语言UML是面向对象分析和设计过程中的重要的建模工具.文章在介绍UML的基础上,以公文流转系统为背景,使用UML进行过程建模,分析了UML图与系统开发生命周期各阶段的对应关系,讨论了UML的建模机制和建模过程.     

基于UML的软件开发模型

针对计算机软件开发方法众多、描述语言不统一等问题，介绍了统一建模语言UML的基本概念，以及基于UML语言的Rational Unified Process(RUP)软件开发过程。通过对图书馆管理系统设计的实例分析，阐述了基于UML的软件开发模型设计。     

EPC流程模型与UML模型的转换规则研究

介绍了流程建模的常用方法、事件驱动的过程链(EPC)的流程模型和统一建模语言(UML)模型的基本概念，提出了在管理信息系统(MIS)的需求分析阶段EPC流程模型和UML逻辑模型的转换规则，并给出了一个企业处理客户订货需求的流程模型的转换实例．     

基于UML和XML Schema的作战计划建模

通过对作战计划基本构成的分析 ,提出作战计划的核心元素是“任务”和“行动”。利用面向对象的方法 ,建立了作战计划的数据模型 ,并用 UML静态关系图描述了该模型。在当前没有直接可参照标准的情况下 ,提出了从 UML静态关系图到 XML Schema的转换规则。以转换规则为基础 ,构造了作战计划的 XMLSchema,建立了作战计划的文件实例 ,为作战计划的可视化建立了基础。     

基于UML的网上电子电路实验系统设计

提出了一种用UML实现的网上电子电路实验系统参考模型及其建立方法。网上电子电路实验系统,是一种通过信息网络实现电子仪器和电路的远程操作的系统,为保证实验电路和电子仪器正常工作,对系统设计提出了较高的安全控制要求。在对UML进行简要介绍之后,提出了网上电子电路实验系统设计的UML建模方法,其中重点讨论了系统的用例图、类图和序列图,最后通过实际应用证明了此方法的正确性。     

UML图转有色Petri网图文法

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

UML类图的一种表示方法

由于UML类图元模型的庞大性和复杂性,为此,提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系,给出UML类图元模型基于SHOIN(D)的表示方法。     

Software Maintainability Prediction with UML Class Diagram

Software system can be classified into many function modules from the perspective of user. Unified modeling language( UML) class diagram of each function module was extracted,and design characteristic metrics which influenced software maintainability were selected based on UML class diagram.Choosing metrics of UML class diagram as predictors,and mean maintenance time of function module was regarded as software maintainability parameter. Software maintainability models were built by using back propagation( BP) neural network and radial basis function( RBF) neural network, respectively and were simulated by MATLAB. In order to evaluate the performance of models,the training results were analyzed and compared with leaveone-out cross-validation and model performance evaluation criterion. The result indicated that RBF arithmetic was superior to BP arithmetic in predicting software maintainability.     

基于UML的高校选课系统优化分析

为解决选课管理系统中安全性低和信息拥堵的问题, 运用UML（Unified Modeling Language）建模方法, 结合网上选课的主要流程和系统用户实际需求, 通过Rational Rose 2003对高校选课系统进行了优化分析和设计, 并以此构建了系统的用例图、 类图、 活动图、 序列图、 组件图和部署图。UML建模应用表明, 该方法产生的模型易于理解, 便于系统修改与升级, 取得了很好的开发效果, 从而克服了传统方法可扩充性低的问题。     

基于UML软件开发过程的CASE平台研制

针对基于UML的面向对象软件开发支持环境CASE平台的研制,给出了平台的需求定位和实现目标,讨论了平台组织的总体方案和功能,并据此给出了平台体系结构的设计和实现方案,阐述了平台设计和实现中的模型建立、数据存储机制实现方案,较成功地用于基于UML软件开发过程的CASE平台。     

一种用于数据库开发的UML类图的规格说明与C＋＋源代码生成技术

该文分析了信息系统软件开发的特点,并在UML静态结构模型中类图的基础上,提出了一种针对信息系统软件开发,特别是数据库系统开发的规格说明语言MISFRAME的语法原型,详细阐明了其在数据库开发中的语法定义,提供了相应的代码生成器,并说明了其生成源代码的原理.     

基于UML的计算机组成原理虚拟实验系统

传统的实验课程是在专门的实验室中进行, 由于时间和设备等因素的限制, 实验效果不理想, 为此, 研发了一套计算机组成原理虚拟实验系统。该系统根据某校实验设备进行设计, 系统遵循面向对象技术规范, 采用UML（Unified Modeling Language）进行建模, 利用通用语言VC++, 实现了虚拟实验系统。经过两届学生共327人的实际操作, 满意率达到81%, 为高校的虚拟实验室建设奠定了基础。     

一种基于MDA的UML顺序图到状态图的转换方法

MDA(model driven architecture)是解决基于不同中间件系统的集成问题．它将不同的系统都结构化成PIM(platform independent model)和PSM(platform specific model)，并针对不同的实现技术平台制定多个映射规则，然后通过这些映射规则及辅助工具将PIM转换成PSM，再将PSM不断求精直至形成最后的代码．MDA中的模型转换有4种：PIM到PIM，PIM到PSM，PSM到PSM以及PSM到PIM．其中PIM到PIM转换最显而易见的是分析模型到设计模型的转换．UML是MDA的模型描述语言，因此UML顺序图到状态图的模型转换必将为MDA中的PIM到PIM转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

MSC时间表示方法与UML序列图结合建模

介绍了系统建模中的时间相关概念，以及MSC和UML序列图对时间相关概念的表示．将MSC对时间强大的表示能力和准确的表达方法应用于UML序列图．对时间进行建模．提高了UML序列图的时间建模能力，进一步满足了实际系统，尤其是实时系统建模的要求．