Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
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)
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)
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 2017
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). https://doi.org/10.1007/978-3-319-63121-9_16
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)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language 2.0 Reference Manual. Addison-Wesley, Boston (2003)
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)
Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Boston (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Kästner, A., Gogolla, M., Doan, KH., Desai, N. (2018). Sketching a Model-Based Technique for Integrated Design and Run Time Description. In: Mazzara, M., Ober, I., Salaün, G. (eds) Software Technologies: Applications and Foundations. STAF 2018. Lecture Notes in Computer Science(), vol 11176. Springer, Cham. https://doi.org/10.1007/978-3-030-04771-9_39
Download citation
DOI: https://doi.org/10.1007/978-3-030-04771-9_39
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04770-2
Online ISBN: 978-3-030-04771-9
eBook Packages: Computer ScienceComputer Science (R0)