基于行为描述的Web服务组合兼容性检查*

定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。     

基于角色划分的构件组合兼容性检查

基于构件的软件开发是软件工程化和工业化发展的必然趋势,构件间通过接口实现交互。目前主要的接口定义语言是为了满足封闭的C/S应用而设计的,仅描述了构件交互的静态语法层信息,这些信息已不能满足开放环境下对构件理解、使用和推导需要。形式化方法因其描述的准确性和使用自动定理证明机制而受到越来越多的重视,以CORBA构件为例,结合一个电子商务应用实例,给出基于π演算的构件接口动态行为信息描述方法,在此基础上根据构件在交互中的作用进行了角色划分,并基于角色模型研究了构件组合中的兼容性问题,从而保证了开放环境下构件间成功地进行互操作。     

基于Pi演算的构件行为兼容性研究*

构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证构件在替换或组合之后系统仍能正常稳定运行,利用Pi演算对构件行为进行建模,并对多个构件行为间的兼容性进行验证,提出了绝对兼容、相对兼容等理论,并运用兼容度来判定构件行为兼容性强弱,且通过实例进行分析说明。     

软件组件组装行为兼容性检查研究

在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。     

基于行为的构件组合及存在性检查

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。     

基于行为的构件组合及存在性检查

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。     

基于行为投影的Web服务组合行为兼容性研究

Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。     

用户二次开发软件的兼容性架构设计

针对企业生产实践中经常遇到的、用户在设备供应商提供的接口库函数基础上二次开发的软件,因供应商接口库函数版本升级带来的软件兼容性问题,以C、C++语言接口库函数为例,分析可以采取的软件措施及其利弊,提出优化的软件架构设计方法,防患于未然,力图使用户二次开发软件以最小的代码修改量与维护复杂度,事半功倍,实现与供应商提供的系列软件接口库函数全兼容,从而达到设备效能得以最大发挥且稳定可靠运行的最终目的。     

基于构件库及构件组合的软件重用

介绍了一种具有动态组合特性的构件Ｐａｄ，详细说明了它如何规范重用单元的接口以及相互间可传递的消息，并进一步介绍了构件Ｐａｄ的组合规划消息传递协议，还简村介绍了一种在面向对象数据库的基础上实现构件库的方法，最后，介绍了已开发成功的一个构件重用支撑环境的原型。     

基于行为自动机的构件可替换性分析与验证

在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法。另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率。     

一种面向软件行为和多视点的需求模型验证方法

软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.     

一个基于构件的分布式软件构架开发环境

针对分布式软件和软件构架日益复杂的特点，本文首先提出并建立了一个基于构件的分布式软件构架描述语言DSADL，然后介绍了基于DSADL的分布式软件构架开发集成环境EDAD．实践证明，EDAD能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计，从而提高系统的开发效率．     

基于复用的.NET组件接口模型的研究

有较高封装性的组件是软件复用研究的重点。为了满足我们设计和定义的多种组件模型,首先介绍了支持软件复用的、支持设计和实现统一的、多种类型的.NET组件接口模型定义;接着介绍了各种类型接口的实现方式,包括类设计器和控件工具箱等;详细分析了采用多种组件接口模型的意义。     

一个集成式的软件构件描述框架

该文提出了一个可扩展、可裁减的集成式软件构件描述框架。该框架采用了相宜的方法对构件的接口、语义、问题空间等方面进行描述，并且通过XML提供了可扩展的机制。实践证明，在该框架基础上实现的构件库管理系统体现了较好的构件描述与检索能力。     

基于构件组装的信息处理软件开发方法

基于构件组装的软件开发方法被认为是提高软件开发效率和质量的有效途径,在软件开发中得到了越来越多的应用。文中分析了软件开发的现状,基于信息处理领域提出了一种构件组合式软件开发方法和适合这种开发方法的构件实现模型。介绍了这种构件组合式软件开发方法的基本实现原理,和在该方法指导下的软件开发过程。通过搭建一个实际的智能文本处理系统证明了该开发方法不仅简化了软件复用,提高了软件开发效率和质量,同时基于这种方法开发的软件具有较高运行效率。     

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.     

基于逻辑推理的构件行为片段提取与重组研究

从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要思想是在研究构件接口映射、状态变迁的基础上,建立构件行为的结构模型和状态模型,并将其分解为基于π关系推导的构件行为片段。最后根据逻辑推理的方法,再将目标输入输出作为待求解,从关系推导中挖掘有效的行为片段进行重组,组装成一个满足目标需求的复合构件。     

基于可复用构件库的软件开发

基于可复用的库的软件开发发现已成为软件开发的主流范型之一，本文主要对基于可复用的构件的软件开发，复用环境以及一些与之相关的技术进行全面的探讨。     

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.