软件Agent的继承性研究

Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agent模型,对软件Agent的继承性和复制行为进行了研究.从单继承和多继承两个方面给出了Agent继承的语义,将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类,分析了每类分割方式的作用,并基于电子市场系统应用背景给出了相应的实例.     

从EDOC的业务过程建模到J2EE应用程序框架的MDA转换

OMG（Object Management Group,对象管理组织）提出的模型驱动架构（MDA,Model Driven Architecture）是解决不同中间件平台之间的集成以及技术升级所引起的问题的软件开发方法。MDA的基本思想是将系统的模型作为软件开发过程的核心制品,并且将模型区分为描述系统业务功能的平台独立模型（PIM,Platform Independent Model）和描述系统在特定技术平台上实现细节的平台相关模型（PSM,Platform Specific Model）。模型转换是MDA开发的核心内客。MDA的开发效率依赖于良好的支撑工具,特别是支持模型转换的工具的涌现。本文介绍一种对业务过程建模并将模型转换成程序代码的设计恩想和实现方法。开发者可以用该工具对企业的业务过程建模。这个工具能将建立的模型自动转换成J2EE平台上的程序代码。     

LDPChecker一个实时和混成系统模型检验工具

混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模．虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机．其对于线性时段性质的满足性能够通过线性规划方法加以检验．为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker．工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息．     

对象类型与对象子类型研究

本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件,语义条件,充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则。     

一种用于基于知识系统开发的形式化模型*

LKo是一个将面向对象和逻辑范型相结合，用于基于知识系统的形式化开发模型，其中逻辑对象是集状态、约束、行为、继承于一体的抽象实体．它支持框架、规则、语义网络、黑板等多种知识表示，因而可用来形式地描述基于知识系统的需求规范．在知识获取过程中通过对形式规范反复地修改、验证及确认而形成软件原型．     

一种基于格局的程序分析方法

本文提出了一种自动程序分析方法，其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成，从而可以通过提供一组标准的分析方法，实现对程序的自动分析与理解．     

广义继承及其在面向对象程序设计语言中的实现*

本文给出一种包含多种继承行为的、非常灵活的代码复用机制——广义继承,通过给出其操作语义和一个支持类间子类型关系确认的类机制．为其在面向对象程序设计语言中的实现奠定了基础．     

结构化软件开发过程的平稳过渡

本文提出了实现结构化软件开发过程平稳过渡的一种策略，使得结构化软件开发能够平稳地从需求过渡到设计、从设计过渡到实现。并且提高软件结构对需求变化的适应性。另外，对软件系统所需数据（库）的设计进行了考虑。