什么是经营合同(What Operation Contracts)？

在计算机编程和计算机科学领域，操作契约是一种指定或记录特定函数如何改变程序中不同元素的方法。与抽象编程接口（API）或接口控制文档不同，操作契约用于在开发和建模阶段提供帮助创建一个计算机应用程序或系统。在最基本...

在计算机编程和计算机科学领域，操作契约是一种指定或记录特定函数如何改变程序中不同元素的方法。与抽象编程接口（API）或接口控制文档不同，操作契约用于在开发和建模阶段提供帮助创建一个计算机应用程序或系统。在最基本的层次上，合同定义了操作的四个特征，特别是操作的名称、在设计的其他方面对操作的任何引用、在执行操作之前对输入或状态的任何要求，以及在操作之后的系统或变量的状态操作已经执行。合同中没有明确规定操作在内部如何运行，而是只讨论程序的使用对程序状态的影响一般来说，操作契约并不是为程序模型中的每个操作构建的，而是为特别复杂或难以跟踪的操作保留的。几种计算机建模语言，如统一建模语言（UML）支持操作契约，并有助于可视化一旦执行了操作，程序的状态就会改变。创建操作契约所需的前两个定义是操作的名称，可以是任何内容，以及任何交叉引用交叉引用是程序模型的其他操作或区域的列表，这些操作或区域使用正在定义的操作或该操作将在其处理过程中使用的操作。这有助于了解整体设计如何相互作用，并且在查看模型的某个区域的更改将如何影响其他区域时尤其有用操作契约下一步定义运行操作所需的先决条件。这可能涉及到需要用适当的值加载某些变量，或者它可以要求程序的某些部分处于特定的状态，如果在执行操作时不满足前提条件，则操作将不会发生或可能完全失败。契约作为一种抽象工具使用，因此前提条件通常相当一般，并且比特定变量。操作契约的最后部分定义任何后置条件。后置条件是程序模型中因执行操作而更改的项的列表。这可以指定更改对数据结构或对程序状态的修改，如将控制权转移到单独的模块中。通过使用定义良好的操作契约，可以在实际执行开始之前有效地对程序进行建模和修改

发表于 2020-07-31 02:53
阅读 ( 894 )
分类：电脑网络

什么是经营合同(What Operation Contracts)？

你可能感兴趣的文章

相关问题

0 条评论

作家榜 »

推荐文章