UML顺序图的鲁棒性分析

鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language, UML)顺序图模型被广泛用于面向对象软件系统的分析与设计,它的鲁棒性至关重要。首先,引入形式化模型——统一结构。其次,给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义,随后讨论顺序图在组合与精化条件下的保存问题。最后,在原型工具支持下进行实例研究。实验结果表明,设计阶段的顺序图能保持分析阶段顺序图的鲁棒性,从而可以给予从事面向对象的开发人员相关帮助及支持。     

一种基于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转换提供有力的支持．介绍了从一个顺序图转换成多个状态图的算法，并进一步讨论了从多个顺序图转换到状态图以及简化状态图的方法．处于一个系统中的多个状态图不是孤立的，他们各自的状态转换是相互约束的，最后给出了组合多个状态图的方法，以及如何生成在同步约束下多个状态图的转换关系，并最终得到系统的状态图．     

形式化表示UML顺序图的结构操作语义

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.     

UML顺序图驱动的动态行为测试

提出了一个模型驱动的测试方法,基于UML顺序图模型生成测试用例,并利用模型指导对程序的插装以收集运行时行为信息,执行测试后可以通过分析预期执行轨迹和运行时执行轨迹的一致性来确定顺序图描述的系统预期行为是否被正确实现。实现了一个原型工具,对上述方法提供支持。     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

基于消息语义的UML2.0顺序图控制流分析

基于消息语义提出一种分析UML2.0顺序图控制流的方法, 分析了UML2.0顺序图消息发送和接收动作之间的关系, 并将其映射到相应的消息上, 得到消息的相继顺序关系. 根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则, 并得到基于消息语义的并发控制流图（MSCCFG）, 从而获取顺序图的控制流信息.     

UML顺序图的COSMIC-FFP度量方法

COSMIC-FFP是新一代软件功能规模度量方法,但由于其规则过于抽象导致较难推广。本文研究UML顺序图的COSMIC-FFP度量方法,通过给出COSMIC-FFP与UML顺序图概念之间的对应关系,提出了贯穿于整个度量过程的11条规则和从UML顺序图到度量结果矩阵的度量过程。通过实例验证了所提方法能使COSMIC-FFP更具有实用性。     

顺序图在软件工程实践中的演化作用分析

以苗圃管理系统的设计为例,从类图及其对应的程序代码引申出顺序图,再进一步演化出协作图、活动图、状态图和部署图,为软件工程设计的实践化方法提供了有效的途径,有利于设计工作的开展.     

基于UML的物业管理系统设计

UML是基于面向对象技术的建模语言,它通过不同的视图为系统建模。它的主要作用是帮助用户对软件系统进行面向对象的描述和建模,它可以描述软件开发过程从需求分析直到实现和测试的全过程,是系统分析员、程序设计员和客户之间交流的工具。物业管理系统采用了UML语言对软件体系结构建模。     

基于UML和MVC的远程教育网站设计

网站是现代远程教育的平台,实现远程教育网站设计的可重用、提高网站的开发效率具有重要意义.使用UML统一软件建模语言和MVC模型、视图、控制方法来设计远程教育网站,用UML用例图做需求分析,用类图设计系统静态模型,用顺序图设计系统动态模型,用MVC设计系统组件结构.用这种方法设计的远程教育网站易于代码化,具有良好的可重用...     

基于UML的教学管理系统分析与设计

针对高校教学管理系统软件项目开发需求 ,基于UML建立了主要的系统静态结构模型与动态行为模型 .对与新学期的课程选课注册管理与学生成绩管理两项工作给出详尽的分析和设计 ,如系统边界、活动者、UseCase、对象类图、用户接口及数据库模型 .依据校园网 ,给出分布式系统客户 /服务器结构的组件图及配置图     

高校人事管理信息系统研究与设计

高校人事管理是高校管理系统的重要组成部分,过去传统的人力手工操作的人事管理模式已不能适应当前教育改革的需要.为此,建立以计算机技术、网络技术支持的现代管理系统,势在必行.以高校人事日常工作环境为背景,并根据其特点研究设计了业务流程图和用例图分析.这样可使得人事工作呈现科学化、规范化的常态管理.从而提高人事部门日常管理工作的效率和决策的服务水平.     

UML类图的一种表示方法

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

基于UML的实验教学与管理系统的分析与设计

针对采用传统方法设计MIS系统所面临的缺陷,探讨了基于UML的面向对象的系统分析与设计方法,并以实验教学与管理系统为例,介绍了UML模型在系统中的应用,特别是以用例图表达系统需求、以活动图表达业务模型的方法.     

Modeling Workflow Using UML Activity Diagram

An enterprise can improve its adaptabihty in the changing market by means of workflow teclmolo-gies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling language (UML) activity diagram is an important visual process modehng language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established.Using π-calculus, the deadlock property of workflow is analyzed.     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.