View to view transformations in domain specific modeling.

Model-based software development tools should provide user-friendly navigation services to allow users browsing (show/hide and zoom in/zoom out) various model details in diagrams. This functionality is crucial in development of large-scale models. In this paper, we present an approach for formal definition of navigation services based on transformations. We introduce view-to-view transformations applying ATL, and present formal definition of navigation service. We also present a prototype implementing the approach. The prototype adds facilities of navigation servicers design to GMF and uses KIELLER toolset for layout of transformation results. A graphical editor for UML class diagrams with 12 navigation services, which have been specified using the approach, is presented. [ABSTRACT FROM AUTHOR]