Skip to main content
SpringerLink
Log in
Book cover

Federation of International Conferences on Software Technologies: Applications and Foundations

STAF 2017: Software Technologies: Applications and Foundations pp 172–177Cite as

Some Narrow and Broad Challenges in MDD

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10748))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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

    Chapter  Google Scholar 

  4. 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/

  5. 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)

    Article  MathSciNet  MATH  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Google Scholar 

  8. 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

    Chapter  Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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

  12. 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

    Google Scholar 

  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

    Chapter  Google Scholar 

  14. 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

    Google Scholar 

  15. 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)

    Article  Google Scholar 

  16. 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

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bremen, Bremen, Germany

    Martin Gogolla, Frank Hilken & Andreas Kästner

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Hilken
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Kästner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Martin Gogolla .

Editor information

Editors and Affiliations

  1. Johannes Kepler University of Linz, Linz, Austria

    Martina Seidl

  2. Department of Informatics, King’s College London, London, United Kingdom

    Steffen Zschaler

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation