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 [...]
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 [...]
OCL Community Project
The aim of the project is to create a platform to exchange OCL expressions among experts and novices in the UML/OCL community. The idea is to provide mechanisms to post calls for expressions and expressions with corresponding UML models. Moreover, the framework should enable execution of the OCL expressions against UML models as well as [...]
Refactoring and Templates Discovery Support for OCL
In the conceptual part of this project the template discovery method should be developed. The templates should be detected based on the code regularities. The implementation part should cover code duplicates detection, templates specification, code generation based on the templates, as well as refctoring support (renaming, restructuring). The tool should be an extension of [...]
top
|
|