对工作流元模型的扩展及其应用研究

本文介绍工作流类型与结构,并以工作流元模型为基础对其进行扩展,论述在B／S体系结构下如何将XML与Java相结合构建柔性的、可装配的工作流系统,以期为软件开发与复用提供新的研究视点。     

RLD演绎及子句蕴含与子句包含关系的非等价性

软件复用的一个主要任务是可复用软件构件的表示与检索，由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定量证明技术检索构件的研究在软件工程领域得到了足够的重视，为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率，提出了最右线性演绎RLD（rightmost linear deduction)，并证明了它的完备性，同时，指出了子句蕴含与子句包含关系的非等价性，并给出了由子句蕴含关系推出子句包含关系成立的一个充分条件。     

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

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

关于类型抽象的讨论(二稿)

类型是程序设计中的一个重要概念。类型决定变量或表达式所能取值的集合。每一个值属于且仅属于一个类型。任何常量、变量或表达式的类型,可以从其形式或上下文推断出来,而无须了解运行时计算出来的具体值。每一种操作要求一定类型的操作数,并且得出一定类型的结果。一种类型的值及其上规定的基本操作的性质,可由一组公理阐明。类型信息既可用于防止或表明程序中无意义的结构,又可用以确定数据表示和处理方法。这些就是类型概念的显著特征。类型抽象通过定义新的值和在其上操作的机构丰富程序设计环境。这篇文章一开始讨论提出类型抽象的作用及其形式说明的需要。而后颇为细致地考察了构造类型抽象形式说明的两种方法:Hoare方法和代数说明方法。最后还简短地讨论了这两种方法的相对长处。这篇文章既是探索性的,又是启发性和指导性的。对类型抽象研究有参考价值。     

基于Java源码的设计模式探测初探

设计模式探测是从源码中提取设计模式实例的过程，其搜索算法是探测的关键。文中分析了设计模式探测的一般步骤和搜索策略，通过实现从Java源码中搜索Factory Method模式的算法，给出了设计模式自动探测工具的搜索功能实现原型。