【摘 要】
：
协议工程是是以协议为研究对象的软件工程,它采用形式化方法描述协议设计和维护中的各个活动,但所建立的协议设计方法比现有软件工程方法更严格,从而使整个协议的开发过程更
论文部分内容阅读
协议工程是是以协议为研究对象的软件工程,它采用形式化方法描述协议设计和维护中的各个活动,但所建立的协议设计方法比现有软件工程方法更严格,从而使整个协议的开发过程更加系统化和形式化。形式化方法是一种基于数学的技术,为软件开发提供了坚实的基础：形式化方法的应用使得系统设计和实现的正确性和可靠性得到了保证。形式化方法一般需要形式描述技术的支持,形式化描述技术涉及模型技术和形式化描述语言(Formal Description Languages)。FDL具有严格的语法和语义定义,它抽象于具体的实现,严格、可符号执行、无二义性,FDL在协议工程中占有重要的地位。
E-LOTOS是LOTOS的增强版,对LOTOS进行了多方面改进,是一种重要的形式化描述语言。本论文借助词法分析器自动生成工具JFlex,使用java语言设计和实现了一个支持E-LOTOS语言的文本编辑器,首先该文本编辑器实现了菜单、工具栏、状态栏以及右键弹出菜单并具有显示行号、自动缩进等功能,还提供了对文件相关的操作：新建、打开、关闭、保存、另存为以及退出等；与编辑相关的操作：拷贝、剪切、删除、撤销、重做、查找、替换等。而且更重要的是可以对E-LOTOS中的关键字、运算符、字符常量以及布尔常量在输入时能动态识别并能以不同颜色的高亮度显示,这为在此基础上开发E-LOTOS的编译器或模型检测工具奠定了基础。
关键字:E-LOTOS;文本编辑器;语法高亮显示;JFlex
其他文献
智能家居自面世以来，经过十来年的发展，从不太引人关注，到市场发展火爆，其根本原因是其本质上的变化。智能家居发展前期，系统构建是基于PC的，实际应用场景并不理想。而在目前阶段，移
在资金异常流动的监测中,面对各金融机构汇报的大额和可疑数据,账号之间的关系繁杂,无法提高监测和侦破效率；现有的一些复杂网络可视化软件无法适应金融网络的可视化要求,难以
随着软件工程技术的发展,基于组件的软件开发已成为软件工程领域的研究热点,同时在实际应用中第三方组件市场也已经形成。组件技术的发展极大地促进了软件开发的效率,但组件
在计算机辅助几何设计中,曲面上的插值曲线研究是一个十分重要的课题。本文主要讨论可展曲面上的插值曲线,经过分析,构造曲面上插值曲线的关键在于找到一个好的参数化方法,也
P2P网络技术作为当今最流行的网络技术之一，被美国《财富》杂志称为改变因特网发展的四大新技术之一，甚至被称为无线宽带互联网的未来技术。传统的P2P网络对加入网络的节点(pee
随着互联网上可用信息的日益增多,怎样快速而有效地获取有用信息成为人们研究的重要课题,信息自动分类就应运而生了。贝叶斯作为其中的一种分类方法,应用在很多领域。本文将
无线传感器网络(Wireless Sensor Networks,WSNs)是通过在待检测的区域内部署具有计算和通信功能的传感器节点,从而形成无固定基础设施的自组织网络。它存在部署规模大、节点
XML是一种由W3C推出的标记语言,因为它的跨平台,跨网络的特性及其易扩展的语法和语义,使其成为了网络上数据交换的事实标准。随着以XML格式存储数据的日益增多,其安全性已经
随着Internet的飞速发展和万维网(WWW)的日益庞大，Web资源的复杂程度更是以指数级的数量增长，导致人们在查找所需信息时不知所措。为了解决“信息过载”和“资源迷向”的问题，搜
工作流管理是能够有效提高企业效率和执行质量的途径之一。流程建模是其中的一个重要环节,常见的建模方法大多是基于活动、产品、目标或决策的。基于活动的流程建模由活动及