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:
Artificial Intelligence Technology in Intelligent Health Informatics Kapitel lesen Erstes Kapitel lesen

2019 | OriginalPaper | Buchkapitel

15 Interpretation Problems in the Semantics of UML 2.5.1 Activities

verfasst von : Karolina Rączkowska, Anita Walkowiak-Gall

Erschienen in: Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

The semantics of UML presented in the OMG standard is defined informally in plain language. The lack of formal semantics brings ambiguity problems, crucial especially in case of automation of system development process and design of tools supporting the process (that implement validation of the systems’ specification, model-checking, transformations, or code generation). The aim of the paper is to discuss a list of interpretation problems related to part of UML, i.e. Activity. Authors indicate inconsistencies and problems caused by a lack of information in the UML specification, which were identified by them during an attempt of formalization of the Activity semantics.

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 Applying Basket Analysis and RFM Tool to Analyze of Customer Logs
Nächstes Kapitel Enhancements of Detecting Gang-of-Four Design Patterns in C# Programs
Literatur
1.
Bauerdick, H., Gogolla, M., Gutsche, F.: Detecting OCL traps in the UML 2.0 superstructure: an experience report. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. Lecture Notes in Computer Science, vol. 3273, pp. 188–196. Springer, Heidelberg (2004)
2.
Fecher, H., Schönborn, J., Kyas, M., de Roever, W.-P.: 29 new unclarities in the semantics of UML 2.0 state machines. In: Lau, K.K., Banach, R. (eds.) Formal Methods and Software Engineering. ICFEM 2005. Lecture Notes in Computer Science, vol. 3785. Springer, Heidelberg (2005)
3.
Fuentes, J.M., Quintana, V., Llorens, J., Génova, G., Prieto-Díaz, R.: Errors in the UML metamodel? ACM SIGSOFT Softw. Eng. Notes 28(6) (2003)
4.
Glinz, M.: Problems and deficiencies of UML as a requirements specification language. In Proceedings of the 10th International Workshop on Software Specification and Design, IWSSD 2000, pp. 11–22, IEEE Computer Society, Washington, DC (2000)
5.
6.
7.
8.
9.
10.
Rączkowska, K.: Operational semantics of activities. MSc thesis, Wroclaw University of Science and Technology (2017)
11.
Sarstedt, S.: Overcoming the limitations of signal handling when simulating UML 2 activity charts. In: Proceedings of the 2005 European Simulation and Modelling Conference (ESM 2005), pp. 61–65 (2005)
12.
Sarstedt, S.: Semantic foundation and tool support for model-driven development with UML 2 activity diagrams. Ph.D. thesis, University of Ulm (2006)
13.
Wilke, C., Demuth, B.: UML is still inconsistent! How to improve OCL constraints in the UML 2.3 superstructure. In: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011). Electronic Communications of the EASST, vol. 44 (2011)
Metadaten
Titel
15 Interpretation Problems in the Semantics of UML 2.5.1 Activities
verfasst von
Karolina Rączkowska
Anita Walkowiak-Gall
Copyright-Jahr
2019
Buch
Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018

Print ISBN: 978-3-319-99980-7

Electronic ISBN: 978-3-319-99981-4

Copyright-Jahr: 2019

DOI
https://doi.org/10.1007/978-3-319-99981-4_25