面向模型的组合理论的研究.pdfVIP

摘 要 随着计算机科学与软件工程的飞速发展，人们越来越强烈的意识到形式化模 型对软件系统的分析与设计的重要作用。在当今软件系统的设计与开发中，人们 普遍运用多种建模方法和工具对软件系统本身及其应用场景建立模型，并在这些 模型的基础上对系统进行分析和改进。对于一个复杂的软件系统而言，一个使设 计者和开发者都能正确认识和分析该系统的模型在软件开发周期中显得尤其重 要。 一个涵盖系统所有要素的模型往往不易获得。系统设计者通常是先将系统按 照一定的特征划分成很多部分，再分别对这些部分采用适当的建模方法和工具建 立相应的模型。该研究思路很好的使用了分而治之的策略，有效的降低了处理系 统具体特征的复杂度，使针对某个特征的分析和推理变得方便。然而，由于针对 各个系统特征的建模方法都是独立发展起来的，往往依赖于不同的数学基础，这 使得我们在面对使用不同建模方式建立的模型时，很难将他们的信息进行共享和 协调，从而得到我们所期望的系统的整体视图。 为了解决这个问题，我们需要一个精确而系统的理论框架来描述模型之间的 关系，支持模型之间信息的共享和交互，实现模型的融合与协调。 本文旨在提出一个针对软件系统的模型组合理论，使得模型之间的各种组合 模式都能够在该理