学生选课系统的设计与实现

本文以一个具体的应用系统—学生选课信息系统的设计与实现来说明如何利用UML和EJB组件来设计和构建分布式软件系统平台。UML和组件技术结合使用能提高开发效率,增加系统的易维护性。     

利用UML开发J2EE组件的应用模型

介绍了当前先进的J2EE规范和组件技术，以及面向对象的统一建模UML的方法，阐述了建立组件的UML模型来开发J2EE应用系统的优越性与方便性。并以学生就业管理系统为例，来说明J2EE各组件的应用模型的开发．     

基于组件设计的数控仿真系统研究与应用

本着提高数控仿真系统开发效率的目的,文中引入组件的设计思想;然后从控制组件粒度的角度,给出了层次化的系统体系结构;在此基础上,详细介绍了两种组件设计方法,即基于UML的图形化开发方法和形式化方法,最后给出了它们在数控仿真系统中的实际应用。     

基于组件设计的数控仿真系统研究与应用

本着提高数控仿真系统开发效率的目的,文中引入组件的设计思想;然后从控制组件粒度的角度,给出了层次化的系统体系结构;在此基础上,详细介绍了两种组件设计方法,即基于UML的图形化开发方法和形式化方法,最后给出了它们在数控仿真系统中的实际应用.     

基于UML的Web系统中间层组件的设计与实现

随着Web应用复杂性的日益增长,中间层组件的应用越来越广泛,本文介绍了一种使用UML为Web应用系统中中间层组件建模的方法,从而完成对组件的面向对象的设计与实现。     

UML在实时系统中的应用研究

UML是最广泛使用的面向对象建模语言,是可视化面向对象系统的建模方法。针对嵌入式系统设计和开发的特点,文中描述了一种将时间组件融入到UML建模中的方法,把时间特性从系统中分离出来。用UML对嵌入式实时系统进行面向对象分析与设计,并以冰箱温度平衡器系统为例,建立了需求分析、静态结构模型和动态行为模型,该方法能够有效地捷高开发效率、改善设计质量。     

基于组件的B2B电子商务系统建模研究

本文简单介绍了面向对象建模技术现状和统一建模语言（UML），并从讨论B2B电子商务系统的设计要求出发，分析了组件技术的特点和优势，提出采用组件来封装业务规则并构造商务对象，最后结合项目“电子商务试验室系统”中的B2B招标子系统的实例，着重介绍了在基于组件的B2B电子商务系统中的建模步骤与方法。     

UML在实时系统中的应用研究

UML是最广泛使用的面向对象建模语言,是可视化面向对象系统的建模方法.针对嵌入式系统设计和开发的特点,文中描述了一种将时间组件融入到UML建模中的方法,把时间特性从系统中分离出来.用UML对嵌入式实时系统进行面向对象分析与设计,并以冰箱温度平衡器系统为例,建立了需求分析、静态结构模型和动态行为模型,该方法能够有效地提高开发效率、改善设计质量.     

UML在CRM系统中的建模应用研究

客户关系管理系统(CRM)是以客户为中心,利用信息技术,实现市场营销、销售、服务等活动自动化。为了建立可靠、可重用、可维护的CRM系统,应用UML技术对CRM系统建模。分析了UML建模的优点,探讨了UML建模技术,提出了利用UML技术实现对CRM系统的分析建模,使用用例图分析系统的功能需求,叙述了应用类图、顺序图、组件图、配置图设计系统的结构。应用UML的可视化建模,降低了系统的复杂性,提高了软件开发效率和质量。     

基于UML和组件技术的软件开发环境IUMLSE的研究与实现

统一建模语言UML（Unified Modeling Language）正逐步成为面向对象技术领域内占主导地位的建模语言。而组件（Component）技术的蓬勃发展使基于组件组装的软件开发成为可能。两者正无可争议地成为当今和未来软件开发的主流技术。文章对UML和组件技术进行了描述,探讨了两者在软件开发中的作用和相互之间的联系,以及新一代的软件开发环境应该如何对两者提供支持,然后详细介绍了基于UML和组件技术的软件开发环境IUMLSE的设计和实现。     

网络计算平台的软组件重用技术

组件技术的广泛使用是软件产业化发展的方向 ,它是软件可重用的一个重要方面。在中国邮政网上银行示范系统开发中 ,采用了基于组件的开发技术 ,并在系统总体需求、组件选择、组件编写中使用了UML ,Case工具及软件模式等软件工程先进方法和手段 ,增强了系统的可靠性和可维护性。     

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems

