MDA是Model Driven Architecture 的缩写，也叫模型驱动架构，起源于分离系统规约和平台实现的思想，MDA的主要目标是：Portability（可移植性）,Interoperability（互通性）,Reusability（可重用性）...

本规范总则的示例采用以下的术语描述： ★ 规则：编程时强制必须遵守的原则。 ★ 建议：编程时必须加以考虑的原则. ★ 格式：对此规范格式的说明。 ★ 说明：对此规则或建议进行必要的解释。 ★ 示例：对此规则或建议从正、反两...

1.正确性(Correctness):系统满足规格说明和用户目标的程度，即在预定环境下能正确地完成预期功能的程度;