This document discusses model-driven architecture (MDA), an approach to system specification and interoperability based on the use of formal models. MDA uses platform-independent models that are translated to platform-specific models using formal rules. Core MDA standards like UML, MOF, XMI, and CWM define the infrastructure. The vision is for nearly seamless interoperability based on shared metadata and formal model translations, with a long-term goal of adaptive object models that can dynamically interpret models at runtime.