基于状态机的UML行为继承关系

行为继承是面向对象领域的重要概念,UML是面向对象设计中重要的建模语言。本文以一种抽象状态机为模型,给出了UML行为继承关系的形式化定义,同时证明了该定义的合理性。文章最后说明了该行为继承定义方法在UML中的具体实现。所讨论的行为继承与Harel,Sourrioulle等人的定义相比,具有更精确的含义。

基于UML和模型检测的安全模型验证方法

安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反.

基于IDEF&UML的生产过程管理系统的建模研究

提出了IDEF与UML两者结合的系统建模方法,能够有效地避免IDEF对信息过程流建模和UML语义描述精确性及使用灵活性的不足.该方法采用IDEF0进行系统功能建模,用IDEF1x和UML模型进行信息建模和面向对象的软件系统设计.用该方法设计的沈阳某冶金设备有限公司的基于组件的生产过程管理系统模型具有良好的维护性、可扩展性和重用性,证明了该方法的可行性.

统一建模技术研究

统一建模是指采用UML语言并运用RUP过程进行软件系统建模的技术.分析了统一建模的特点,总结了在统一建模过程中使用的一些技术,包括如何分析用例,如何在设计中保持一致的体系结构风格,如何识别和重组设计元素等.

基于容器中间件的组件系统体系结构性能评价

对组件系统性能建模时,需要考虑中间件平台的影响.基于体系结构模式,分析了容器风格中间件对组件系统结构和性能的影响,并提出了一种在组件系统UML描述中集成中间件组件及交互关系的方法.从该集成UML模型导出的性能模型,能够有效地反映中间件的影响.这样,在对组件系统性能建模时,无须了解中间件内部细节.这种基于体系结构模式的方法可以方便扩展以处理不同风格的中间件,且易于实现自动化.以EJB容器中间件为例说明并验证了所提出方法的有效性.

从面向对象的遗留系统到面向服务架构的迁移方法

Migrating legacy system with web service is an effective and economic way of reusing legacy software in a SOA environment.In this paper,we present an approach for migrating a three-tie object-oriented legacy system to SOA environment.The key issue of the approach is about services identification from large numbers of classes.And we propose a bottom-up method to model the system with UML and identify services from UML then.This approach can be a reference to an auto-migrating process.

用面向对象方法分析、设计、实现工业远程监控系统

较早时期的实时监控应用软件，从分析设计到代码实现，采用的都是结构化方法，有的甚至没有经过分析设计阶段，直接进行编程。也曾有过分析和设计阶段采用结构化方法，编程实现采用面向对象语言的尝试。但由于分析设计的缺陷导致在软件生命周期的维护阶段出现许多问题，如存在较多的缺陷(bug）、结构性错误、修改困难、功能扩展工作量太大等等。统一建模语言(UML)的出现是面向对象建模领域的一个里程碑，它将面向对象方法和以往的面向过程的结构化方法做了较为完善的结合，使在分析、设计、实现阶段都采用面向对象方法完成实时系统成为可能。这次在开发新系统的过程中首次尝试了采用面向对象分析设计语言（UML)和面向对象语言（MS VC++）相结合，在整个软件生命周期均采用面向对象方法和工具实现工业远程实时监控系统，在解决以上问题及优化系统性能、结构方面皆取得了很好的效果。得到了结构良好、高内聚、低藕合、容易理解、易于扩展、维护的系统。这个系统主要实现工业现场仪表的调控，数据的采集、直观图实时监控生产状况，利用电话网及计算机技术自动实现输油管线远程实时监控、统计与处理等功能。

GIS应用数据库设计方法

空间信息数据概念模型的建立和业务数据库结构设计是GIS应用数据库建立过程中最主要的两部分工作。能否选择恰当的数据概念模型和数据库结构设计方法是数据库设计能否获得成功的关键所在。通过分析二阶分析模式,一阶分析采用面向对象整体数据模型建立GIS数据库的底层空间数据模型,二阶分析采用语义对象模型设计出实用的数据库结构。并提出了用象形图结合UML的模型表达方式。并以具体实例验证了二阶分析模式及其表达方式的可行性。