OCL users at LinkedIn
group to network OCL users from industry and academia to exchange their experience. The main focus of the group is pragmatics of OCL and OCL tools to promote the widespread adoption of OCL.
If you use OCL please join us! 
New release: community edition, v0.8.0
The new version of the SQUAM framework / OCL editor as a community edition is available.
The release of the professional edition will follow…
- Community Editon (CE, v0.8.0, update) on EPL.
- This version provides core functionality of the OCL Editor.
- The source code is available from the update site.
- For more information take a look at installation instruction or manual.
- For the technical support contact info[at]squam.info to be included in the list of registered users.
- Eclipse update site: http://squam.info/ocleditor/community/update/
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 defined for DSL/Ecore (the metamodel) and evaluated over a model containing corresponding log data (the model). 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…)
« previous top
|
|