软件图语言的若干问题研究

本文从语言学和形式化角度对软件工程中广泛和频繁使用的软件图进行研究，提出了软件图语言这一概念。本文首先提出了关于软件图语言的一组基本概念，研究了软件图语言的同态和同构，以构成软件图形式描述的基础；其次阐述了软件图语言的分类和体式；最后讨论了软件图的优化问题。本文工作可以作为设计软件图编辑器及自动生成工具的基础。     

可视化语言文法形式化描述综述

可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。     

UML顺序图的形式化描述

1 引言统一建模语言UML(Unified Modeling Language)是标准的对象建模语言,它通过定义的多种图和模型元素描述系统分析和设计的结果,主要针对大型、复杂系统的建模。然而,UML却是半形式化的——其语法结构采用了形式化的规约,但其语义部分则是用自然语言描述的。由于复杂系统的建模往往需要进行严格的语义分析,而UML却缺乏准确的语义,这使得对模型难以进行一致性检查和正确性分析,进而限制了它的有效性。     

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

面向对象的并发系统与传统的并发系统(如用CSP或CCS所描述的系统)的不同之处在于其进程结构的动态性，系统中的进程以及进程之间的通信链路随着对象的变化而动态地建立或撤消．图文法模型比其他形式化工具更适合描述这种并发和动态的特性．这里我们介绍一个新的用于描述面向对象并发系统的图文法模型，在该模型中为系统的设计开发者提供了一个用来描述系统的静态和动态结构的语言工具——CSDL语言．在面向对象并发系统开发支持环境 的支持下，用CSDL语言描述的面向对象并发系统的结构可以转换成对系统运行期进程互联结构的控制机制，     

一种基于边的上下文相关图文法形式化框架

围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.     

UML用例图的Z形式规范

统一建模语言UML已经成为面向对象建模语言的标准,用例图在面向对象的软件开发过程中起着重要的作用,但是它缺乏Z形式语言的精确性。为了对它的描述更加精确,本文使用Z语言给出UML中用例图的形式化描述,并将其应用在一个简单的图书馆管理系统中。     

文本模式的结构化描述法

针对正则表达式在处理长文本时存在可读性差、难以维护和容易出错等问题,提出了描述文本模式的另外一种方法:结构化描述法。这种方法具有良好的可读性、可修改性和可扩展性,可广泛应用于数据抽取。     

数据流图的一种形式化描述与检测方法

数据流图是一种常用的表示软件模型的图示方法.在建模的过程中,由于系统的复杂性等原因,经常会出现一些设计上的缺陷、错误和不一致.目前数据流图的检测主要通过建模者人工来完成,降低了工作效率.为此,提出了一种基于Petri网的数据流图形式化描述方法,以实现数据流图的自动检测.通过对数据流图基本符号的功能的分析,找出形式化描述...     

LISP语言的特点及其文法的BNF描述

LISP是最早和最重要的符号处理编程语言之一,Scheme语言是LISP的方言。本文总结了LISP语言的特点,并根据LISP语言的特点,用BNF范式完整的描述了Scheme语言的文法,这为用编译方法实现LISP语言提供了思路。     

软件体系结构的描述方法研究

目前关于软件体系结构的描述已有许多工具支持,但各种工具不仅是领域相关的,而且描述方法也不尽统一,这使设计人员很难选择一种合适的工具,将体系结构的共同特征提取出来,秦为体系结构描述的核心模型,为各种工具提供了共同的基础－若要用某一种工具描述,只需增加与之相关的约束,另一方面将软件体系结构与当前主流的面向对象方法相结合,利用统一建模语言ＵＭＬ的扩充机制,从多个视图描述了软件体系结构,最后结合研究工作给     

MIS软件开发过程的描述

本文用活动的概念来描述软件的开发过程,建立了软件过程的形式化描述模型,以此为基础,给出了MIS软件开发的过程描述。     

概念图知识处理器的设计

概念图作为一种新的知识表示方法,有着广泛的应用前景。本文首先简要介绍了概念图知识表示方法,然后详细给出了一种适用于微型机的专家系统开发工具概念图知识处理器的设计和实现方案。     

AspectualACME语言切点指示器的形式化描述方法

面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。     

C反编译控制流恢复的形式描述及算法

反编译是软件逆向工程的重要组成部分。控制流恢复是Ｃ反编译的重要组成部分。本文首先描述了验证反编译结果与原程序功能等价的模型；其次从数学角度提出了Ｃ编译和反编译控制结构的数学模型并给出其性质；再次根据对Ｃ控制语句编译结果的分析，以扩展的ＢＮＦ形式描述了Ｃ控制语句反编译的约束属性方法；最后给出并说明了反编译控制流恢复的算法及其运行示例。     

MPEG-4形式化同步描述信息的研究与设计

媒体对象内部和多个媒体对象之间的同步是多媒体研究的一个重要研究方向。简述了MPEG-4的相关概念以及体系结构,融合并扩展了诸多传统方法,提出加权有向图的形式化同步描述方法在MPEG-4体系结构中的同步层中应用,这种方法更加适应MPEG-4面向对象的内容编码和传输。通过测试结果可以看出,加权有向图的形式化同步描述方法可以有效地实现同步。     

大规模软件网络节点中生代指数解法研究

将大规模软件结构看作一个有向网络图,类看作是网络中的一个节点,类间关系看作是一条连接节点的边。定义了网络节点的家族指数和中生代指数。一个节点的中生代指数反映了此节点和软件网络中其它节点联系的紧密程度。根据定义提出了中生代指数的一般求解算法APSA。基于dijkstra算法提出了快速求解算法ADDA。用两种算法对不同节点数的十种大规模软件进行中生代指数计算,结果表明节点越大,ADDA算法的时间性能越好。最后阐述了中生代指数对于软件开发的指导意义。     

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

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