20、方法片段质量与粒度理论解析

方法片段质量与粒度理论解析

1. 方法片段面临的问题

方法片段的可重用性可能受限，并且片段对的规范之间可能存在部分重叠。同时，来自基于不同粒度元模型构建的存储库的片段，会因抽象级别不同而面临互操作性和可组合性问题。这些粒度问题与软件工程方法（SME）密切相关，如方法构建、片段存储、片段互操作性和可组合性等方面。评估方法片段的质量以及由这些片段构建的任何方法的质量，是一个具有战略意义的长期研究目标。

2. 粒度理论

• 抽象的定义

  • 抽象可以定义为两个“系统”之间的映射，每个系统可以用相同或不同的语言描述。正式表达为：
  • (f : P_1 \to P_2) 是一对形式系统 ((P_1, P_2))，分别使用语言 (\Lambda_1) 和 (\Lambda_2)，以及一个有效的全函数 (f_{\Lambda} : \Lambda_1 \to \Lambda_2)（Giunchiglia 和 Walsh 1992）。
  • 更简单的表达是，给定两种语言 (L_0) 和 (L_1)，(abs : L_0 \to L_1) 是一个抽象（Ghidini 和 Giunchiglia 2004），其中 (abs) 是抽象函数，(L_0) 是基础语言，(L_1) 是抽象语言。
  • 粒度抽象的正式定义如下：
  • 一个抽象 (F) 是粒度抽象，当且仅当：
    • (F) 将 (\Lambda) 中的单个常量映射到它们在 (\Lambda) 中不可区分关系 (\sim) 下的等