TellingTest Stories: OCL libraries for an UML Profile
The OCL Editor-lite was successfully integrated into TTS Framework to be used with an UML Profile for testing used in the TTS project.
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…)
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 project is to empirically investigate the comprehensiveness of literate models. The study should be conducted as a controlled experiment in the academic context for UML, BPMN or both notations. In the last case as twin theses. This topic is co-supervised with Barbara Weber.
(more…)
Editor for literate modelling
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.
Implementation of an editor for literate models supporting
- integrated view of models and their descriptions,
- hierarchical and structured business context documents,
- text-model consistency assurance: restricted vocabulary, text completion, text and model highlighting, …
- text-model consistency assessment: queries for semantic checks and statistics, …
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
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.
Running OCL queries
Evaluates queries on a selected model. The result of the evaluation is displayed in the console.
Click on the link below to see a flash demo about how to evaluate queries.
Dresden OCL – Quo Vadis?
Happy Birthday DresdenOCL! Congratulations to Birgit Demuth and her team! We would like to thank Birgit for inviting us to the jubilee workshop and we greatly appreciate her warm hospitality making our stay in Dresden enjoyable despite of the first snow.
The workshop Dresden OCL – Quo Vadis? (on Thu, 15th Oct) had the retrospective and visioning parts. The keynote speaker, Heinrich Hußmann, quoted the famous statement of William E. Riddle:
It is commonly thought that 10 years is needed for technology to pass from its initial conception into wide-spread use.
In the first part the focus was on the status quo of the OCL and in particular (more…)
MoDELS’2009: a great scientific event with nice social aspects
Just came back from MoDELS’2009, where especially enjoyed the OCL Workshop, all keynote lectures and a social aspect. It was busy but great time. (more…)
Comparison of OCL tools based on the set of features defined for IDE4OCL
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 tools developers could be distributed to check if they plan to develop some of the features.
« previous top
