UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

规格说明语言NUSL的初步报告

NUSL是一个以数据抽象为核心的,可执行的规格说明语言,它具有如下特点:1.表达力强,2.简明精确,3.模块化,4.可执行.本文描述NUSL的语法语义并给出—个应用例子.     

一种开源语法检查器的改进

选择基于统计的开源Masaru语法检查器为研究对象,分析技术路线与功能特点,提出了增加3元4元模型方法,并在系统中实现了3元4元语言模型.实验结果表明,改进的语法检查器准确度达到了81%,与原系统相比提高了6个百分点.     

从人际功能评析《红楼梦》英译文的人物形象

功能语法认为语域、语言功能和语法成分具有三元一体的关系。以其中的人际意义模型,即情景因素的语旨,语言元功能中的人际功能和语言资源中的人际语法成分具有相互影响和实现的关系为理论框架,对我国古典名著《红楼梦》中的人物对话及杨宪益和戴乃婕的翻译作人物形象的语篇分析研究。     

C4ISR体系结构的可执行模型生成方法研究

对如何获得C^4ISR体系结构的可执行模型进行了研究,也就是,如何将C^4ISR体系结构描述的多个模型转换成可执行模型．从活动模型中获得可执行模型的结构信息,从规则模型中获得可执行模型的约束信息,从数据模型中获得模型的数据域信息．在研究IDEF0模型图元分类及其矩阵构成的基础上,分析了两种获得可执行模型结构的方法．     

AADL模型的ada代码自动生成及集成技术

基于模型驱动架构MDA方法，对AADL进行了研究，提出了AADL模型元素同ada语言元素之间的映射规则。开发了AADL模型的ada代码自动生成器Generator—ada，最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性。     

融合语言知识的统计句法分析

利用语义、语法等语言知识,建立一种分层句法分析统计模型,并进行句法分析实验.研究结果表明:该模型具有规则和统计相结合的特点,且在层次分析的不同阶段,根据不同的语法、语义、语用特性采用不同的方法和不同的统计模型;该模型结合分词、词性标注进行句法分析,是一个词汇化的句法分析模型,可同时考虑多个语义依存关系;采用该模型,精确率和召回率分别为87.23％和86.15％,其综合指标F与头驱动句法分析模型的相比提高了5.25％.     

Halliday系统功能语法中概念功能的系统分析

Halliday的系统功能语法包括“系统语法”和“功能语法”两个方面,它们“是一种完整的语言理论框架的两个不可分割的方面”。其中。语言的三个元功能又各自包含三个系统。本文以语言的概念功能为研究对象,分析其及物性系统、语态系统、及物和作格系统。并从语义的角度探讨这三种系统的功能作用,试着将系统和功能这两个方面结合起来对小句进行分析。     

基于元模型的企业模型表达

为了促进不同建模方法所建模型之间的信息集成和共享,并解决目前各种建模技术和建模语言之间的差异所造成的多模型驱动系统集成的障碍,该文以模型驱动体系结构(MDA)思想为基础,从元模型层面提出图形层和概念层分离的建模软件开发思路,构建了以可扩展标记语言(XML)作为数据交换格式的通用企业建模工具系统框架,利用元模型描述相关建模方法的语法和语义.以IDEF3建模方法为例,验证了系统框架中元模型XML模式(Schema)的构建方法,通过元模型实现了模型之间的信息交互和共享.     

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

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

一个模型转换的验证框架

模型驱动体系结构（Model Driven Architecture,MDA）是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要,但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认（V＆V）,目前的研究比较少。为此,尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质,检查源模型与／或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时,采用EMFAPI开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统,并通过实例验证了其有效性。     

软件测试自动化关键技术的研究

软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的关键手段。为了提高软件测试的效率,开发软件测试自动化工具是十分必要的。本文在已经实现了的面向对象语言的软件测试自动化工具-Panorama的基础上,介绍了开发软件测试自动化工具中的一些关键技术的实现原理。     

A MOP Based Constructive Reflective State Metamodel

Construction,management and extension of state space is crucial for many applications.Combining with frequent change of requirement of state space,these applications are rather complicated.Synthesizing techniques of refection architecture,MOP mechanism and metamodel,this paper advances a MOP(Meta Object Protocol) based constructive state metamodel,which defines construct and rules for building models with extensible structure for state space.Based on this metamodel,modeling with extension of state space that adopts decorator pattern and role object pattern is discussed.An implementation of modeling based on this metamodel is presented.With appropriate extension,models based on this metamodel can dynamically adapt state space change.     

面向对象软件中基于服务的类测试

面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。     

程控交换软件设计的一种新方法

介绍程控交换软件面向对象设计（ＯＯＤ）方法的原理、特点、关键技术和原型实现。重点阐述并发对象的概念以及如何构造实时系统的并发对象模型，同时讨论对象划分、软件工程设计方法和ＣＡＳＥ（计算机辅助软件工程）工具选择等问题。     

一种基于UML的信息系统需求分析方法

针对目前信息系统开发中,需求分析经常遇到的难题,提出了一种基于UML的信息系统需求分析方法,给出了一个需求分析框架,通过活动图技术来对业务流程建模,用对象图模型、状态图模型、交互图模型来构造系统的领域模型.讨论了业务建模、用例的提取、用例的集成等关键技术的实施步骤,使该方法具有更强的可操作性.     

基于ROAD-CPN业务架构的可执行建模方法

开放组架构框架（TOGAF）业务架构作为数据架构、应用架构和技术架构的基准，在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性，存在无法对系统业务架构框架动态特征进行分析的问题，故提出一种基于ROAD业务架构的着色petri网（CPN）可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型（RM）、组织模型（OM）、活动模型（AM）和数据模型（DM），建立4类模型不同描述形式与CPN建模语言间的对应关系，进而提出以RM，OM，AM和DM为主体的可执行模型五阶段建模方法。最后，以幼儿园智能晨检机器人系统业务架构为例，验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成，打破了业务架构建模语言和CPN建模语言之间的限制。     

Application research and implementation of the CORBA-Based Web distributed network management system

The distributed management has become an important tendency of development for the NMS (Network Management System) with the development of Internet. Based on the analysis of CORBA (Common Object Request Broker Architccture) technique, we mainly discuss about the applicability of the approach by which CORBA combined with Java has been applied to the system model and Web architecture: and address the applied frame and the interface definitions that are the key technologics for implementing the Distributed Object Computing(DOC). In addition, we also conduct the research on its advantages and disadvantages and further expected improvements.     

信息系统开发中的OOA

软件工程面临的一个公开挑战在于：常规且廉价地交付大型软件系统。面向对象方法（Ｏｂｊｅｃｔ—ＯｒｉｅｎｔｅｄＭｅｔｈｏｄ）是一种极有前途的新方法，对于信息管理系统这类大型软件系统ＯＯＭ尤为有效，大型软件系统的特点表现在高度复杂和频繁的更改需要两个方面。本文讨论一些技术，经验和思想，侧重点在如何采用ＯＯＡ（Ｏｂｊｅｃｔ—ＯｒｉｅｎｔｅｄＡｎａｌｙｓｉｓ）去分析和设计大型软件系统。