Sketching a Model-Based Technique for Integrated Design and Run Time Description

Short Paper - Tool Demonstration
  • Andreas Kästner
  • Martin Gogolla
  • Khanh-Hoang Doan
  • Nisha Desai
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11176)


The paper sketches a UML- and OCL-based technique for the coherent description of design time and run time aspects of models. The basic idea is to connect a design model and a run time model with a correspondence model. We show two simple examples, one for structural modeling and one for behavioral modeling, that explain the underlying principles. As all three models are formulated in the same language, UML and OCL, one can reason about the single models and their relationships in a comprehensive way.


  1. 1.
    Borgida, A., Dalpiaz, F., Horkoff, J., Mylopoulos, J.: Requirements models for design- and runtime. In: Atlee, J.M., et al. (eds.) Proceedings of 5th International Workshop on Modeling in Software Engineering (MiSE 2013), pp. 62–68. IEEE Computer Society (2013)Google Scholar
  2. 2.
    Brambilla, M., Eramo, R., Pierantonio, A., Rosa, G., Umuhoza, E.: Enhancing flexibility in user interaction modeling by adding design uncertainty to IFML. In: Burgueño, L., et al. (eds.) Proceedings of MODELS 2017 Satellite Events, CEUR, vol. 2019, pp. 435–440 (2017)Google Scholar
  3. 3.
    Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. J. Sci. Comput. Program. 69, 27–34 (2007)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Gogolla, M., Hilken, F., Doan, K.H.: Achieving model quality through model validation, verification and exploration. J. Comput. Lang., Syst. Struct. (2017). Online. 02 Dec 2017Google Scholar
  5. 5.
    Havelund, K., Reger, G.: Runtime verification logics a language design perspective. In: Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools. LNCS, vol. 10460, pp. 310–338. Springer, Cham (2017). Scholar
  6. 6.
    Parra, C.A., Blanc, X., Cleve, A., Duchien, L.: Unifying design and runtime software adaptation using aspect models. Sci. Comput. Program. 76(12), 1247–1260 (2011)CrossRefGoogle Scholar
  7. 7.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language 2.0 Reference Manual. Addison-Wesley, Boston (2003)Google Scholar
  8. 8.
    Szvetits, M., Zdun, U.: Controlled experiment on the comprehension of runtime phenomena using models created at design time. In: Baudry, B., Combemale, B. (eds.) Proceedings of ACM/IEEE 19th International Conference on MODELS, pp. 151–161. ACM (2016)Google Scholar
  9. 9.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Boston (2003)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Andreas Kästner
    • 1
  • Martin Gogolla
    • 1
  • Khanh-Hoang Doan
    • 1
  • Nisha Desai
    • 1
  1. 1.Computer Science DepartmentUniversity of BremenBremenGermany

Personalised recommendations