公平转移系统规范及其应用

本文讨论了用于并发系统规范的２种方法：时序逻辑方法和状态自动机方法，由此，本文提出了一析的规范形式－－公平转换系统规范ＦＴＳＳ（ｆａｉｒ ｔｒａｎｓｉｔｉｏｎ ｓｙｓｔｅｍ ｓｐｅｃｉｆｉｃａｔｉｏｎ），此规范方法集成了状态自动要方法和时序逻辑方法的优点，改进 时序逻辑方法通常较复杂，不易理解，特别唱它不能用于描述并发系统的局限性质等不足，进一步对ＦＴＳＳ中第一部分进行了讨论，是到结论，ＦＴＳＳ是     

从EDOC模型到J2EE程序：一个MDA工具的实现

模型驱动体系结构MDA是OMG组织推出的一种新的软件开发方法。根据MDA的框架，设计者首先建立平台无关模型PIM，然后遵循一定的转换规则转化成平台相关模型PSM，最后转化成目标平台上的代码。为了体现MDA低成本、高效率的优点，模型之间、模型代码之问的自动转换就显得尤为重要。本文描述了我们实现的一个MDA转换工具。该工具可以编辑用EDOC的Entities profile和Business Process profile构建的PIM，并且辅助自动转化成基于J2EE平台的PSM，最终转化成J2EE代码。     

并发对象的一种描述机制

面向对象模型潜在的并发计算能力为并发程序设计提供了更高层次的解决方案。为了充分利用这种潜在的并发招行能力,必须在对象模型中显式地给出并发控制。本文给出了一种描述并发对象的机制,即：把对象的并发控制作为对象的单独属性进行描述,在定义子类时,把对象的并发描述与对象的方法分开进行继承。我们的目标是使得引进的并发机制尽量少地与对象模型的各个重要特性相冲突,减轻继承异常。另外,我们提出的并发模型允许对象内部的并发。     

抽象数据类型及其代数规格说明

本文介绍抽象数据类型及其规格说明技术中很活跃的一个研究方向——代数描述方法.给出基于抽象数据类型的代数规格说明的语法和语义,讨论一致性、完备性等问题.最后探讨规格说明的实现以及正确性证明的方法.     

公平性分类及其分析

本文对不同通信及协调机制的程序设计语文的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型，此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平概念：弱公平性，进程公平性和强公平性。我们进一步对每一类公平性进行了分析。     

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

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

对象式逻辑语言LKO的实现技术

本文首先介绍对象逻辑程序设计语言ＬＫＯ的基本概念，然后讨论其转换系统的系统结构，主要数据结构及关键算法。     

软件规范方法比较

软件工程是应用计算机科学、数学及管理科学等原理,借鉴工程化原则与方法,解决软件向题的工程.软件开发过程可划分为若干个从概念直到实现的阶段。一个典型的阶段划分序列包括:问题定义、需求分析、(功能)规范、(层次)设计、详细设计、实现、测试、维护和退役等。各阶段的划分并非固定不变,且其间无一个严格界限。称为“规范”的这个领域可以被划分为更加细致的一个层次,包括从间题定义到层次(总体)设计这几个阶段。一般按规范所包的范围,将规范分为两种类型:一种是需求规范,粗略地对应于上述阶段划分中的问题定义和需求分析两个阶段;另一种是系统规范,粗略地对应于上述划分中的功能规范和层次设计两个阶段(如下图)。