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

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

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

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

基于ACTOR模型的并发面向对象语言AC++

ＡＣ＋＋是用ＡＣＴＯＲ模型建造的并发Ｃ＋＋语言．本文介绍ＡＣ＋＋的设计与实现，着重探讨如何在语义级上平滑地结合ＡＣＴＯＲ模型和普通面向对象语言，提出了“扩充的行为抽象”和“异步创建”等新方法，使新语言既能保持面向对象语言的特性，又能支持ＡＣＴＯＲ模型提供的描述并发计算的能力.     

并发过程及其软件的建模与模拟支持系统

模拟是对复杂系统进行分析研究和试验评估的一种重要手段和方法。本文针对具有并发实体或过程的实际系统和并发软件提出用实体—资源模型描述其主动和被动实体,用同步—通讯模型描述实体间的联系。并基于这种模型设计了一种以C~(++)为基础的面向问题的模拟语言。该语言以构件方式支持模拟程序的编制。对C~(++)语言扩充了描述并发成分的机构,并以此为基础设计了模拟的运行控制机构,用以支持进程方式的系统模拟。这种系统可用于对事件驱动型并发过程或并发软件进行分析设计和方案评估。用C语言编程时,允许直接利用模拟程序逐步求精,最终以实际程序取代,因此也可用作设计、开发并发软件的一种原型方法和工具。     

一种面向图的分布Web应用架构技术

提出一种面向图的软件体系结构描述和实现技术(称为WebGOP)来支持分布Web应用系统的架构，开发者通过定义图的拓扑结构来描述体系结构，并可以根据需要定制图的类型以更好地表达特定的体系结构风格。同时，这个图实现为一个分布共享对象，显式地存在于应用系统之中，为各个构件的执行提供了一个面向图的上下文，也为体系结构的实现和动态演化提供了依托．该技术直观性强，有助于缩小体系结构描述与实现之间的距离，特别是可为系统动态重配置提供良好的支持．该文还利用edNCE图文法对WebGOP进行了形式化处理，设计实现了一个WebGOP原型系统，并对这个原型系统的关键性能指标进行了测试以表明该技术的可行性。     

采用属性文法实现语法制导协议开发环境

近年来协议工程支撑环境的研究得到了迅速的发展，正逐渐趋于工程化，规范化、形式化、属性文法是描述程序设计语言语义特性的工具，本文介绍了采用属性文法及增量式语法分析法构造ＡＳＮ．１语法制导编辑环境的方法，本系统采用面向对象的语言ＪＡＶＡ实现。     

一种采用一阶动态逻辑表示的数字权限描述模型

针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。基于一阶动态逻辑,定义了一个用于描述数字权限概念的 一阶动态逻辑符号系统DrFDL,并在DDRM模型基础上给出了DrFDL的语义结构(该语义结构能够 反映动作的动态特性)。基于DDRM模型还给出了一个表达权限证书的文法,应用DrFDL逻辑语言 给出了该文法生成的权限证书的形式语义,并探讨了该证书的确定性和有效性。     

图文法EGG在设计模式中的应用

对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。     

关系图文法及其应用

字符串文法不适于描述二维以上事物的特征，无法定义事物之间的复杂关系．本文提出了关系图的概念，对关系图的性质进行了研究．在此基础上提出了一种新的文法——关系图文法．该文法能够方便地抽象和概括二维以上复杂对象的特征，为分析和识别这些对象提供工具和方法，可以广泛应用于模式识别、高维文本分析和描述图示语言的语法等领域．为了使关系图文法实用化，本文还提出了相应的识别和匹配算法.     

基于Petri网的CSP并发系统验证技术研究

通信顺序进程(CSP)和Petri网是两种重要的并发系统建模工具。CSP语言具有高度抽象性,可有效刻画并发进程之间的各种相互作用,但在物理结构的描述与验证分析方面显得不足。Petri 网是一种形式化、图形化的并发系统建模和分析工具,侧重于系统的物理结构描述和性质分析。结合两者优点,首先利用CSP描述待验证的并发系统,然后将其转化为Petri网来分析系统的动态行为特性,最后利用性质分析工具TINA对系统性质进行分析和验证。实验结果表明,传统的CSP进程性质验证工具不能验证CSP进程的安全性,但其转化为Petri网后可有效地分析出导致安全性不能满足的危险因素,从而扩大了CSP描述的并发系统可验证性质的范围。     

对象动态行为的建模方法及支撑工具

该文提出了一种基于对象数据模型的,同时又具有面向对象方法特征的对象行为模型。随后介绍了用这种模型描述对象动态行为的方法和步骤。最后简要地介绍了作者开发的一个支持这种建模过程的工具系统。     

基于图文法的动态软件体系结构支撑环境

使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.     

基于UML的系统需求分析

UML(Unified Modelling Language)是面向对象方法建模的语言标准工具,在系统建模过程中应用很广泛,在UML技术指导下,针对软件开发过程中的需求分析阶段,提出了一种结构清晰的功能需求分析模型,在系统用例图的基础上,建立类图和时序图,从静态和动态不同侧面表达系统模型,迭代的建模过程保证了模型的一致性,一个实例详细描述了系统功能需求分析建模的过程.     

扩展有限递归进程模型

扩展有限递归进程模型上海交通大学自控系黄典伟，吴智铭主要讨论离散事件动态系统的建模问题。由Ｋ．Ｉｎａｎ和Ｐ．Ｖａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但该ＦＲＰ中没有定义对数据变量的操作和条件转移算子。本文将ＦＲ...     

一种并发面向对象同步模型研究

同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.     

一个并发对象演算

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型,开发面向对象程序设计语言的开发受到了很大的制约,为了给并发面向对象程序设计定义一个公共的语义框架,人们分别以π演算和ａｃｔｏｒ模型为基础进行了研究。     

面向对象方法在流化催化裂化动态系统仿真中的应用（Ⅱ） 面向对象程序设计和系统仿真

本文引入面向对象机制为流化催化裂化（ＦＣＣ）动态系统仿真问题求解建立了一个抽象通用的类层次，并应用ＴｕｒｂｏＣ＋＋面向对象程序设计语言开发了ＦＣＣ动态系统仿真程序。仿真模型采用９阶状态空间模型，仿真算法选择４阶Ｒｕｎｇｅ－Ｋｕｔｔａ方法，仿真曲线使用Ｂｏｒｌａｎｄ图形接口（ＢＧＩ）工具显示。仿真结果是令人满意的。作者认为，由于用面向对象程序设计语言编制的程序具有易阅读、易维修、易扩充和通用性强等优点，故用面向对象程序设计语言代替传统的过程式语言开发实际工业生产过程仿真软件，将使软件开发者和最终用户都受益非浅，它必将成为一种新的趋势。     

基于ASP的CSP进程描述与组合研究

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题。构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述不允许出现类环状结构的问题,可完整描述各种形态的CSP进程。研究了并发组合进程生成技术,它可使多个进程自动化并发组合,并生成一个满足所有行为特性、具有一致结构特性的新进程,保持了验证框架内进程描述的一致性,有利于并发进程的抽象与验证。实验表明了基于ASP的CSP进程描述与组合进程生成技术的有效性,以及基于该ASP描述体系的系统性质验证的可行性。     

CCPP: 一个并发C++语言的设计与实现

并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．ＣＣＰＰ语言允许并发／顺序代码重用.     

On the Expressiveness of Context-Sensitive Graph Grammars

上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性.