Abstract
This contribution describes a number of challenges in the context of Model-Driven Development for systems and software. The context of the work are formal descriptions in terms of UML and OCL. One focus point is on making such formal models more approachable to standard developers.
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
Assmann, U., Bézivin, J., Paige, R., Rumpe, B., Schmidt, D. (eds.): Perspectives Workshop: Model Engineering of Complex Systems (MECS). Dagstuhl Seminar Proceedings 08331 (2008)
Dania, C., Clavel, M.: OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. In: International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, pp. 65–75. ACM (2016)
Doan, K.-H., Gogolla, M., Hilken, F.: Towards a developer-oriented process for verifying behavioral properties in UML and OCL models. In: Milazzo, P., Varró, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 207–220. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-50230-4_15
Gogolla, M.: Experimenting with multi-level models in a two-level modeling tool. In: Atkinson, C., Grossmann, G., Kühne, T., de Lara, J. (eds.) Proceedings of 2nd International Workshop on Multi-Level Modelling (MULTI 2015), vol. 1505, pp. 3–11. CEUR Proceedings (2015). http://ceur-ws.org/Vol-1505/
Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69, 27–34 (2007)
Gogolla, M., Hamann, L., Hilken, F., Kuhlmann, M., France, R.B.: From application models to filmstrip models: an approach toautomatic validation of model dynamics. In: Fill, H., Karagiannis, D., Reimer, U. (eds.) Proceedings of Modellierung (MODELLIERUNG 2014), GI, LNI, vol. 225, pp. 273–288 (2014)
Gogolla, M., Hilken, F.: Model validation and verification options in a contemporary UML and OCL analysis tool. In: Oberweis, A., Reussner, R. (eds.) Proceedings of Modellierung (MODELLIERUNG’2016), GI, LNI, vol. 254, pp. 203–218 (2016)
Gogolla, M., Hilken, F., Niemann, P., Wille, R.: Formulating model verification tasks prover-independently as UML diagrams. In: Anjorin, A., Espinoza, H. (eds.) ECMFA 2017. LNCS, vol. 10376, pp. 232–247. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61482-3_14
Grønmo, R., Møller-Pedersen, B.: From UML 2 sequence diagrams to state machines by graph transformation. J. Object Technol. 10(8), 1–22 (2011)
Hilken, F., Gogolla, M.: Verifying linear temporal logic properties in UML/OCL class diagrams using filmstripping. In: Kitsos, P. (ed.) Proceedings of Digital System Design (DSD 2016), pp. 708–713. IEEE (2016)
Hilken, F., Gogolla, M., Burgueno, L., Vallecillo, A.: Testing models and model transformations using classifying terms. Softw. Syst. Model. (2016). https://doi.org/10.1007/s10270-016-0568-3. Accessed 09 Dec 2016
Hilken, F., Hamann, L., Gogolla, M.: Transformation of UML and OCL models into filmstrip models. In: Di Ruscio, D., Varró, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 170–185. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08789-4_13
Hilken, F., Niemann, P., Gogolla, M., Wille, R.: From UML/OCL to base models: transformation concepts for generic validation and verification. In: Kolovos, D., Wimmer, M. (eds.) ICMT 2015. LNCS, vol. 9152, pp. 149–165. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21155-8_12
Kaufmann, P., Kronegger, M., Pfandler, A., Seidl, M., Widl, M.: A SAT-based debugging tool for state machines and sequence diagrams. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 21–40. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11245-9_2
Salay, R., Chechik, M., Famelis, M., Gorzny, J.: A methodology for verifying refinements of partial models. J. Object Technol. 14(3), 3:1–31 (2015)
Semeráth, O., Varró, D.: Graph Constraint evaluation over partial models by constraint rewriting. In: Guerra, E., van den Brand, M. (eds.) ICMT 2017. LNCS, vol. 10374, pp. 138–154. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-61473-1_10
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Gogolla, M., Hilken, F., Kästner, A. (2018). Some Narrow and Broad Challenges in MDD. In: Seidl, M., Zschaler, S. (eds) Software Technologies: Applications and Foundations. STAF 2017. Lecture Notes in Computer Science(), vol 10748. Springer, Cham. https://doi.org/10.1007/978-3-319-74730-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-74730-9_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74729-3
Online ISBN: 978-3-319-74730-9
eBook Packages: Computer ScienceComputer Science (R0)