面向对象建模集成环境AML-Tools的设计与实现

该文描述了一个新的面向对象建模集成环境AML-Tools。AML是一个基于Ada95的建模语言,它吸取了Ada95的基本原理和思想,利用支持面向对象建模的设施对其进行扩充和改造,使之适用于软件建模的各个阶段;引进了程序包、任务等程序单元的概念并使之成为AML的核心成份;吸取了多视点模型的思想,将描述同一实体不同侧面特征的信息分别封装在相应的程序单元声明、程序单元体和程序单元描述中;利用新的并发模型、同步设施和限制设施,有效地解决了系统并发性、不确定性等非功能特性的描述问题。     

基于UML扩展的实时系统建模方法

UML是一种应用广泛的面向对象建模语言,但是在对实时系统的建模中,UML缺乏实时和并发特性的描述能力,运用UML的扩展机制,借鉴着色Petri网描述并发的思想,扩充了UML的模型元素,并在此基础上提出了一种并发图,用于描述实时系统任务间的动态并发行为。最后通过一个实例说明了该扩展的应用方法和有效性。     

一种支持MDD的ICES-Modeling建模语言和建模工具

随着模型驱动体系结构的理论和技术的不断发展,模型已成为软件开发的核心元素。因此,支持模型驱动体系结构的建模语言和建模工具成为研究热点。本文提出一种支持模型驱动的软件开发的ICES-Modeling建模语言,该语言融合了现有的建模方法的一些思想,可以有效地描述领域内的概念,概念与概念之间的关系。还针对该建模语言,设计并开发了建模工具,该建模工具具有支持建模语言的定义,方便模型的理解,支持多角度建模等特点。     

面向服务领域软件系统的模型驱动建模方法

面向服务体系结构(SOA)的工程化和建模对现有的建模技术和方法提出了新的挑战.提出了一种基于web服务的领域服务原型系统的快速模型驱动建模框架.从服务构件的概念和标准统一建模语言(UML)2.0的建模构造出发,给出了一个综合的服务软件建模过程.在此基础上,讨论了模型驱动的web服务的特性描述,重点是介绍一种基于UML扩充机制的面向web服务描述语言(WSDL)的建模技术.通过一个流通领域的面向服务企业资源计划(ERP)系统的实际建模,展示了所提方法是切实可行的.     

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

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

面向软件行为和多视点的需求建模方法

提出一种面向软件行为和多视点的需求建模方法,包括建模步骤和建模语言.其中目标系统根据问题域以及视点源被划分成视点.视点在需求模型中以实体的方式存在,每个视点通过从需求规格说明中提取的场景来描述,作为需求模型基本组成单位的场景模型则通过基本的行为复合而成.分析了基于行为和多视点的需求建模过程,讨论了需求建模语言:行为描述语言的语法和语义,并给出相关实例分析以及所实现的建模工具简介.     

AML与面向对象建模

在面向对象建模中 ,状态机模型的继承是对象行为继承的重要组成部分 .为便于理解子类型的状态机模型与其父类型的状态机模型间的关系 ,我们研究了一种状态机模型及其继承的描述技术 ,从一定程度上解决了现有的状态机模型继承的描述技术中存在的一些问题 .本文在分析 AML中支持面向对象特征的主要设施的基础上 ,着重讨论了状态机模型的继承问题 .     

系统抽象与面向Agent六视图建模方法

面向智能体建模方法在建模与仿真领域的广泛应用对面向智能体的系统抽象和系统描述提出了新的研究方向,提出了面向智能体的六视图建模方法.首先提出了六视图建模方法模型框架.六视图建模方法是在系统思想的指导下,从系统范畴视图、要素视图、结构视图、状态视图、运行视图、功能视图来描述实际作战系统的各个方面.然后详细阐述了六视图建模方法模型映射和概念模型技术.面向Agent的六视图建模方法有助于提高仿真模型的完备性、逼真度和建模方法的规范化、可操作性.     

SSACC:一种基于软件科学法的Ada并发复杂性度量

本文致力于将软件科学法应用于Ada程序的并发复杂性度量,描述其方法和基于这种方法的相应工具SSACC。文中为Ada并发程序提出了一个面向度量的操作元-操作符模型,将任务和入口作为操作元,将程序中的并发动作作为对任务施加的操作。SSACC是Ada并发复杂性度量工具MACC的一部分。     

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

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

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征，然后对Ａｄａ９５在Ａｄａ８３的基础上所新增加的面向对象设施进行了详细的介绍与讨论。     

Ada95语言评述

Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。     

统一建模语言UML述评

最近由美国Ｒａｔｉｏｎａｌ公司发起并与其它十几家公司共同的“统一模型语言”ＵＭＬ在ＯＯ领域受到广泛的关注。     

CSPL: an Ada95-like, Unix-based process environment

The paper presents a new process-centered environment called “concurrent software process language” (CSPL). CSPL takes a unique and innovative approach to integrate the object-oriented Ada95-like syntax (for its modeling power) with Unix shell semantics (for its enactment capability) in a software process language. The paper depicts the following new CSPL features: (1) object orientation, (2) multirole and multiuser, and (3) unified object modeling. Language constructs specially designed for software process such as work assignment statement, communication-related statements, role unit, tool unit, relation unit and so on, are, respectively, described. The related work of this diversified field is also surveyed in some depth. The CSPL environment prototype has been built. A CSPL process program for the IEEE Software Process Modeling Example Problem has been developed and enacted to demonstrate the capabilities of this environment     

一种结构化模型的O-O实现

本文分析了模型库的结构方式,并提出了用结构化建模的方法组织决策支持系统的模型库,重点阐述了结构化模型的一些基本概念,然后结合一能源决策支持系统具体实例, 说明了如何用面向对象的程序设计方法它。     

关于统一建模语言——UML

ＵＭＬ是面向对象开发中一种通用的、图形化的模型语言,是近代软件工程环境中对象分析和设计的重要工具。ＵＭＬ严格地定义了对象无模型的语义,提供了描述对象结构和行为的表示法。本文介绍了ＵＭＬ产生的技术背景、无模型的主要思想、表示法,以及应用系统建模的一般过程和对ＯＯ世界的意义。     

Ada95层次库结构与大型软件开发

Ａｄａ９５提出了层次库和后扩库单元的概念提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充。本文对层次库的概念与设施进行了详细的介绍、分析与讨论。     

实时对象模型及其可预测调度研究

从实时系统建模的角度,文中给出了一种实时对象模型,该模型能够保证开发的实时系统具有可预测性,灵活性,集成性的特点,文中同时给出了分析对象能力的计算公式,并对实时对象模型行为的可预测性调度进行了讨论。