问是否有更正式的文件系统定义？

EN

不，文件系统没有更正式的定义，因为上面的定义完全描述了“文件管理系统”。但是，对于您的各种要点，有一些条件。

根据上下文的不同，磁盘上的实际物理位结构被命名为“块”、“节点”或“物理格式”。“块”标识磁盘寻址的最小单位(实际寻址格式有不同的名称)，如果“块”包含文件导航数据，则“节点”标识对比特的预期解释，“物理格式”标识与整个文件系统设计相关的预期位(这个术语很少使用)。

在文件系统上运行的内核代码通常称为“驱动程序”。它读取块，并根据整个文件系统结构解释其中的位。

使用户程序能够使用文件系统的内核API通常是“文件系统接口”，它可能公开或不公开文件系统实现的细节(取决于操作系统、可能的文件系统抽象层等)。

文件系统的心理模型是文件系统的“模型”或“设计”

规范是描述“模型”或“设计”的书面文档。它通常包含有助于澄清实现是否符合设计的细节。不符合设计被认为是规范的不正确实现。规范可能包括所需的数据结构、特定api调用所需的结果或任何其他需求。