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 [...]
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 [...]
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 [...]
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 [...]
Comparison of OCL tools based on the set of features defined for IDE4OCL
An open seminar thesis to be supervised by Joanna Chimiak-Opoka.
A comparison of selected OCL tools based on coverage of an extended set of features required for IDE4OCL. The coverage investigation should be based on documentation analysis (webpages, papers, technical documentation) and validated in tools if possible (software is feely available). Additionally a query among [...]
A web based OCL editor
This project is thought as an opensource project to provide an user friendly and richly featured web OCL editor. It should provide two main functionality edition and evaluation of OCL expressions in context of given models and meta models. The web based version of the OCL Editor should provide the same functionality as the existing [...]
Metrics and KPIs for Models
Co-supervised with Michael Breu. Details…
Constraining Archetypes Patterns with OCL
Archetype Patterns are a new type of configurable pattern that describe reusable micro architectures within business systems. Each pattern is designed to provide an 80% (or higher) solution to a common business problem. The patterns have the unique feature that they may be configured to adapt them to specific business contexts. This talk will describe [...]
OCL Expression Finder
Supervisor: Joanna Chimiak-Opoka
Discussion partner: Colin Atkinson
The aim of this project is to create a web based develop platform to manage OCL expressions. The functionality of the framework should cover fining OCL expressions based on their characteristics. The framework should be similar to the merobase platform for object oriented code or can be base on this [...]
« previous top
|
|