基于构件技术和B方法的形式化需求分析

采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义性.该方法可以解决传统方法的一些不足,大大提高系统需求分析的质量与效率.     

形式化的安全分析方法在智能轨道交通的应用

在智能轨道交通中,信号系统作为指挥列车安全运行的核心控制系统,在列车运行过程中,控制不当可能导致对人类生命,财产或环境造成灾难性后果。传统的自然语言描述使系统开发缺乏统一的标准,而形式化方法可以有效验证和评估系统设计正确性。文章研究了形式化安全保障技术在智能轨道交通领域的应用,针对全自动驾驶FAO系统中各子系统之间复杂的交互作用,文章结合了形式化方法和STPA方法。以车载ATP系统为例,进行形式化和安全分析方法的结合分析,按照STPA步骤进行安全分析,识别系统相关的安全约束,并运用了XSTAMPP软件辅助分析过程。研究结果实现了自然语言的安全需求到线性时序逻辑(LTL)的形式化规范的转化,有效避免了可能存在的二义性,体现了STPA与形式化结合方面的实际应用价值,并为接下来进行形式化验证提供参考。     

形式化技术在软件工程中的作用

本文主要介绍了形式化技术的一些基本的理论,重点对形式化技术在软件工程和数学理论基础领域的作用进行研究。分析了形式化技术在软件工程领域的一些优势和局限性。并且指明了形式化技术在以后的发展中可能的方向,并且对形式化技术在软件工程中的作用进行了评价。     

B方法和构件技术在软件开发中的应用研究

提出了一种基于B方法和构件技术的形式化开发方法,该方法结合构件技术和形式化方法,对软件开发的方法进行改进从而提高了软件的重用,很好地消除了系统的二义性、不完整性和不一致性,大大提高了软件开发效率.     

无线网络安全协议的形式化分析方法

随着无线网络应用的迅速发展,网络安全的问题也悄然的走了进来。采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本文针对无线网络安全协议的形式化进行了分析和探讨。     

浅析形式化描述方法的应用

形式化方法是一种使用严格的数学模型和方法准确、抽象、规范地描述和验证软件系统的行为和性能的方法,其中主要包括软件的需求规格、设计和实现等。使用这种描述方法可以帮助开发者发现软件系统的设计、实现和程序中的问题和缺陷,能够较好的提高软件系统的正确性和可靠性。本文介绍了形式化方法的基本内容、分类以及应用等方面,分析了其思想和应用情况,以及形式化方法在软件工程中的优势和可靠性,并列举了一个简单的实例。     

基于投影模型的空间方向查询

在对几种主要的基于投影的空间方向关系形式化描述模型进行分析的基础上,对方向关系重新进行了定义,并针对西安市实际地图数据的特征,设计并实现了基于方向关系矩阵模型的空间方向查询,取得了比较好的查询效果.     

电子文档的权利描述与访问控制

电子文档易于复制的特性可能引起严重的信息内容泄露.为了防止非授权访问,采用DRM技术对电子文档进行访问控制.通过XrML数据模型对电子文档的使用权利进行形式化描述,用行为主体、权利、资源和条件四元素来表述授权,组成许可证;通过许可证验证电子文档使用权利的合理性并确定可执行性,从而对电子文档进行访问控制.DRM从技术上保证了电子文档在整个生命周期内的合理使用.     

注塑机协同开发过程模型的研究

建立注塑机开发过程模型是开发注塑机协同设计系统的基础.提出了将注塑机开发过程按照项目、设计任务和设计活动3个层次进行分解的方法,给出了注塑机设计过程模型形式化定义.该模型明确了设计任务间的并行、顺序和协同关系,可以直接按设计任务构成活动网络图,进行规划、分析、管理等工作,使开发过程具有良好的可变更性和可控性.     

现代烟草农业地理信息系统需求形式化描述研究

现代烟草农业建设离不开地理信息技术支持,而系统项目需求则因实际情况复杂多变难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等要求,提出了现代烟草农业地理信息系统需求形式化描述与验证方法。以现代烟草农业中基础设施规划子模块需求描述与验证为例,将现代烟草农业对地理信息系统真实需求归纳到预定义地理信息子问题框架,涉及需求分解、问题子框架组合等系列工程问题,对烟草地理信息需求形式化定义与描述具有典型示范效益。