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.
Event details
| Location |
: Institut of Computer Science, University of Innsbruck, SR1 on the ground floor in the ICT Building |
| Date | : 2010-08-09/10 |
| Invited speakers | : Birgit Demuth, Class Wilke, Michael Thiele |
| Organisator | : Joanna Chimiak-Opoka (SQUAM@QE) |
| Language | : German |
Invited speakers

Birgit Demuth, Ph.D.
post-doc at the Software Technology, TU Dresden
Dresden, Germany
Birgit works as a lecturer and researcher at the Technische Universität Dresden where she got her PhD in information systems. Her field is originally database research, in recent years she specialized on software engineering issues. She is the leader of the Dresden OCL project since 2003. Furthermore, she is a member of the ACM (Association for Computing Machinery) and of GI (Gesellschaft für Informatik).

Claas Wilke
Ph.D. student at the Software Technology, TU Dresden
Dresden, Germany
Since 2004, Claas is studying computer science at the TU Dresden, Germany. In 2006, he started his contributing work in development and support of the Dresden OCL project. In 2009 he got his diploma (M.Sc.) focusing on run-time verification using the Object Constraint Language (OCL) and the verification framework Treaty. Since January 2010, Claas is working as a research assistant and Ph.D. student at the TU Dresden, Software Technology Group. His research includes energy-aware software architectures and model-driven testing. Besides his research, Claas is still contributing to the Dresden OCL project.

Michael Thiele
M.Sc. student at the Software Technology, TU Dresden
Dresden, Germany
Since 2004, Michael has been a student of computer science at the TU Dresden, Germany. He has been a constant contributor at Dresden OCL for 4 years. In 2010, he did his “Großer Beleg” on the modularity of formal semantics and started describing modular OCL semantics. His research interests include functional languages, DSLs, parsing, semantic analysis and modelling.
Program
- Mon, 2010-08-09 (it starts at 9:00 a.m., i.e. sharp)
- 09:00-09:45 a.m.: Dresden OCL and the Vision of IDE4OCL by Birgit Demuth
At first Birgit will introduce the Software Engineering group at the TU Dresden. The most lang-lasting research project of this group is the open-source project Dresden OCL Toolkit whose big picture she will present. Since the first version of the toolkit in 1999 the Dresden team provided several tools to the OCL community. These tools have been used as third-party tools both in academic and commercial tools and applications. The recent version of Dresden OCL (Toolkit) has been designed for the Eclipse architecture and follows the vision of an Integrated OCL Development Environment (IDE4OCL) in collaboration with other partners.
- 09:45-10:30 a.m.: The new architecture of Dresden OCL by Claas Wilke
Claas is going to give an overview on the tools provided by Dresden OCL and to present the top-level architecture of Dresden OCL. The major part of his talk will be the variability of Dresden OCL for both, parsing OCL constraints on different models (like UML, Ecore, Java) and interpreting OCL constraints on different types of runtime objects (like Java objects, XML nodes, SWT widgets). Optionally, a short overview on his current work in the CoolSoftware and Zessy project will be possible at the end of his talk.
- 10:30-10:45 a.m.: break
- 10:45-11:30 a.m.: Dresden OCL in Action and Textual Modelling Based on EMFText by Michael Thiele
Michael will demonstrate Dresden OCL in action. The focus is on the new parser/editor that provides sophisticated editing mechanisms like syntax highlighting, sound error reporting and code completion. The interpretation of constraints will also be shown. The talk is concluded by an explanation and demonstration of how to integrate OCL into other textual modelling languages.
- 11:30-12:15 p.m.: Demonstration of the OCL Editor with MDT/OCL Parser by SQUAM Team
Joanna will present the new architecture of the OCL Editor with Community and Professional Editions. It will be followed by live demonstration of the set of current features by Ekrem, Hannes and Cornelia . At the end an optional discussion on advantages and disadvantages of MDT/OCL (2.0 & 2.1) can be conducted.
- 09:00-09:45 a.m.: Dresden OCL and the Vision of IDE4OCL by Birgit Demuth
top


Add A Comment