基于问题框架的视点集成

多视点需求工程方法采用独立、分散的方式标识，表示不同项目人员的需求信息。为生成一份统一的规格说明书，在该方法的后期必须对所有生成的视点进行集成。基于问题框架的思想和方法，该文讨论了视点的一致性、集成方式、集成过程等，提出了一种基于问题框架的视点集成方法。     

基于递增方式的视点集成研究*

针对与视点集成相关的问题,首先讨论了基于开发关系的视点集成方式,然后提出了一种基于二元递增方式的视点集成过程;同时采用范畴理论对该集成过程进行了建模,有利于一般意义上进一步研究与视点集成相关的基本性质.     

视点间的不一致性检查和视点集成

需求定义人员常从同的观察角度来定义大型软件系统的需求,从而形成多个部分需求说明（视点）。由于视点之间的相对独立性,多视点的集成是需求工程中一项重要而又困难的研究课题。使用形式化方法来描述视点需求和视点间的关系将使视点集成能自动进行。在此,使用SFSM状态转换图来描述视点需求,并将视点间的关系用谓词的形式表示在状态图中状态转换的卫士条件中,同时在此基础上提出了一种自动合成视点的方法,需求定义人员可以根据状态等价关系与合成后状态图的冲突来检查和解决两个视点之间的不一致性。通过重复视点合成和检查、处理视点间的不一致性这一过程,多个视点可以被集成为整个软件系统的需求说明,应用了一个电话系统的例子说明了此视点需求表示和视点集成方法。使用此方法,视点集成过程可以自动完成,同时还可以在一定程度上引导需求定义人员检查和解决视点间的不一致性。     

基于概念图的多视点需求模型

本文提出了一种以概念图为元表达语言的多视点需求建模方法.该模型提供了一种多视点中不同表示风格带来的问题的解决方法,该方法使用多视点进行需求获取,通过统一建模语言中的协作图简化了视点间的一致性检查,使多视点的集成更为简便.     

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

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

多视点中不一致性的处理：一种基于认知逻辑的方法

衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源。不一致性是多视点需求工程中一个必须解决的问题。本文提出了基于问题域的多视点需求建模框架,并利用认知逻辑对该框架进行解释和推理,希望可以用形式化的方法来发现和解决存在于不同视点间的不一致性。     

一种基于问题框架的视点表示模型

在多视点需求工程中，视点表示模型与视点需求信息的获取、描述密切相关，影响着后阶段视点一致性的检查和集成。鉴于需求工程领域的发展，该文提出了一种基于问题框架的视点表示模型，展示了该模型的特点及应用。实践表明，该模型具有实用性和可操作性。     

一种基于行为的多视点需求描述方法

传统多视点方法存在着诸多不足之处。本文在此基础上提出了一种基于行为的多视点需求描述方法（BVORA）,从行为的角度对需求进行了描述,提出了以场景对视点进行划分的方法,给出了视点的定义以及视点表达,定义了视点间的关系。     

面向三维模型高效观察的视点选择技术综述

高效的模型观察,对提高生产实践工作效率具有重要的意义。为此,视点选择技术在近些年得到了很大的发展,是提高模型观察效果的重要技术之一。文章对视点选择技术进行了较系统的梳理,重点讨论了视点度量技术及其发展现状,并探讨了视点采样技术的发展及视点选择技术在多方面应用的情况。最后,讨论了视点选择技术的发展趋势及其应用前景。     

基于多视点商品本体的商品视点知识分析方法研究

电子商务交易过程中,交易对象处于观察商品的不同视点下,视点持有人对商品的认知会存在差异.为解决商品认知的多视点特性,提出了将商品认知差异视为商品的视点知识的观点,分析商品视点知识的具体表现,构造商品视点知识的分析函数,并建立多视点商品本体描述商品的一般知识和视点知识.实验结果表明,加入商品视点知识的多视点商品本体更加拟合实际电子商务环境的需要.     

规则引擎在分布式环境下应用的研究*

通过结合JSR（Java specification request）94规范和Web服务技术,实现了一个集成平台。该平台为大多数规则引擎在分布式环境下无法有效应用这一大问题提供了解决方案。利用该平台,企业应用系统可简单有效地远程调用所有实现了Java规则引擎API的规则引擎。这些规则引擎均无须作任何更改。     

