Skip to main content
SpringerLink
Log in

View to view transformations in domain specific modeling

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Broy, M., Seamless method- and model-based software and systems engineering, The Future of Software Engineering, Nanz, S., Ed., Berlin: Springer, 2010, pp. 33–47.

    Google Scholar 

  2. Kelly, S. and Tolvanen, J.-P., Domain-Specific Modeling: Enabling Full Code Generation, New York: Wiley, 2008.

    Book  Google Scholar 

  3. Koznov, D. and Ol’khovich, L., Visual project languages, Sistemnoe programmirovanie (System Programming), Terekhov, A.N. and Bulychev, D.Yu., Eds., St. Petersburg: Izd. SPbGU, 2004, pp. 148–168.

    Google Scholar 

  4. Pavlinov, A., Koznov, D., Peregudov, A., Bugaichenko, D., Kazakova, A., Chernyatchik, R., Fesenko, T., and Ivanov, A., About development tools of domainspecific visual languages, Sistemnoe programmirovanie (System Programming), Terekhov, A.N. and Bulychev, D.Yu., Eds., St. Petersburg: Izd. SPbGU, 2006, no. 2, pp. 121–147.

    Google Scholar 

  5. MetaCase tools, MetaEdit+. http://www.metacase.com.

  6. Microsoft Visual Studio Visualization and Modeling SDK. http://msdn.microsoft.com/en-us/library/vstudio/bb126259.aspx.

  7. Eclipse Modeling Project. http://www.eclipse.org/modeling.

  8. Sorokin, A. and Koznov, D., Review of the Eclipse Modeling Project, Sistemnoe programmirovanie (System Programming), Terekhov, A.N. and Bulychev, D.Yu., Eds., St. Petersburg: Izd. SPbGU, 2010, no. 5, pp. 6–31.

    Google Scholar 

  9. Microsoft Visio. http://office.microsoft.com/ru-ru/visio.

  10. Koznov, D.V., Ivanov, A.N., Mishkis, A.I., and Zalevskii, Ya.I., Support of conceptual modeling when developing visual languages with the use of Microsoft DSL TOOLS, Sistemnoe programmirovanie (System Programming), Terekhov, A.N. and Bulychev, D.Yu., Eds., St. Petersburg: Izd. SPbGU, 2009, no. 4, pp. 104–126.

    Google Scholar 

  11. Terekhov, A.N., Bryksin, T.A., Litvinov, Yu.V., Smirnov, K.K., Nikandrov, G.A., Ivanov, V.Yu., and Takun, E.I., Architecture of the QReal visual modeling environment, Sistemnoe programmirovanie, 2009, vol. 4, pp. 172–197.

    Google Scholar 

  12. Osechkina, M.S., Bryksin, T.A., Litvinov, Yu.V., and Kirilenko, Ya.A., Support of mouse gestures in Meta-CASE systems, Sistemnoe programmirovanie, 2010, vol. 5, no. 1, pp. 52–75.

    Google Scholar 

  13. Pavlinov, A.A., Koznov, D.V., Peregudov, A.F., Bugaichenko, D.Yu., Kazakova, A.S., Chernyatchik, R.I., and Ivanov, A.N., About development tools of domainspecific visual languages, Sistemnoe programmirovanie, 2006, vol. 2, no. 1, pp. 116–141.

    Google Scholar 

  14. Polyakov, V.A. and Bryksin, T.A., Approaches for definition of diagram interpretation semantics in the framework of the DSM approach, Sistemnoe programmirovanie, 2012, vol. 7, pp. 187–216.

    Google Scholar 

  15. Grigoriev, L. and Kudryavtsev, D., ORG-Master: Combining classifications, matrices and diagrams in the Enterprise architecture modeling tool, in Communications in Computer and Information Science, 2013, pp. 250–257.

    Google Scholar 

  16. Kudryavtsev, D. and Gavrilova, T., Diagrammatic knowledge modeling for managers: Ontology-based approach, Proc. Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), 2011, pp. 386–389.

    Google Scholar 

  17. Sendall, S. and Kozaczynski, W., Model transformation: The heart and soul of model driven software development, IEEE Software, 2003, pp. 42–45.

    Google Scholar 

  18. Koch, N., Classification of model transformation techniques used in UML-based Web engineering, Software, IET, 2007, vol. 1, no. 3, pp. 98–111.

    Article  Google Scholar 

  19. Halpin, T.A. and Proper, H.A., Database schema transformation and optimization, Proc. 14th Int. Conf. Object-Oriented and Entity-Relationship Modeling (OOER), Gold Coast, 1995, pp. 191–203.

    Chapter  Google Scholar 

  20. MOF 2.0 Query/Views/Transformations RFP (revised), OMG Document ad/2002-04-10, Object Management Group, 2002.

  21. The Eclipse Foundation, Atlas Transformation Language (ATL). http://wiki.eclipse.org/ATL.

  22. Czarnecki, K. and Helsen, S., Feature-based survey of model transformation approaches, IBM Syst. J., 2006, vol. 45, no. 3, pp. 621–645.

    Article  Google Scholar 

  23. Biehl, M., Literature Study on Model Transformations, Stockholm: Royal Institute of Technology, 2010.

    Google Scholar 

  24. Koznov, D.V., About specification of diagram transformations in graphical editors, Vestn. S.-Peterb. Univ., 2011, vol. 10, no. 3, pp. 100–111.

    Google Scholar 

  25. The Kiel University, KIELER Eclipse project. http://www.informatik.uni-kiel.de/rtsys/kieler.

  26. Kruchten, P., The 4+1 view model of architecture, IEEE Software, 1995, vol. 12, no. 6, pp. 42–50.

    Article  Google Scholar 

  27. Whittle, J., Transformations and software languages: automating transformations in UML, Proc. 5th Int. Conf. on the Unified Modeling Language, 2002.

    Google Scholar 

  28. Fowler, M., Refactoring: Improving the Design of Existing Code, Addison Wesley, 1999.

    Google Scholar 

  29. Egyed, A., Compositional and relational reasoning during class abstraction, Proc. 6th Int. Conf. on the Unified Modeling Language, 2003.

    Google Scholar 

  30. Agrawai, A., Karsai, G., and Shi, F., A UML-based graph transformation approach for implementing domain-specific model transformations, Int. J. Software Systems Modeling, 2003.

    Google Scholar 

  31. Sendall, S., Perroin, G., Guelfi, N., and Biberstein, O., Supporting model-to-model transformations: The VMT approach, Workshop on Model Driven Architecture: Foundations and Applications, Holland, 2003.

    Google Scholar 

  32. Egyed, A., Instant and incremental transformation of models, Proc. 19th IEEE Int. Conf. on Automated Software Engineering (ASE), pp. 362–365.

  33. Dong, J. and Yang, S., QVT based model transformation for design pattern evolutions, Proc. 10th Int. Conf. on Internet and Multimedia Systems and Applications (IMSA), 2006, pp. 16–22.

    Google Scholar 

  34. Koznov, D.V. and Romanovsky, K.Yu., DocLine: A method for software product lines documentation development, Program. Comput. Software, 2008, vol. 34, no. 4, pp. 216–224.

    Article  MATH  Google Scholar 

  35. Koznov, D.V. and Romanovsky, K.Yu., Automated refactoring of software product lines documentation, Sistemnoe programmirovanie (System Programming), Terekhov, A.N. and Bulychev, D.Yu., Eds., St. Petersburg: Izd. SPbGU, 2009, no. 4, pp. 127–149.

    Google Scholar 

  36. Fuhrmann, H. and von Hanxleden, R., Taming graphical modeling, Proc. 13th Int. Conf. on Model Driven Engineering Languages and Systems: Part I, Oslo, 2010, pp. 196–210.

    Chapter  Google Scholar 

  37. Jouault, F. and Kurtev, I., Transforming models with ATL, Proc. Model Transformations in Practice Workshop (MTIP) at MoDELS Conference, Montego Bay, 2005.

    Google Scholar 

  38. Jouault, F. and Kurtev, I., On the architectural alignment of ATL and QVT, Proc. ACM Symposium on Applied Computing (SAC), (New York, 2006) New York: ACM, 2006, pp. 1188–1195.

    Google Scholar 

  39. Shatalin, A. and Tikhomirov, A., Graphical modeling framework architecture overview, Proc. Eclipse Modeling Symposium, 2006.

    Google Scholar 

  40. Sun, Y., Gray, J., Langer, P., Wimmer, M., and White, J., A WYSIWYG approach for configuring model layout using model transformations, Proc. 10th Workshop on Domain-Specific Modeling, Reno, 2010.

    Google Scholar 

  41. Fowler, M., UML Distilled: A Brief Guide to the Standard Object Modeling Language, Reading: Addison-Wesley, 2003.

    Google Scholar 

  42. Chae, H.S., Yeom, K., and Kim, T.Y., Specifying and validating structural constraints of analysis class models using OCL, Information Software Technology, 2008, vol. 50, no. 5, pp. 436–448.

    Article  Google Scholar 

  43. Kim, T.Y., Kim, Y.K., and Chae, H.S., Towards improving OCL-based descriptions of software metrics, Proc. 33rd Annual IEEE International Computer Software and Applications Conference, (COMPSAC), 2009, pp. 172–179.

    Google Scholar 

  44. Bull, R.I. and Favre, J.-M., Visualization in the context of model driven engineering, Proc. MoDELS Workshop on Model Driven Development of Advanced User Interfaces, Montego Bay, 2005.

    Google Scholar 

  45. Semenov, V.A., Alekseeva, E.V., Morozov, S.V., and Tarlapan, O.A., Composite approach for constructing visualization applications, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2004, vol. 5, pp. 175–214.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. St. Petersburg State University, Universitetskii pr. 28, St. Petersburg, 198504, Russia

    D. V. Koznov, E. V. Larchik & A. N. Terekhov

Authors
  1. D. V. Koznov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. V. Larchik
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. N. Terekhov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to D. V. Koznov.

Additional information

Original Russian Text © D.V. Koznov, E.V. Larchik, A.N. Terekhov, 2015, published in Programmirovanie, 2015, Vol. 41, No. 4.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Koznov, D.V., Larchik, E.V. & Terekhov, A.N. View to view transformations in domain specific modeling. Program Comput Soft 41, 208–214 (2015). https://doi.org/10.1134/S0361768815040039

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768815040039

Keywords

Search

Navigation