architecture - 如何学习正式的自上而下的软件架构方法？-6ren

architecture - 如何学习正式的自上而下的软件架构方法？

转载作者：行者123 更新时间：2023-12-04 05:07:57

25

4

我是一名对信息检索感兴趣的软件开发人员。目前，我正在从事我的第三个搜索引擎项目，并且对一次又一次编写的样板代码数量感到非常沮丧，并且具有相同的错误等。

基本搜索引擎是一个非常简单的野兽，可以用由两个“层”组成的形式语言来描述:

“原语层”(或公理，内核语言 - 不知道如何命名它们)。它们由多个集合(作为一组资源 - 文件、网站)、集合上的关系(作为“站点 A 链接到站点 B”)和“打开资源 A 的流”、“从流中读取记录”等简单操作组成， “合并 N 个流”、“按字段 F 索引记录集”等。此外，还有很多数据转换，如“以 YAML 格式保存流”、“从 XML 格式加载流”等。

“应用层”——形成搜索引擎生命周期的几个非常高级的操作，如“收获新资源”、“抓取收获的资源”、“将抓取的资源合并到数据库”、“索引抓取的资源”、“合并索引”等等。这些高级操作中的每一个都可以用从 1 开始的“原语”来表达。

这种高级表示可以很容易地测试，甚至可以正式证明，并在选择的编程语言中实现(或代码生成)。

所以，问题是:有没有人以这种方式设计系统 - 正式地，严格地(甚至可能在代数/群论的层面)，在严格的自上而下的方法中？我可以阅读哪些内容？

最佳答案

关键系统(核电站、飞机、列车控制系统等)采用自上而下的方法开发，类似于您正在寻找的方法。但上层甚至根本不是程序化的。它不是关于内核层和应用程序层，而是关于将高级设计细化为组件、子组件，并在每个级别都有精确的规范。

规范可以是正式的(旨在在指定组件可用时自动验证)或不正式(旨在通过测试、代码审查或任何适当的方法进行验证)。坦率地说，在 2009 年，他们大部分时间都不是正式的，尽管趋势显然是朝着这个方向发展。

由于您在问题标签中提到了正式方法，因此您必须对该主题感兴趣，但目前它是一个小众市场。我尤其不明白如何将这些方法经济地应用于搜索引擎项目。无论如何，如果您想了解更多关于这些方法如何应用于它们工作的领域，这里有几个链接:

有人提到Z:Z是规范语言，你在其中细化和细化规范直到它们成为可执行的框架叫做B .您可能还对 Alloy 感兴趣.最后，现有编程语言有正式的规范语言。趋势始于JML用于 Java，并启发了许多其他人。我在一群为 C 定义了这样一种规范语言的人工作，ACSL .

关于architecture - 如何学习正式的自上而下的软件架构方法？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/1796481/

25

4

0

文章推荐： firefox - 用于测试移动设计的浏览器插件

文章推荐： tridion - ListView XML中的Managed ="0"是什么意思？

文章推荐： visual-studio - Visual Studio 2012 中的 EnvDTE 替代品

文章推荐： parallel-processing - CUDA内核如何启动？

Ruby 方法() 方法
我想了解 Ruby 方法 methods() 是如何工作的。我尝试使用“ruby 方法”在 Google 上搜索，但这不是我需要的。我也看过 ruby-doc.org，但我没有找到这种方法。
VBS教程：方法-Test 方法
Test 方法对指定的字符串执行一个正则表达式搜索，并返回一个 Boolean 值指示是否找到匹配的模式。 object.Test(string) 参数 object 必选项。总是一个
VBS教程：方法-Replace 方法
Replace 方法替换在正则表达式查找中找到的文本。 object.Replace(string1, string2) 参数 object 必选项。总是一个 RegExp 对象的名称。
VBS教程：方法-Raise 方法
Raise 方法生成运行时错误 object.Raise(number, source, description, helpfile, helpcontext) 参数 object 应为
VBS教程：方法-Execute 方法
Execute 方法对指定的字符串执行正则表达式搜索。 object.Execute(string) 参数 object 必选项。总是一个 RegExp 对象的名称。 string
VBS教程：方法-Clear 方法
Clear 方法清除 Err 对象的所有属性设置。 object.Clear object 应为 Err 对象的名称。说明在错误处理后，使用 Clear 显式地清除 Err 对象。此
VBS教程：方法-CopyFile 方法
CopyFile 方法将一个或多个文件从某位置复制到另一位置。 object.CopyFile source, destination[, overwrite] 参数 object 必选
VBS教程：方法-Copy 方法
Copy 方法将指定的文件或文件夹从某位置复制到另一位置。 object.Copy destination[, overwrite] 参数 object 必选项。应为 File 或 F
VBS教程：方法-Close 方法
Close 方法关闭打开的 TextStream 文件。 object.Close object 应为 TextStream 对象的名称。说明下面例子举例说明如何使用 Close 方
VBS教程：方法-BuildPath 方法
BuildPath 方法向现有路径后添加名称。 object.BuildPath(path, name) 参数 object 必选项。应为 FileSystemObject 对象的名称
VBS教程：方法-GetFolder 方法
GetFolder 方法返回与指定的路径中某文件夹相应的 Folder 对象。 object.GetFolder(folderspec) 参数 object 必选项。应为 FileSy
VBS教程：方法-GetFileName 方法
GetFileName 方法返回指定路径（不是指定驱动器路径部分）的最后一个文件或文件夹。 object.GetFileName(pathspec) 参数 object 必选项。应为
VBS教程：方法-GetFile 方法
GetFile 方法返回与指定路径中某文件相应的 File 对象。 object.GetFile(filespec) 参数 object 必选项。应为 FileSystemObject
VBS教程：方法-GetExtensionName 方法
GetExtensionName 方法返回字符串，该字符串包含路径最后一个组成部分的扩展名。 object.GetExtensionName(path) 参数 object 必选项。应
VBS教程：方法-GetDriveName 方法
GetDriveName 方法返回包含指定路径中驱动器名的字符串。 object.GetDriveName(path) 参数 object 必选项。应为 FileSystemObjec
VBS教程：方法-GetDrive 方法
GetDrive 方法返回与指定的路径中驱动器相对应的 Drive 对象。 object.GetDrive drivespec 参数 object 必选项。应为 FileSystemO
VBS教程：方法-GetBaseName 方法
GetBaseName 方法返回字符串，其中包含文件的基本名 (不带扩展名), 或者提供的路径说明中的文件夹。 object.GetBaseName(path) 参数 object 必
VBS教程：方法-GetAbsolutePathName 方法
GetAbsolutePathName 方法从提供的指定路径中返回完整且含义明确的路径。 object.GetAbsolutePathName(pathspec) 参数 object
VBS教程：方法-FolderExists 方法
FolderExists 方法如果指定的文件夹存在，则返回 True；否则返回 False。 object.FolderExists(folderspec) 参数 object 必选项
VBS教程：方法-FileExists 方法
FileExists 方法如果指定的文件存在返回 True；否则返回 False。 object.FileExists(filespec) 参数 object 必选项。应为 FileS

首页

博学

6Ren·AI

商城

architecture - 如何学习正式的自上而下的软件架构方法？