TY - JOUR

T1 - View to view transformations in domain specific modeling

AU - Koznov, D.V.

AU - Larchik, E.V.

AU - Terekhov, A.N.

PY - 2015

Y1 - 2015

N2 - © 2015, Pleiades Publishing, Ltd.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.

AB - © 2015, Pleiades Publishing, Ltd.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.

U2 - 10.1134/S0361768815040039

DO - 10.1134/S0361768815040039

M3 - Article

SP - 208

EP - 214

JO - Programming and Computer Software

JF - Programming and Computer Software

SN - 0361-7688

IS - 4

ER -