软件构造过程中的对象规范和实现

面向对象的软件构造过程中的一个着急技术是对象的描述。本介绍的ＡＤＬ语言就是用于描述软件对象的基本特征。一个ＡＤＬ对象定义分为两部分：其一是对象规范，它在抽象数据域上描述对象的语义特征，用逻辑公式规定对象的状态和行为约束。另一是对象体，它由开发选用相应的某种实现语言和算法给出对象规范的具体实现，同时给出抽象数据到具体数据的映射关系。     

模型开发方法及其原型工具系统MTOOL

本文根据作者近年来研讨软件开发方法的工作和开发软件工具的经验,总结了模型开发方法,提出了模型方法的支持工具MTOOL,文章归纳了模型方法的开发过程和描述手段,详细介绍了MTOOL的组成和工作过程,给出了模型描述语言MSL的主要文法内容,讨论了MTOOL的设计思想和有关实现技术。     

程序计算解函数的不动点特征

本文从一般的格不动点出发,讨论了程序的计算解函数与逻辑解函数的一致性问题,并特别证明了延迟值调用计算法则的安全性.只有在程序的计算解函数与最小不动点函数保持一致的前提下,基于不功点特征公理推导的程序性质,也才是程序计算解函数的性质.文章最后给出LISP程序证明的一个例子.     

面向对象的软件构造

面向对象技术的发展改变了传统软件系统的结构和设计方法学．本文作者提出一种称为ＳＣＯＰ的面向对象的软件系统结构模式，即软件是对象模块的复合，而软件设计则是对象模块经过程控制进行复合的构造生成．本文从语义模型、描述语言、设计方法学和支持环境等几方面对ＳＣＯＰ进行扼要的介绍．     

SCOP对象管理系统

对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）是ＳＣＯＰ组合框架软件的核心．本文简要介绍ＳＣＯＰ对象管理系统的设计与实现，包括内存对象管理系统、外存对象管理系统以及基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ的并发库系统等.     

SIMULA和CLASS

SIMULA67是一种ALGOL型语言,以ALGOL60为基础,扩充了一个新的概念“类”(CLASS),致使语言的描述能力和结构化能力大大增强。类是一种把数据和操作结合起来的数据类型,SIMULA67是最早在语言中引进这样数据结构的语言。以后其它语言如clu-ster、modula、monitor等都相继引进了这个概念,并把这样的数据结构发展得更为完善了。本文将专门讨论CLASS的由来和作用。     

基于混合粒度冲突检测的事务工作流调度算法

事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.     

Dynamic Checking Framework for Java Beaus Semantic Constraints

1IntroductionOverthepastfewyears,constructingapplicationsbyassemblingreusablesoftwarecom-poneatshasemergedaswidelyacceptedmethodology,bywhichsomesimplecomponentsaregluedtogetherintomoresophisticatedcomponents.Componentsaretheunitsofap-plicationsoftwareortheappletsthatcouldbeembeddedintocompounddocuments.Theycouldbespecifiedandimplementedconvenielltlycompliedwithsomecomponentstandards,suchasJavaBeaus[1],COBRA/OpenDoc,COM/ActiveX,etc.DifferentstandardsprovidedifferentarchitecturesandtheAP…     

网络分布计算与中间件(上)

中间件是一种灵活的、可伸缩的系统结构,可用于部署大规模分布计算解决方案。通过定义Client和Server间的消息传递接口,用户可选择最能满足业务需求、最有效的物理和逻辑层配置。作者认为:在分布应用中,要解决问题就需要中间件。另外,针对不同类型的分布应用,还要采用不同类型的中间件,因此,中间件是当今用户网络分布计算基础的重要选择。