图 1，UML 是OMG公司 的模型驱动体系结构的基础。与平台无关的模型包含系统行为，而特定平台模型根据特定平台映射规则和与平台无关模型的标记，包含实现细则。
MDA（模型驱动的体系结构）开发工具使系统行为细节的建模与实现方法细节的建模无关，具体做法是将这些模型分割成与UML 平台无关的模型和特定平台模型（图 1）。与平台无关模型不包括技术实现细节，侧重于描述系统的功能和行为。MDA 开发工具应用映射模板来产生特定平台模型。为了实现这种转换，您必须精确调节与平台无关的模型，并对它做注释，以便加进语义学和规则，用以生成代码。MDA 开发工具根据这些模型产生机器生成的代码，您可以对照行为模型来测试已生成代码的正确性。如果您改变行为模型或实现模型，则重新生成的代码始终会利用这些变化。
只要对较低层次实现细节的生成进行抽象和自动化，这些工具就能提供一种使设计能在各种目标平台之间移植，并使设计块能被反复使用的机制。然而，抽象只能实现移植机制。例如，如果目标处理器没有代码生成器，您就必须人工移植设计实现。除了这些益处之外，随着更高层次的工具在目标级变得更成熟、更便于使用、更有效，能够维持既有设计细节并实质性参与嵌入式设计的人数会相应增多（图 2）。拥有技巧和知识以便使用较低级别工具进行设计的人现在要比能使用较高级工具进行设计的人少。
图 2，当开发工具充分支持更高层次的抽象时，熟练的设计人员的数量相应增加。
没有免费的午餐
高级开发工具带来很多好处，但那些首先上市、提供更强大功能、程序包更小、功耗更低、成本更低的嵌入式设计，常常把平台的资源推向新的极限。根据 eClips 公司提供的电子邮件警告订阅请求和网页搜索流量数据显示，每个月排最前的三个软件关键字肯定是 assembly（汇编）、C 和 C++。assembly 每个月的排名都这么前可能令人惊讶，除非您认为编译器和代码生成器无法适应所有新颖的专用数据和资源优化。
使您能够尽快完成设计的开发工具功能落后于创新技术的首次使用。编译器和代码生成器等开发工具包含了创造这些工具的编程人员的多年经验，而输入模型或源代码语言，即使具有专有的扩展功能，也无法包含每种创新或新颖数据的表示和资源使用的规范。除非某种功能具有得到证明的价值并以某种类似形式存在，否则工具开发商不太可能增加并改进这一功能。当编译器或代码生成器包含某种自动化功能或启动功能时，它才会使以前成为某人标新立异手段的那种功能变成商品。
设计师为使最新一代产品与众不同，寄希望于产品功能、大小、功耗和成本组合足够复杂，成为竞争对手的障碍。当高级开发工具包含各种简化复杂性的抽象和自动化工具时，您必须增加复杂性，使之远远超前于开发工具抽象的产品，才能维持您的竞争地位。
种种苦恼最终促使设计师在其设计得与众不同的部分采用更高层次的抽象。如果您采用的抽象很糟糕，那么，尽管您做出了了不起的努力，您得到的结果很可能还是很糟糕，因此重要的是您在使用不恰当或低效率的抽象时，应该尽快认识到这一点。使用了不恰当的抽象，会有种种先兆，其中包括：要求您想出临时解决办法来应付抽象中的缺陷；无法在不显著影响其它层次的情况下改进分层抽象的每一个层次；组件之间缺乏足够接口；必须重复多个组件之间的结构或操作。如果采用一种更高层次的抽象并没有带来工作效率的提高，您就不可以采用它。
文章来源于领测软件测试网 https://www.ltesting.net/