Abstract-Band - Fakultät für Informatik, TU Wien - Technische ...

and their correctness. For this reason the need for executable models that can
be tested and validated arose. The de facto standard for modeling software
systems is OMGs Unified Modeling Language (UML). The problem is that UML
models are not executable because UML has no precise and completely
specified semantics. Because of this situation, ambiguities arise and models
can be interpreted and executed in different ways. OMG has recognized the
need for executable models in an unambiguous way and has developed a
new standard called Semantics of a Foundational Subset for Executable UML
Models or foundational UML (fUML) that was released in February 2011. This
standard defines the precise execution semantics of a subset of UML 2. The
research question of this thesis is as follows. Is the semantics definition of the
fUML standard sound and applicable for building tools that enable the
execution of UML activity diagrams? To answer this question, a prototype of a
model interpreter has been developed in this thesis that is able to execute
and debug UML activity diagrams according to the execution semantics
defined in the fUML standard. The experiences gained during the
implementation of the model interpreter prototype led to the following
conclusion. The fUML standard is applicable for implementing tools that support
the execution of UML activity diagrams, however, high efforts are necessary
to develop a user-friendly and efficiently usable tool supporting features
like the debugging of models or the execution of incomplete models.
Andrea Randak
ATL4pros: Introducing Native UML Profile Support into the ATLAS
Transformation Language
Studium: Masterstudium Wirtschaftsinformatik
Betreuerin: O.Univ.Prof. Dr. Gertrude Kappel
Whereas in the past models were only used for communication and
brainstorming purposes, this philosophy has shifted drastically. Model-Driven
Engineering (MDE) is the keyword that is guiding the current engineering
direction. Models are the key artifact and all development steps are aligned to
these models. The Unified Modeling Language (UML) was introduced by the
Object Management Group (OMG) to standardize and support different
modeling aspects like structural, behavioral, and architectural models. The
huge success of UML is not only due to the versatility of the language but
also because of the highly-developed language extension mechanism in form
of UML profiles. UML profiles may be defined for tailoring UML to specific
domains and technological platforms. Apart from modeling languages, the
technique of model transformation plays a crucial role for the model-driven
approach. Model transformations aim at transforming an existing source
model into some desired target model. The ATLAS Transformation Language
(ATL) is currently one of the most widely used transformation languages.
While modeling languages defined by metamodels are directly supported in
an ATL transformation, the use of UML profiles demands for a complex workaround.
It would be desirable, however, to simplify the handling of UML
13