论文《基于形式化方法的协议测试理论》

统一建模语言(UML)是目前广泛使用的一种面向对象建模语言,其图形化,半形式化的特点,使其缺乏精确的语义描述,模型之间容易出现不一致问题,因此,UML 类图的形式化问题尤为重要。Common Logi

需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型，用来将软件需求分析直接、自动地转换为形式化描述，为需求验证提供帮助，避免软件在需求规范上可能产生的错误。

摘 要 统一建模语言（ %+/） 是一种通用的图形化建模语言， 在面向对象系统的分析和设计中， 它已成为事实上的工业 标准。但是 %+/ 不是形式化的建模语言， 缺乏精确的语义描述， 因此会导致一些问

本文介绍了我们在几何知识对象的识别,形式化,结构化和规范化方面的工作,目的是进行语义表示和知识管理。 我们根据几何知识在几何文献中的积累和表示方式对几何知识进行分类,通过调整一阶逻辑的语言来对几何知识

模糊关联规则用于处理数据库中的不精确信息，并提供一个知识发现的良好表示。利用约束级别表示理论将GUHA模型泛化用于模糊关联规则，通过约束级别管理模糊规则，并给出一个扩展的验证度量过程。使用形式化方法的

偏理论研究，针对CWM存在的问题—无法识别元数据冲突，给出一种推理机制

CTCS-4级列车运行控制系统是基于无线通信GSM-R传输信息的系统，而GSM-R系统是一种开放传输系统，它不能满足列控系统这种安全苛求系统的需求。主要根据GSM-R系统现有的安全威胁和应该采取的安全

解非线性约束规划的困难在于如何处理问题的约束，从问题的约束条件出发构造了一个新的极大熵函数，利用此函数将原非线性约束规划问题转化成了两个目标的多目标优化问题。通过对搜索操作和参数的合理设计给出了一种新

摘要:依据网上信息收集系统构件库中构件的开发和管理经验,提出一种构件模型,并阐述了此模型对基于语义的构件检索、构件组装和构件演化的自动化支持。关键词:构件模型构件库形式化方法形式化描述。 在基

随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时