A new tool for integrating formal methods, particularly model checking, in the development process of component-based real-time systems specified in UML is proposed. The described tool, TANGRAM (Tool for Analysis of Diagrams), performs automatic translation from UML diagrams into timed automata, which can be verified by the UPPAAL model checker. We focus on the CORBA Component Model. We demonstrate the overall process of our approach, from system design to verification, using a simple but real application, used in train control systems. Also, a more complex case study regarding train control systems is described.     

基于可达图的仿真组件接口设计一致性验证

仿真组件模型接口设计建模与仿真周期中详细设计阶段的一个重要内容,是继仿真需求分析和概念建模之后的针对系统行为交互的设计过程,起到连接仿真概念模型与仿真编码实现的桥梁作用。用自动机模型来刻画接口模型内部以及它们之间的动态交互过程,针对UML时序图场景规约,通过构造与自动机模型具有等价状态空间的可达图,检查可达路径中是否存在满足规约的路径来判断两者之间的一致性。设计了校验流程,并以基于OPNET的某办公网中的报文传输仿真系统为例,对方法进行了分析应用,说明了方法的适用性。     

程序挖掘中需求描述的研究

随着基于构件的程序挖掘思想犤1犦的提出,正确获取用户需求描述成为程序挖掘的关键。通用建模语言UML(U-nifiedModelingLanguage)作为用户需求建模的重要工具,成为用户需求描述的工业化标准。文章在分析需求描述在程序挖掘中的特性的基础上,研究UML的优点和缺陷,提出一种基于UML的构件化的用户需求获取方法CBU(ComponentBasedUML),给出了CBU的XML描述。文中论述了程序挖掘的基本概念、程序挖掘中需求描述的特点、UML的缺陷等方面的问题。     

用UML描述组件规格说明

在基于组件的软件开放方式（CBD）下，软件系统是一些盯互联系的可重用组件的集合，因此需要对系统的每一个组件以及组件之间的相互关系有很好的理解。UML作为一种标准建模语言，不仅可以支持面向对象的分析与设计，而且能够有力地支持从需求分析开始的软件开发全过程。但是UML对组件建模的支持并不理想，这就需要开发一种能很好支持组件建模的方法。本文提出一种用UML描述组件规格说明的方法。将组件规格说明分解成组件接口规格说明。通过对组件的每个接口和组件接口之间的相互关系加以形式描述，从而达到组件规格说明的清晰性和精确性。     

基于COM的国民经济动员仿真系统研究

常规的手段和方法无法准确判断不同动员工作机制对国民经济动员工作的影响,因此,采用计算机仿真手段来研究动员工作机制是国民经济动员信息化的一个重要问题.首先,分析构建了开放式的、能够兼容多种组织形式和工作机制的动员组织元模型,并采用UML语言建立了国民经济动员仿真演练系统的模型.然后,利用组件对象模型技术(COM)可重用和互操作的特性,采用常规和动态方法对仿真通信与仿真逻辑接口进行封装,继而设计了适应对多种动员机制仿真需求的指挥实体组件和资源实体组件,最终实现了基于COM的国民经济动员仿真原型系统.实际仿真结果表明该仿真系统满足了复杂的国民经济动员仿真中较高的可重用性和扩展性要求,能够兼容多种动员工作机制的运行.     

一种从UML模型到可靠性分析模型的转换方法

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.     

嵌入式建模中带有时间扩展的UML状态图的形式化方法

面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用"可执行UML"对带有时间扩展的UML状态图形式化的方法.     

Automatic implementation of constraints in component based applications

Component-based software architectures have become one of the predominant solutions in the software technologies scenario. As well, constraints have been assuming an ever more relevant role in modeling distributed systems as long as business rules implementation, design-by-contract practice, and fault-tolerance requirements are concerned. Nevertheless, component developers are not sufficiently supported by existing tools to implement these features.We address such a deficiency and we propose some implementation patterns to translate constraint models into source code and two automatic tools: the Component Constraint Modeler (CoCoMod) and the Component Constraint Generator (CoCoGen). CoCoMod enables designers to specify both component interfaces and constraints as visual UML models and automatically generates textual models for interfaces and constraints. CoCoGen executes the implementation patters to translate constraint models into source code. A simple case study is presented in order to show an application of the proposed approach.