用于描述面向对象并发系统的实用图文法模型

面向对象的并发系统与传统的并发系统的不同之片在于其进程结构的动态性，系统中地进程以及进程之间的通信链路随着对象的变化而动态地建议或撤消。法模型比其他形式化化工具更适合描述这种并发和动态的特性。这里我们介绍一个新的用于描述向对象并发系统的图法模型，在该模型中为系统的设计开发提供了一个用来描述诉静态和动态结构的语言工具－ＣＤＳＬ语言。     

基于图文法的并发系统状态测试方法及其实现

在并发系统的研究和开发中，迫切需要一种能正确有效地描述并发系统的动态进程互联结构、动态进程通信和进程演化行为的形式化方法以及基于这种形式化方法的并发系统动态状态的测试手段．本文介绍一种基于图文法模型的并发系统状态测试方法，该方法与描述并发系统结构和行为的图文法模型相结合，构成了一个并发系统开发支持环境．这一方法可根据对并发系统的状态测试要求，在并发系统的运行期自动跟踪和记录并发系统的运行状态和通信情况，使并发系统的开发者可以实时地得到并发系统的运行状态，或者在并发系统运行结束后重演并发系统的状态变化过程.     

管理信息系统中的面向对象体系模型*

本文采用面向对象的思想提出了描述管理信息系统(MIS)的一种体系模型，给出了在软件开发过程中如何获取体系模型中各组成部分的准则和方法，并应用于实际开发项目中．     

基于面向对象技术的多媒体作品管理模型*

WNCH(works,node,content,botspot)模型是根据多媒体作品的作者和读者相统一的认知观点和多媒体作品的特点，采用超文本方式，结合面向对象方法设计的多媒体作品管理与组织模型，本文分析了多媒体作品的一般性特点，介绍了当前多媒体信息模型的典型例子，并着重讨论WNCH模型的组织、设计、表示能力及在多媒体作品管理(创作、阅读和导航)中的应用．     

面向对象数据库的推理查询语言*

本文基于复旦大学开发的一个面向对象数据库系统FOOD，提出一种推理查询语言O—Datalog．该语言能方便地表达对面向对象数据的各种查询和推理要求；它可以转换成类Datalog形式，能运用各种高效计值算法，比其它一些基于非Horn子句逻辑的语言更易于实现．O—Datalog在形式上是一种Datalog的扩充，本文着重介绍其语法和语义．     

面向对象数据库的推理查询实现*

上文介绍了面向对象数据库系统FOOD的推理查询语言O—Datalog，本文继续讨论对O—Datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个O—Datalog程序，可以为它构造一个相应的Datalog程序。并能利用该Datalog程序对原程序进行计值．最后本文还给出了对O—Datalog程序计值的算法．     

一个面向对象的计算机图形系统的实现*

本文介绍了作者设计并实现的一个面向对象的计算机图形系统．由于系统采用了面向对象的系统设计思想，使用户可以通过高层概念来设计对象模型，且模型设计直观、自然，避免了在传统图形系统中，要求用户使用低层图形概念进行建模．同时也保证了系统的易扩充性和易复用性，使本系统真正成为图形应用支持系统．用户只要加入适当的领域知识，本系统很容易扩充为一个面向领域的图形系统．     

信息系统的开发方法及其体系模型*

本文讨论了信息系统中的几个关键问题，包括一些重要概念：认知体系、可重用构件库、Form(表格)数据结构及其控制语言等．所建议的方法分为3个阶段．第1步是由角色法仿真人工系统，第2步是构造可重用构件库，即基本级、Form级和专用级，最后是生成实际运行系统．本文侧重于面向对象的概念它已成功地用于几个大型MIS系统．     

面向对象的PROLOG程序测试工具的研究与实现*

本文首先对Prolog程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法．接着介绍了一个面向对象的Prolog程序测试工具的设计与实现．     

用于描述网络拓扑的形式语言的研究*

论述了应用随机线性文法及产生式描述计算机网络拓扑结构的方法.在该形式语言的描述中,设置了3个基元状态,通过对基元状态及各种状态规律的分析,准确地描述了网络中结点间通信及共享存储器的状态.同时,证明了用此方法在某种条件下从初始结点到终了结点间可以建立惟一的访问路径,并能避免冲突.此方法对计算机网络结点访问/冲突避免的研究具有一定的参考价值.     

C++的一种并发扩充方案*

该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型：系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行；对象间采用同步消息传递,允许对象内部的并发；对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows 95)所提供的多线程和同步设施.     

一种面向对象的多媒体概念模型*

本文形式化地提出了一种适用于多媒体对象的概念模型OMCOM．文中首先分析了多媒体数据模拟的特殊性，探讨了现有的多媒体数据模型的不足．从而提出了把多媒体数据模拟划分为概念与表达两级模拟的思想．概念级模拟多媒体对象的内容与结构；表达级模拟其表达，包括多媒体对象之间的时态关系和空间关系．OMCOM就是一种用于实现概念级模拟的模型．然后根据多媒体概念模拟的需求，形式化地定义了OMCOM的各个构成要素．最后根据OMCOM实例的格性质，建立了多媒体对象在概念级的运算体系——对象代数，形式化地定义了其中的各种运算以及对象代数表达式．     

一种并发系统的规约方法

提出了并发系统的一种规约方法．这一方法可用于对并发系统进行建模和对模型的验证．将形式化工具融入到一种二维的规约方法中,这样就能使形式化工具更易于应用到并发软件的开发过程中．此外,还提出了一种并发系统的形式化抽象模型．     

公平转换系统规范及其应用*

本文讨论了用于并发系统规范的2种方法；时序逻辑方法和状态自动机方法．由此，本文提出了一种新的规范形式——公平转换系统规范FTSS(fair transition system specification)．此规范方法集成了状态自动机方法和时序逻辑方法的优点，改进了时序逻辑方法通常较复杂、不易理解，特别是它不能用于描述并发系统的局部性质等不足．进一步对FTSS中的每一部分进行了讨论，得到结论；FTSS是机器封闭的，规范过程是相容的且是完全的．一个有丢失传输协议的例子表明作者的方法具有简单、直观、易于理解和便于使用等特点．最后给出了FTSS的一些应用．它为程序验证和并发系统的逐步求精提供了一个统一的框架，已成功地应用于程序验证中．     

面向对象系统耦合性度量方法的形式化描述

对面向对象系统的耦合性进行了分析，对现有的度量方法进行了评述和比较，给出了面向对象系统的有关术语的形式化描述方法，提出了基于形式化描述的综合耦合性度量框架。     

C++程序理解辅助系统*

本文介绍了一个针对c++语言的程序理解辅助系统HOOPUS(hypertext—basedobject—oriented program understanding support system)．该系统基于程序结构分析技术，以易于理解的形式显示程序中的信息，辅助理解c++程序的功能与结构．另外，它还利用hypertext、多维表现、导航与定位等技术对理解过程提供支持．     

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

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

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

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

“青鸟”系统中永久对象的实现*

永久对象概念的实现为程序员提供了在高级语言级一致地操纵内外存的手段，并使程序之间共享数据更方便和有效．本文讨论了永久对象的描述方式和实现技术，介绍了一个集成化软件工程环境——“青鸟”系统中永久对象的实现方法，并详细地给出了其核心部分——“青鸟”对象管理系统(JB2/OMs)的设计．     

自动生成前端编译程序的一种方法*

本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统．本文在概述了属性文法及其描述语言之后，简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施．