论文部分内容阅读
基于软件体系结构模型的形式化描述，从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述，并建立了相应的判定标准，同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式，对模型转换的语义特性保持进行验证，克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。