连载08:软件体系设计新方向:数学抽象、设计模式、系统架构与方案设计(简化版)(袁晓河著)

置换的规范和度量

 所以这里可以看出置换具有统一的“可替换”属性,在第二章描述的多重继承体、包含体、包容体、以及函数对象等多个结构中其置换都具有可互联的特征,比如多重继承就是将继承置换可以通过一条链进行下去,而包含体和包容体结构则是通过继承和组合两种置换轮流进行置换,而函数对象则通过函数和类重载两种置换方式形成,所以,可以看出这些置换都是互联并且是相容的,这就表示这些置换在逻辑意义上是统一的,能够通过设置其逻辑类型来统一进行描述。

如果我们能够将这些置换进行合理的统一,当规范了不同置换下的共同点,那么我们就可以计算这些置换,也就是能够对一个软件系统中的置换进行度量,比如在一个接口中,其每一个虚函数都表示一个置换点,将这些置换点进行统计计数,其值越大,就表示其接口的置换的度量值越大,其置换的能力就越大。此时置换的度量就是我们常常称为的“势”。

当然,当前的置换如何进行规范,以及如何进行度量目前我还想的不是太明白,只是觉得如果能够进行度量,那么软件设计会真正的进入到数学模型化的时代,能够使用“量”之间的关系来衡量一个软件系统是否合理,以及其他更多更好的指导软件系统开发的结论和衡量标准,这些都是让人神往的地方。

文章标签


猜你喜欢

转载自blog.51cto.com/13832308/2132744