面向对象的形式化规约语言GOOZ

在总结和评价现有Z语言面向对象扩充的基础上，设计了一种新的扩充语言GOOZ，该语言克服了Z＋＋，Object_Z等语言的一些缺点，其书写规约具有简洁，明确，接口定义清晰，模块无整，结构良好，易于验证的特点。     

形式化构件规约自动生成中的演化转换

基于软件体系结构的开发将是未来大型、复杂软件开发的主要技术,而构件是该方法的基础。形式化构件规约对构件的功能描述、分类和检索有重要意义。文中给出了一种用于形式化构件规约自动生成的转换方法即演化转换,对该方法的转换过程、转换规则提取、表示及主要转换算法进行了详细说明,并对规约的完整性和转换的正确性进行了探讨。最后,还对该方法的实现系统及其特点进行了简要介绍。演化转换能较好地控制转换粒度和跨度,对转换正确性和规约完整性也有一定的保证,在转换过程中实现了规约的垂直重用,使构造的模型和规约对需求变化有一定的适应性。     

软件构件表示与检索形式化的研究与进展

1 引言软件复用被认为是提高软件生产效率和软件质量较为现实的途径。尽管软件复用的思想已经提出了30多年,但软件复用的现状离人们最初的设想仍然相距甚远。阻碍大规模软件复用的技术与非技术因素很多,主要的技术因素有构件分类、构件表示、构件检索、构件更改及构件库的管理与维护等。其中,软件构件表示与检索是软件复用获得成功的重要前提。     

构件类的语法描述及构件关系的语义描述

In this paper,sameness and difference of component class and component,class and object are compared.Syntax of component class is described using BNF paradigm.After some definitions are given,semantics of component inherit and reference relationship are described.     

基于构件使用依赖关系的构件复用可信度计算方法

在网络构件库中构件数量持续增长的情况下,为解决用户无法从质量参差不齐的海量构件中选取优质构件的问题,提出了一种基于构件使用依赖关系的复用可信度计算方法。该方法将构件库作为证据库,首先,对证据库中的构件依赖信息进行采集整理;接着,定义每一个构件的基本信任函数,在此基础上根据构件依赖信息的不同来源为每一条证据设置不同的可信权重值;然后,通过特定的转换算法将由此获得的结果生成构件最终的可信度。实例分析中,利用该方法评估构件取得的结果值与预想中的一致,且与参考构件的内部与外部质量模型所得出的结论相符,但该方法大大降低了构件可信评估的工作量,提高了评估效率。结果表明该方法能够客观反映构件的可信性,可作为构件库中构件检索的一种可信度量机制,帮助实现构件的优质检索和复用。     

构件适应和组装的形式化语义描述

构件适应技术是基于构件的软件工程中一个很难解决的问题,分析了三种构件适应结构的应用条件,采用了形式化语义的方法描述和推导了与构件以及构件适应相关的问题,根据构件描述与应用需求描述动态地选择不同的适应层次来适应构件,从被适应的构件描述中推导出复合构件的描述,为构件适应的形式化分析、组装正确性检验提供了保证,并列出了一些值得进一步研究的问题。     

构件的服务模式规约

基于用户需求和构件服务在匹配情况下的等价性考虑,从方法调用序列角度给出了服务的定义;依据方法之间的关联性分析,给出了服务模式的概念和确定构件服务模式的方法;最后给出了构件的服务模式规约。通过建立服务模式规约,从构件提供者角度提供了一种确定构件匹配有效性的方法。     

基于B语言的构件精化开发方法

本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。     

构件仓库的研究与应用

为了解决构件的使用和管理问题,提出构件仓库的解决方案。首先,研究了构件仓库的总体结构和逻辑结构,从整体上分析构件仓库。其次,介绍了构件仓库的部署。最后,从构件使用、构件发布、构件管理和仓库设置四个方面研究了构件仓库的应用。对构件仓库的使用,根据用户角色的不同分别赋予不同的权限,合理地对构件仓库中的构件进行管理。采用构件仓库管理构件,可以有效地提高软件开发的效率,使构件能够更合理地得到复用,提高构件的复用率。实践表明,构件仓库能够有效地解决构件的使用和管理问题,为软件开发提供有力支持。     

