形式化方法（formal methods）
在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。
简而言之，就是用字母和符号来表明一个推理或者一个命题。
根据说明目标软件系统的方式，形式化方法可以分为两类：
1.面向模型的方法
通过构造一个数学模型来说明系统的行为。
2.面向属性的方法
通过描述目标软件系统的各种属性来间接定义系统行为。
根据表达能力，形式化方法可以分为五类：
1.基于模型的方法
通过明确定义状态和操作来建立一个系统模型（使系统从一个状态转换到另一个状态）。
2.基于逻辑的方法
用逻辑描述系统预期的性能，包括底层规约、时序和可能性行为。
3.基于网络的方法
采用具有形式语义的图形语言，为系统开发和再工程带来特殊的好处，由于图形化表示法易于理解，而且非专业人员能够使用，因此是一种通用的系统确定表示法。
4.代数方法
通过将未定义状态下不同的操作行为相联系，给出操作的显式定义。
5.进程代数方法
通过限制所有容许的可观察的过程间通信来表示系统行为。
标签：推理,系统,命题,形式化,行为,了解,方法 来源： https://blog.csdn.net/NekoSoleil/article/details/115429901
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。