Skip navigation
SuUB logo
DSpace logo

  • Home
  • Institutions
    • University of Bremen
    • City University of Applied Sciences
    • Bremerhaven University of Applied Sciences
  • Sign on to:
    • My Media
    • Receive email
      updates
    • Edit Account details

Citation link: http://nbn-resolving.de/urn:nbn:de:gbv:46-00104250-10
00104250-1.pdf
OpenAccess
 
copyright

On Formalizing UML and OCL Features and Their Employment to Runtime Verification


File Description SizeFormat
00104250-1.pdf6.52 MBAdobe PDFView/Open
Other Titles: Zur Formalisierung von UML und OCL Elementen und deren Anwendung bei der Laufzeitverifikation
Authors: Hamann, Lars 
Supervisor: Gogolla, Martin
1. Expert: Gogolla, Martin
2. Expert: Kreowski, Hans-Jörg
Abstract: 
Model-driven development (MDD) has been identified as a promising approach for developing software. By using abstract models of a system and by generating parts of the system out of these models, one tries to improve the efficiency of the overall development process and the quality of the resulting software. In the context of MDD the Unified Modeling Language (UML) and its related textual Object Constraint Language (OCL) have gained a high recognition. To be able to generate systems of high quality and to allow for interoperability between modeling tools, a well-defined semantics for these languages is required. This thesis summarizes published work in this context that employs an endogenous metamodeling approach to define the semantics of newer elements of the UML. While the covered elements are exhaustively used to define relations between elements of the metamodel of the UML, the UML specification leaves out a precise definition of their semantics. Our proposed approach uses models, not only to define the abstract syntax, but also to define the semantics of UML. By using UML and OCL for this, existing modeling tools can be used to validate the definition. The second part of this thesis covers work on the usage of UML and OCL models for runtime verification. It is shown how models can still be used at the end of a software development process, i. e., after an implementation has manually been added to generated parts, even though they are not used as central parts of the development process. This work also influenced the integration of protocol state machines into a modeling tool, which lead to publications about the runtime semantics of state machines and the capabilities to declaratively specify behavior using state machines.
Keywords: UML, OCL, Modeling, Runtime Verification, Semantics, Protocol State Machines
Issue Date: 25-Feb-2015
Type: Dissertation
URN: urn:nbn:de:gbv:46-00104250-10
Institution: Universität Bremen 
Faculty: FB3 Mathematik/Informatik 
Appears in Collections:Dissertationen

  

Page view(s)

60
checked on Jan 21, 2021

Download(s)

16
checked on Jan 21, 2021

Google ScholarTM

Check


Items in Media are protected by copyright, with all rights reserved, unless otherwise indicated.

Legal notice -Feedback -Data privacy
Media - Extension maintained and optimized by Logo 4SCIENCE