AADL (Architecture Analysis and Design Language) is a rich modeling language for embedded systems through several constructs such as component extension and refinement to promote modularity of declarative specifications. To ease the processing of AADL models by tools, OSATE, the reference tool for AADL, defines another model computed from declarative models which results in a single tree system where all information is readily available. Tools can efficiently use this readily available information to refine the system. An automated backward transformation (de-instantiation) from instance models to declarative models is missing to update the corresponding declarative specification with the refinements. Since the instance model is a `view’ of the declarative model, this is a view-update problem. We demonstrate the OSATE Declarative-Instance Mapping Tool (OSATE-DIM), to perform incremental de-instantiation in AADL. This tool significantly eases the development of AADL analysis and code generation tools.