基于领域特征空间的构件语义表示方法

在基于构件的软件开发范型中,构件模型是构件分类、检索和适应等关键任务的理论基础,然而构件模型中的语义表示方法一直是一个难点.提出一种以语义为核心的构件模型,采用基于领域分析的特征空间语义定义方法,从领域空间、定义空间和语境空间三个方面刻画语义结构,用描述逻辑表达语义内容及实现自动推理,尤其是文中的构件语义体概念和特征空间形式化方法,为构件复用自动化和工程化提供了一种可能的解决途径     

自然语言处理技术在药物专利检索中的应用研究

本文研究了自然语言处理技术在药物专利检索中的应用,开发出一套翻译软件,能够将药物专利中对族性变量的文本描述半自动化地转化为符合规则的GSCCT格式,为准确、高效地建立药物专利检索数据库打下了基础。     

一种面向构件的行为语义模型及其应用研究

以SOFA/CDL作为刻画动态行为的形式化语义基础,从交互语义层面入手,提出面向SMC(softMancomponent)构件的行为描述语言(BDL);同时,针对CDL在行为刻画上的不足进行扩展,给出了针对SMC的行为描述框架。在此基础上,选取典型的构件动态替换作为应用背景,得到基于BDL表达的构件上下文无关替换定义及其判定定理,验证了上述模型在构件行为语义抽象中的有效性和正确性。     

Deriving topological relations between regions from direction relations

The integration of topological and direction relations plays an important role in many applications, like spatial databases and pictorial retrieval systems. The method for deriving composition of binary topological relations cannot always yield unique or interesting results. Therefore, to integrate efficiently topological and direction relations, some new mechanisms are required to derive topological relations from direction cases when the above situations occur. This paper presents the computation methods for deriving topological relations from direction relations. The methods fall into two categories: the derivation of topological relations from one direction relation and two direction relations. Our methods can provide topological information when topological relations are unavailable, or more precise results are expected. Thus they are helpful in the integration of the calculi for topological and direction relations.     

Efficient Specification-Based Component Retrieval

In this paper we present a mechanism for making specification-based component retrieval more efficient by limiting the amount of theorem proving required at query time. This is done by using a classification scheme to reduce the number of specification matching proofs that are required to process a query. Components are classified by assigning features that correspond to necessary conditions implied by the component specifications. We show how this method of feature assignment can be used to approximate reusability relationships between queries and library components. The set of possible classification features are formally defined, permitting automation of the classification process. The classification process itself is made efficient by using a specialized theorem proving tactic to prove feature implication. The retrieval mechanism was implemented and evaluated experimentally using a library of list manipulation components. The results indicate a better response time than existing formal approaches. The approach provides higher levels of consistency and automation than informal methods, with comparable retrieval performance.     

A conceptual theory of part-whole relations and its applications

This paper shows two applications of a theory of part-whole relations that has been introduced in [1] in two different areas: natural language semantics and modelling parts of physical objects. A short overview of the theory will be given, followed by two sections which present results in the two application areas. In Section 2 we provide an analysis of the domain of solid objects like devices, buildings and other artifacts of our daily life. We first examine in more detail the relevant part-whole relations in that domain. The second part describes how these relations can be represented and manipulated in a hybrid system. In Section 3 it will be shown that there is a strong and immediate correspondence between classes of part-whole-relations and syntactically or lexically motivated classes of genitive constructions. The two applications illustrate the generality of the theory as well as its usefulness for representing and reasoning about part-whole information in totally different domains.     

一个支持规约获取的形式规约语言

该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。     

多态性构件及其代数规范

可复用构件往往需要引入多态性支持,但是这给构件的形式化定义带来很多困难.采用代教规范系统来定义空间几何实体构件的组织结构及其行为特征,可以有效的支持构件的数据和行为多态性.在多层次的代数规范理论基础上,引入了构件的参数化多态和包含多态,建立了空间几何的实体多态性构件系统,实例表明了系统对于数据和行为多态性方面的有效性.