基于SOA的科学资源共享集成服务规范

资源共享是充分发挥资源效率的有效途径,但现有IT系统间的异构性和业务的独立性给系统集成造成了很大困难,针对上述问题提出基于面向服务构架(SOA)的集成服务规范,以实现业务和IT对齐,灵活应对业务变化。在保持各类服务资源网站异构性和独立性前提下,解决科学资源共享的集成问题。     

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques

A conceptual framework for the integration of data type and process modeling techniques, called integration paradigm, has been presented by the authors in previous papers already. The aim of this paper is to give a short review of this conceptual framework and to present a formal model for the integration paradigm. The formal model for the four layers, called data type, data states and transformations, processes and system architecture layers respectively, is based on an integration of abstract data types and structured transition systems. This formal model can be instantiated by all kinds of basic and integrated modeling techniques. Algebraic high-level nets, attributed graph transformation, an integration of Z with statecharts, and some diagram techniques of UML are discussed on the conceptual level. As instantiation of the formal model, a well-known CCS sender specification, place/transition nets, algebraic high-level nets and attributed graph transformation are presented in this paper, while instantiations of other modeling techniques will be discussed elsewhere.     

Integration of behavioural requirements specification within compositional knowledge engineering

In this paper it is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification.     

XML在并行骨架描述中的应用

在对并行骨架的思想、描述和应用进行深入研究的基础上,本文提出了一种基于XML的并行骨架描述方法,为基于骨架的并行编程系统中各种骨架描述提供了一种统一的处理模型,对提高并行骨架库的通用性、可扩展性和可移植性具有重要意义.     

On constructing communication protocols from component-based service specifications

Constructing communication protocols from component service specifications, each of which specifies a subfunction of the target protocol, enables efficient development of a large and complex communication protocol. Concerning this construction, related techniques have been already proposed: integration of component protocol specifications into a single protocol specification and transformation of service specifications to protocol specifications. However, the integration needs special knowledge of communication protocols, and the transformation requires that a large and complex service specification should be developed as input to produce the target protocol. In order to cope with these problems, this paper proposes a new method which at first integrates component service specifications into a single service specification, and then transforms the service specification into the target protocol by a protocol synthesis technique. The most important point of view is that component integration is performed at the service specification level rather than the protocol specification level. Additionally, we define a class of ‘well-formed’ service specification which ensures correctness of the target protocol. As a result, the integration and transformation can be efficiently executed in small state space without special knowledge of communication protocols. Finally, we have shown the effectiveness of the proposed method by constructing a part of the real-life OSI protocol FTAM.     

地理Web服务集成技术及其原型实现

为有效利用网络上不断增多的地理Web服务功能,使它们协调工作,该文通过分析当前网络上流行的基于WSRP规范的门户技术和语义服务,探讨地理Web服务的集成原理,并实现了对基于OGC规范的网络地图服务WMS集成的一个原型,为使用分布式地理Web服务提供了统一的接口和界面操作。     

离散事件系统监控与状态反馈方法的等价性

本文证明控制指标以谓词形式给出时，采用监控方法能使受控离散事件过程的可达状态与采用状态反馈逻辑的可达状态相同；控制指标以语言形式语言形式给出时，采用状态反馈逻辑也能使受控离散事件过程生成采用监控方法时生成的语言，因而从综合角度看，这两种方法等价。     

基于XML的房地产分析系统数据集成研究

XML在数据交换中显示出强大的功能和优越性,解决了系统中不同的数据格式、复杂的数据交换和传输中实行统一的集成管理问题。文中给出利用XML的开放规范和统一数据格式来实现房地产分析系统中数据集成的方法。     

WLAN中基于规范的自适应DoS攻击检测*

无线网络由于其传输介质及通信规程的特殊性,除了要面对有线网络中存在的各种拒绝服务（denial of service, DoS）攻击之外,还面临着一些在无线环境下特有的DoS攻击。针对由伪造协议会话中使用的管理帧和EAP帧发起的DoS攻击,提出了一种基于规范的自适应检测方法（WSBA）,为无线局域网所执行的安全协议建立在正常运行时的状态转移模型连同网络安全策略约束定义作为检测规范,作为检测此类DoS攻击的依据。给出了检测阈值的自适应调整算法,分析了算法参数设置对检测性能的影响。实验测试结果表明该方法是正确而有效的。