一种基于JSD方法的规格说明语言及其支撑系统的设计与开发

Jackson系统开发方法(JSD)是八十年代初提出的一种很有名的操作式软件开发方法。为了支持开发者将其应用到软件开发实践中,我们设计了一种基于JSD方法的图形化的操作式规格说明语言NUJSDL,并开发了其支撑系统NUJSDS,NUJSDL语言具有易理解、可分析和可维护等特性,它提供了多种机制分别刻划JSD开发过程中各阶段的结果,并且用它书写的规格说明还可以作为待开发系统的一个原型。NUJSDS是编辑工具分析工具规格说明生成工具和转换工具集成起来的交互式可扩充的系统,它支持规格说明在JSD思想指导下的开发     

规格说明语言NUSL及其支撑系统

本文简述了形式规格说明技术的意义,与原型技术的关系,并叙述了规格说明语言NUSL的特点、结构和使用,然后介绍了NUSL支撑系统.     

从功能规格说明到设计规格说明的自动转换

本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术.     

CPSL：一种通信协议规格说明语言及其支撑系统

ＣＰＳＬ是一种精确描述通信协议需求的形式规格说明语言，本文简述了ＣＰＳＬ的设计及其支撑系统的开发，并和其它类似语言作了比较。     

关于Z规格说明语言中模式的剖析

1.引言形式规格说明语言一般是提供一套称为语法域的记号系统和一个称为语义域的对象集合,以及一组精确地定义哪些对象满足哪个规格说明的规则。规格说明是语法域中的句子。它用数学表示法精确地描述了软件系统必须具备的性质。 Z是目前比较流行的一种形式规格说明语言,它以一阶谓词逻     

规格说明语言Z的类型检查

软件规格说明的正确性是软件目标代码正确性的前提。正确性要求这一就是类型正确。本文介绍Ｚ规格说明类型的检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。     

Z规格说明构造方法

比较完整地描述了Ｚ规格说明的结构和写规格说明的的步骤,并通过一个所设计的Ｚ规格说明的实例演示用Ｚ规格说明的过程。     

Z规格说明中的定理证明方法

形式规格说明使用数学的表示,以一种精确的方法描述了系统要做什么,而不考虑它是如何做的。规格说明本身提供了一个无歧义的、能与用户和同事一起讨论的书面文件,又可作为已完成程序的文档,帮助人们将来进行程序的维护和修改。对形式规     

DFA模型及其语言的结构化代数规约

本文首先阐述了利用ＤＦＡ模型技术进行状态转换系统描述存在的主要问题,提出了利用代数规约技术解决这些问题的可行性,然后介绍了新一代具有松散语义的代数规约语言ＳＰＥＣＴＲＵＭ及其主要规约操作符的语法和语义,并根据ＤＦＡ模型及其语言的数学定义,给出了它们的结构化代数规约,为基于ＤＦＡ模型的状态转换系统的形式化设计和开发奠定了基础。     

面向对象的形式规格说明语言OOZS

ＯＯＺＳ语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Ｚ语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、和出口机制,设置了Ｐｒｅ谓词和Ｐｏｓｔ谓词,表达力强,简明精确。本文是该语言的试用文本介绍。     

一种适用于过程控制系统建模的形式描述语言PROTOB

本文研讨一种适用于过程控制系统建模的描述语言ＰＲＯＴＯＢ。文中首先阐述了ＰＲＯＴ网的基本概念及其实例，在此基础上讨论了ＰＲＯＴＯＢ网，结合一个过程控制系统的控制流程，给出了它的ＰＲＯＴＯＢ模型 。     

协议形式化开发环境的规范语言

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．     

用Z语言形式化扩展事件踪迹图

软件体系结构被看成是现代软件技术的重要因素之一 ,而一个软件系统结构的关键就是它可以分解成组件和组件交互的规格说明。扩展事件踪迹图 (ExtendedEventsTraces ,EETs)是一种用来描述组件交互的图形技术 ,它允许我们用图来定义结构中经常发生的交互模型 ,并且在多种上下文中可实例化 ,因而可以重用。虽然EETs的图形表示很直观 ,但是语义不够精确 ,因此 ,在本文中将使用形式规格说明语言Z来形式化EETs。并且 ,给出了形式描述EETs的几个应用例子     

具有主动功能的程序设计语言及其实现技术

本文将提出一种主动程序设计语言的概念，它将改变一般程序设计语言只能用来编制被动执行的计算机程序的惯例，可使由该程序设计语言实现的系统具有主动提供各种服务的功能，使得诸如实时监控和报警功能（包括系统状态、性能、安全、故障或错误等的监控）、异常或错误的主动处理和自动恢复功能、系统瞬时状态或关键点状态的自动输出功能、适应多部门（或专家等）合作解题所需的通信和同步功能、演绎推理功能、灵活的实时处理能力、系     

LISP语言的并行性研究

本文讨论了源串行LISP语言的并行性开发,包括任务的划分和表示、并行处理策略、任务的环境控制、任务的调度和通讯,并给出了提高任务并行度的特殊函数处理、伪结果控制、自定义函数任务提升策略等算法,上述思想已在实验系统MTASKLISP上初步实现.     

面向对象软件规格语言的设计

本文提出一种面向对象软件的形式描述语言JOOSL，用它可描述面向对象软件需求规格、概要设计和详细设计。从描述方法角度看，需求规格和概要设计的描述在很大程度上相同，这就反映了OO开发模型中需求和设计之间的重叠。在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。JOOSL 认为对象是一种抽象的状态机，继承是行为特性的共享。