• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2

Thumbnail
vts_6976_9733.pdf (1.704Mb)
236 Seiten
Veröffentlichung
2009-08-26
Authors
Kohlmeyer, Jens
Dissertation


Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Abstract
Software development should proceed continuously from requirements through specification to implementation, using an integrated formalism, method and tool set. A state-of-the-art proposal aiming at such an integrated approach is to use Model Driven Software Development (MDSD) as the method and the Unified Modelling Language (UML) as the formalism. While the UML can be profitably used to describe requirements and specifications, one of its shortcomings is the lack of a precise semantics. This has been addressed in recent years by research formalizing the semantics of state diagrams, activity diagrams, sequence diagrams and use case diagrams. The frameworks used include Abstract State Machines, graph transformations and basic formalisms such as relations and traces. Hence the current state is that formal semantics have been separately defined for the various kinds of diagrams specifying behaviour. What is notably missing, however, is a semantics describing their combined use. In this thesis we define a formal semantics of the language units common behaviours, actions, activities, state machines, interactions and use cases of UML 2 using Abstract State Machines (ASMs). The behaviour of software models can henceforth be specified by composing activity, state and sequence diagrams, choosing the most adequate formalism at each level of abstraction. We also give a formal semantics of communication between these diagrams. We thus achieve an integrated semantics of UML behaviour.
Date created
2009
Subject headings
[GND]: Formale Semantik | Modellierung | UML 2
[LCSH]: Computer software; Development | Semantics | UML: Computer science
[DDC subject group]: DDC 004 / Data processing & computer science
License
Standard (Fassung vom 01.10.2008)
https://oparu.uni-ulm.de/xmlui/license_v2

Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-1067

Kohlmeyer, Jens (2009): Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. Dissertation. http://dx.doi.org/10.18725/OPARU-1067
Citation formatter >



Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement