LiMonE: Literate Modelling Editor (M.Sc. Thesis)
LiMonE, short for Literate Modeling Editor, is a prototype system to support the Literate Modeling paradigm developed within a master thesis by Gunnar Schulze (call for thesis, thesis (pdf), software (update site)).
The system is implemented as a plugin for Eclipse, and enables the synchronous development of narrative text and UML models that are based on the UML 2 metamodel implementation of Eclipse. Synchronization of individual elements is achieved by using annotations to keep text synchronized, whereas on a structural level, a configurable set of validation constraints is used to check sentences with respect to their consistency. (more…)
Visit of Prof. Witold Pedrycz
In February, 2011 Professor Witold Pedrycz will visit University of Innsbruck as a BIT guest professor.
On Thursday, 17th February he will give two talks open for all interested researchers and students.
For organization purposes please register to the talks.
(more…)
New release: professional edition (v0.8.0)
The new version of the SQUAM framework / OCL editor as a professional edition is available.
- Professional Editon (PE, v0.8.0, update) on an academic licence.
- This version provides CE and a set additional plug-ins with advanced features.
- For academic usage PE if free, for industrial usage an evaluation and a commercial version are available.
- Eclipse update site: http://squam.info/ocleditor/professional/update/
- Professional Editon for Helios Release (PE, v1.0.0, update) on an academic licence.
- Eclipse update site: http://squam.info/ocleditor/professional/helios/update/
See an installation instruction or manual for more information.
OCL course resources
Joanna Chimiak-Opoka and Birgit Demuth provide OCL 2.x expressions tested with SQUAM OCL Editor and DresdenOCL.
- Part I: OCL Standard Library: paper + OCL sources (on request, please contact Joanna or Birgit)
- Part II: OCL constraints for business models (at the model level)
- Part III: OCL constraints and queries at the meta-model level
Dresden OCL Days at Quality Engineering
Dresden OCL Days at Quality Engineering is an interactive session between Birgit Demuth and researchers from University of Innsbruck. The workshop has the following goals:
- Presentation of the Software Technology research group;
- Demonstration of Dresden OCL and other tools developed at TU Dresden;
- Discussion of the IDE4OCL project and other cooperation possibilities.
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.
« previous top
|
|