拓扑建模在模型驱动的领域分析与软件开发中的应用
1. 软件开发中的语义描述与工程模型
在软件开发的问题域分析阶段，常使用非正式方法和语言。这是因为问题域本身界定不清晰，开发者需逐步探索，再将各部分整合为更全面正式的表示。
对于语义的形式化描述仍存疑问，软件开发中使用的图表需有精确甚至形式化的含义。若存在图表 D，其含义 M(D) 需用精确（理想情况是数学）的表述来描述，形成精确的规范 SD，M(SD) 则是对 M(D) 的抽象，SD 可视为图表 D 中隐藏的内部逻辑规范。
一个有用且有效的工程模型需满足五个关键特性：
-抽象性：是处理复杂系统功能和结构的关键手段。
-可理解性：使抽象模型更具表现力，减少理解模型所需的智力投入。
-准确性：能真实反映所建模系统的关键特征。
-预测性：可通过实验或形式化分析预测系统的隐含特性，数学模型在这方面表现更佳。
-低成本性：构建和分析成本应远低于所建模的系统。
统一建模语言（UML）的实践表明，Petri 网及其派生模型可作为一种工程模型，但存在使用限制。而拓扑功能模型（TFM）也是一种可行的工程模型，它具有功能和拓扑特性，功能特性包括因果关系、循环结构、输入和输出；拓扑特性包括连通性、闭包、邻域和连续映射。由于其具有正式的数学基础，TFM 完全满足工程模型的上述特性。
