论文部分内容阅读
本文利用形式化方法构建可跟踪的公共核心资产模型,它具有以下几个方面的特点:一是形式化建模使得公共核心资产中的构件关系具有精确的语义;二是形式化和层次化的体系结构模型可以准确、无缝地记录从领域分析到领域实施各个开发阶段的决策信息;三是形式化建模有利于开发者在体系结构设计时进行验证.高层体系结构为低层体系结构提供上下文,可以更好地支持多个开发小组的并行开发.