基于约束的LOTOS形式化规范描述及其在电话系统中的应用

来源 :中山大学 | 被引量 : 0次 | 上传用户：lrq22

【摘要】

：

该文提出了运用基于约束类型的LOTOS（LanguageOfTemporalOrderingSpecifications）形式化规范描述方法,来产生简单、抽象、结构良好的简单电话系统的形式化规范描述.这种规范描

【作者】

：

邓志洪

【机构】

：

中山大学

【出处】

：

中山大学

【发表日期】

：

2002年期

【关键词】

：

形式化规范 LOTOS 基于约束电话系统

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

该文提出了运用基于约束类型的LOTOS（LanguageOfTemporalOrderingSpecifications）形式化规范描述方法,来产生简单、抽象、结构良好的简单电话系统的形式化规范描述.这种规范描述不只是对电话系统一般性的描述,而且通过对规范描述的直接执行,在形式化层上就可以对电话系统的若干性质进行验证,证明了这种方法具有实际意义.

其他文献

基于XML的新一代呼叫中心系统的研究

本文深入研究了呼叫中心系统在国内外发展的历史与现状，剖析了红枫呼叫系统有限公司原有的呼叫中心系统所存在的问题与弊端，提出并设计了基于XML的新一代呼叫中心系统的全套解决方案。在吸取原有呼叫中心系统优点的基础之上，新一代呼叫中心系统的设计与开发是以软件工程理论为指导，全面采用面向对象的方法(包括面向对象的分析、设计、开发以及测试)和先进的XML技术。在此基础上所建立起来的呼叫中心系统能方便地

学位

呼叫中心CMMXMLCTIIVRTTS

带时间和资源约束的过程模型验证方法及其实现

学位

多业务网络的QoS路由研究

该文首先简单的介绍了QoS提供的概况,然后分两个部分介绍了一个新的路由算法：best-effort路由和QoS路由.Best-effort路由基于RED算法,RED算法是一个拥塞控制算法,它反应了链路

学位

服务质量保证路由最短路算法Bellman-Ford算法Dijkstra算法

基于移动代理的动态路由算法的研究

移动代理是当今网络应用的一个热点,被广大研究者认为是一项具有巨大发展潜力的技术.它所独有的智能性、自主性和移动性的特点正好符合了解决网络路由问题所要具备的能力.该

学位

动态路由移动代理JavaAglets

网络安全检测技术研究

Internet网作为世界上最大也是最成功的信息媒体，在给科学研究和资源共享带来极大便利的同时，由于其自身结构上的安全缺陷，给网络带来了巨大的安全风险，严重地制约了网络的进一步

学位

网络安全网络安全检测Socket端口扫描

自然环境下标记体字符的处理和提取

字符处理和识别是当前人工智能领域的一个研究热点,通过对国内外研究情况的分析,该文在原有的人工神经网络方法的基础上进行改进,得到称为BP++神经网络的新型网络系统.并提出

学位

图像处理字符提取神经网络BP网络

SCADA中工单管理系统的设计与实现

在世界经济飞速发展的背景下,全球能源与环境形势越来越严峻,推动了世界各国加快能源战略转型,掀起了新能源发电的新一轮热潮。建立信息全面、界面友好的SCADA系统,达到节省

学位

SCADA系统工单管理可视化流程管理

软件模式理论的研究及其在开发TroBus中的应用

该文研究了软件模式的基本理论及其在分布式对象中间件TroBus设计中的应用.文章首先对软件模式的基本理论作了较系统的概括:从软件模式理论的来源到模式的定义与要素、软件模

学位

软件模式体系结构模式软件体系结构中间件CORBATroBus系统

支持NAT的动态密钥交换技术

对于地址短缺的问题.目前的许多公司、企业都采用NAT(Network Address Translation)技术.NAT通过将多个内部地址映射为少数几个甚至一个合法地址来减缓地址短缺的问题.由于NA

学位

网络安全NAT技术IP地址IPSec技术

基于多Agent系统的在线多阶段组合投资模型的研究和实现

该文针对多阶段组合投资问题,提出了一个基于协同工作的自动调节投资策略Multiagent系统的组合投资模型.该文由四部分组成.首先介绍了现代组合投资理论发展的现况,讨论了在线

学位

在线多阶段组合投资Multiagent系统在线学习协同搜索

基于约束的LOTOS形式化规范描述及其在电话系统中的应用

与本文相关的学术论文