Survey of existing notations and tools for state machines
An open seminar thesis to be supervised by Joanna Chimiak-Opoka.
Survey of existing notations and tools to express and manipulate state machines. For notations their expressiveness, manipulability, and tool support should be considered. Additionally transformation between different notations with special focus on transformation to and from UML state charts. Another aspect that should be considered is timing, it should be investigated which notations are possible to use in the context of real time systems, time driven events and precedence dependencies. Regarding tools their availability, state of development, possibilities (reasoning, simulation) should be included in the survey.
OCL library: abstract syntax
OCL expressions depend on an underlying metamodel they have to be modularised into libraries specific to this metamodel (each library has a corresponding metamodel based on MOF or a MOF instance). The metamodel specifies the scope of application of the library, as the expressions have to be evaluated on instances of the metamodel. For further specialisation and thus higher reuse possibility particular parts of the metamodel can be considered. For example, if we consider UML as a metamodel we can split expressions over libraries specific to particular types of diagram, e.g. class diagrams or activity diagrams. Once the libraries are split according to selected criteria an import3 mechanism is required to enable reuse of OCL expressions. (more…)
Testing of UML/OCL specifications with test sheets
Supervisor: Joanna Chimiak-Opoka
Discussion partner: Colin Atkinson
This thesis is intended to provide an extension to the test sheets framework to make it useful in testing of UML/OCL specifications.
Pattern discovery in OCL specification for standards for XML message exchanging
Supervisor: Joanna Chimiak-Opoka
Discussion partner: Tricia Balfe, Nomos Software
The goal of this thesis is to develop and apply a method for discovery of patterns is a set of given OCL specifications. The specifications to analyse are real world examples used in commercial applications provided by Nomos Software and include set of rules for the following standards:
- ISO 20022 which provides the financial industry with a common platform for the development of messages in a standardized XML syntax (around 40 rules).
- OSS/J providing an open standard APIs in telecommunication domain based on multiple technologies including Java, XML, and Web Services (around 30 rules).
- FpML – an the industry-standard protocol for complex financial products. It is based on XML and describes data shared between applications (around 100 rules).
Alaska: OCL libraries for a user model
Martin Gratz in his bachelor thesis supervised by Barbara Weber implemented Alaska Analyzer Tool. This project was a feasibility study on application of OCL libraries for analysing logging data from Alaska simulator and integration of the OCL Editor into the simulator. In this project OCL queries were defied at M1 (user model) level and evaluated at M0 (user data) level. We plan an integration of OCL evaluation in the simulator.
(more…)
Maintainability and comprehensiveness of literate models
Literate Models are UML diagrams that are embedded in texts explaining the models. In that way end-users, managers and domain experts gain useful understanding of the models, whilst object-oriented analysts see exactly and precisely how the models define business requirements and imperatives. Literate Modelling may be a valuable extension to many other object-oriented and non object-oriented visual modelling languages. This is a discipline that allows you to vastly increase the utility and value of your models, and it is also a very powerful way to become a much better modeler.
The goal of this series of projects is to empirically investigate the maintainability and comprehensiveness of literate models. The study should be conducted as a controlled experiment in the academic context for UML, BPMN or both notations. This topic is co-supervised with Barbara Weber.
(more…)
LiMonE = Literate Modelling Editor
Full Topic:
Discovery of linguistic patterns in narrative text for literate models and their implementation in a Literate Modelling Editor (LiMonE)
Student: Gunnar Schulze
Supervisor: Joanna Chimiak-Opoka
Discussion partner: Jim Arlow
Literate Models are UML diagrams that are embedded in texts explaining the models. In that way end-users, managers and domain experts gain useful understanding of the models, whilst object-oriented analysts see exactly and precisely how the models define business requirements and imperatives. Literate Modelling may be a valuable extension to many other object-oriented and non object-oriented visual modelling languages. This is a discipline that allows you to vastly increase the utility and value of your models, and it is also a very powerful way to become a much better modeler.
Domain–specific usage in industrial setting
The aim of this project was to improve the quality of process and infrastructure description of an industry partner. In the project a collection of libraries was developed. The statistics over the project are presented in figure below. In this project an objective advantages of the library development were investigated. (more…)
Clear View in Innsbruck
For a few days we had a honour to host Jim Arlow in Innsbruck. He gave interesting lectures and we had discussions related to our common interests, which hopefully brings us in the future to joint research or didactic projects.
Beside to the professional activities we tried to convince Jim that Innsbruck with its surrounding mountains is worth visiting again. 
Defining textual DSLs with EMFtext
An open seminar thesis to be supervised by Joanna Chimiak-Opoka.
Evaluation of EMFText Eclipse plug-in for defining text syntax for languages described by an Ecore metamodel. The focus of the thesis is to evaluate ease of installation, usability and user-friendliness of the plug-in. The important issue is to effort needed to create a DSL from scratch and to update an existing DSL with new language construct. In the presentation also a live demonstration of the plug-in should be given. Additionally, for students who completed Model Engineering course, a short comparison between EMFText and Xtext.
« previous top
|
|