Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Synthesis of Social Media Messages and Tweets as Feedback Medium in Introductory Programming Kapitel lesen Erstes Kapitel lesen

2020 | OriginalPaper | Buchkapitel

Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance Finding

verfasst von : Violet Kafa, Marcellus Siegburg, Janis Voigtländer

Erschienen in: ICT Education

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The Unified Modelling Language (UML) is the standard for designing and documenting object-oriented software systems. Its most frequent use is for static modelling in the form of class diagrams. A correlated concept is that of object diagrams. An object diagram may or may not adhere to a given class diagram, and the understanding of this connection is key to correctly using class diagrams in practice. We present an approach for automatic generation of verified, non-trivial, conceptually relevant examples and counterexamples of class/object diagram combinations, aimed at providing exercise tasks in a university course setting. The underlying technique is model instance finding using the Alloy specification language and analyser. We provide an implementation of our approach in an e-learning system.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Modernizing the Introduction to Software Engineering Course
Nächstes Kapitel A Connectivist View of a Research Methodology Semantic Wiki
Fußnoten
1
That involves variants of the stuff shown and elided in Fig. 7, e.g., definitions https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-35629-3_8/MediaObjects/492320_1_En_8_Figl_HTML.gif etc., while for the predicate https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-35629-3_8/MediaObjects/492320_1_En_8_Figm_HTML.gif considered in a moment, separate variants https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-35629-3_8/MediaObjects/492320_1_En_8_Fign_HTML.gif etc. would be produced.
 
2
For example, can you spot which of the five ODs in Fig. 1 do not conform to either of the two CDs given there?
 
3
By happenstance, they could also be identical, but that would be detected and rejected in a later step.
 
4
This is also the step where we would reject the case that CD1 and CD2 happened to be identical. For if they were, then the first two buckets, https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-35629-3_8/MediaObjects/492320_1_En_8_Figab_HTML.gif as well as https://static-content.springer.com/image/chp%3A10.1007%2F978-3-030-35629-3_8/MediaObjects/492320_1_En_8_Figac_HTML.gif , would be empty, and it would be impossible to choose five ODs from the remaining two buckets while not taking more than two from one bucket.
 
Literatur
1.
Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69–86 (2010)CrossRef
2.
Booch, G.: The Unified Modeling Language User Guide. Pearson Education India (2005)
3.
Ehrig, K., Küster, J.M., Taentzer, G.: Generating instance models from meta models. Softw. Syst. Model. 8(4), 479–500 (2009)CrossRef
4.
Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley Professional, Reading (2004)
5.
Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. (TOSEM) 11(2), 256–290 (2002)CrossRef
6.
Jackson, D.: Software Abstractions – Logic, Language, and Analysis, Revised edn. MIT Press, Cambridge (2011)
7.
Kautz, O., Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: a translation of class diagrams to Alloy. Technical report AIB-2017-06, RWTH Aachen University (2017)
8.
9.
Massoni, T., Gheyi, R., Borba, P.: A UML class diagram analyzer. In: Proceedings of Workshop on Critical Systems Development with UML, pp. 143–153 (2004)
10.
Object Management Group: Unified Modeling Language (OMG UML), Version 2.5.1, December 2017
11.
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Pearson Higher Education (2004)
12.
13.
Waldmann, J.: Generating and grading exercises on algorithms and data structures automatically. In: Proceedings of Automatische Bewertung von Programmieraufgaben. CEUR Workshop Proceedings, vol. 2015. CEUR-WS.org (2017)
Metadaten
Titel
Exercise Task Generation for UML Class/Object Diagrams, via Alloy Model Instance Finding
verfasst von
Violet Kafa
Marcellus Siegburg
Janis Voigtländer
Copyright-Jahr
2020
Buch
ICT Education

Print ISBN: 978-3-030-35628-6

Electronic ISBN: 978-3-030-35629-3

Copyright-Jahr: 2020

DOI
https://doi.org/10.1007/978-3-030-35629-3_8