vertical_beam

Forschungsprojekte [zurück]  [laufende Projekte]

abgeschlossene Projekte
 
Der Lehrstuhl war (als Unterauftragnehmer der Siemens AG) beteiligt am europäischen Forschungsprojekt INSIGNIA. Thema war die Realisierung von Multimediadiensten auf einem öffentlichen Breitband-Netz. Der Lehrstuhl arbeitete insbesondere an Architekturkonzepten und einem objektorientiertem Sitzungsprotokoll mit.
Förderung: EU-Programm ACTS
[web]

Der Lehrstuhl war am europäischen Forschungsprojekt ELISA beteiligt, dass sich mit der Realisierung von Internet-Anwendungen auf modernen Hochleistungsnetzen (ATM) befasste. Der Lehrstuhl arbeitet hier an den Themen Architekturspezifikation und Service Management.
Förderung: EU-Programm ACTS
[web]

Der Lehrstuhl ist seit Anfang 2000 beteiligt am europäischen Forschungsprojekt AQUILA, das eine Architektur entwickelt, die existierende QoS-Technologien für das Internet ausnutzt und erweitert. Ziel ist es, den Endnutzern greifbare Verbesserungen der Dienstgüte für ihre Internet-Anwendungen anzubieten. Der Lehrstuhl konzentriert sich hier auf den Aspekt der Anwendungsunterstützung mittels einer Middleware.
Förderung: EU-Programm IST
[web]

Der Lehrstuhl war an der europäischen Forschergruppe CoFI beteiligt, die sich mit der Entwicklung und dem Einsatz einer standardisierten praxistauglichen algebraischen Spezifikationssprache (CASL) befaßt. Thema des Lehrstuhls ist hier die Anbindung von CASL an die objektorientierte Modellierungssprache UML.
Förderung: EU-Programm ESPRIT
[web]

Der Lehrstuhl entwickelt eine Plattform für experimentelle Arbeiten (Codegenerierung, Reverse Engineering) auf der Basis der UML,
insbesondere zum Austausch von UML- und anderen Entwurfsmodellen zwischen verschiedenen CASE-Tools (z.B. Rational Rose, Together und Argo/UML) und der eigenen experimentellen UML-Plattform über XML. Bestandteil dieses Konzeptes ist ein modularer Compiler für die Sprache OCL.
[web1] [web2

Der Lehrstuhl ist beteiligt an der DFG-Forschergruppe COMQUAD, die sich mit Komponentenmodellen unter Einbeziehung quantifizierter Eigenschaften und Adaptivität befasst. Der Lehrstuhl konzentriert sich hier auf Spezifikationstechniken. Siehe auch die COMQUAD-Seite des Lehrstuhls.
Förderung: Deutsche Forschungsgemeinschaft (DFG)
[web1] [web2

HIDOORS 01.2002 - 09.2005
The High-Integrity Distributed Object-Oriented Real-time Systems (HIDOORS) project developed methodology for object-oriented modelling and programming of real-time systems. A real-time garbage collector, a static garbage collector, a real-time UML profile, checking real-time statecharts and sequence diagrams with a model checker, an integrated development process were the topics of the project.
Kontakt: Aßmann, Uwe
Förderung: EU

REWERSE (Reasoning on the web) is a network of the EU 6th framework program, linking many research institutions together. Its technical goal is to develop reasoning languages for the future Semantic Web, i.e., to transfer the deductive capabilities of logic languages to the analysis of web documents, pages, and sites. TUD works on composition of ontologies from ontology components.
Kontakt: Aßmann, Uwe
Förderung: EU

This project elaborates a framework extension language. Such a language allows for the specification of framework extension points, i.e., contracts on plugins. Appropriate tools can check consistency constraints on framework instantiations.
Kontakt: Savga, Ilie
Förderung: ComArch

Das Projekt beschäftigt sich mit dem Einsatz von aspektorientierten und modellbasierten Techniken in der Entwicklung von Software-Produktlinien. Die ST-Gruppe beschäftigt sich im Rahmen des Projekts hauptsächlich mit der Steuerung des mehrstufigen Entwicklungsprozess über Featuremodelle um so Varianten aus Produktlinien zu realisieren.
Förderung: BMBF im Rahmen der Forschungsoffensive Software Engineering 2006

Das Projekt arbeitet Methoden zur qualitätsgesteuerten modellgetriebenen Architektur aus (quality-driven software development, QDD). Modelle können mit Realzeitbedigungen versehen und durch Modellprüfer und abstrakte Interpretation auf Korrektheit geprüft werden.
Förderung: BMBF im Rahmen der Initiative

SalesPoint ist ein gemeinsam mit der Universität der Bundeswehr München entwickeltes Java-Anwendungsframework für Verkaufsanwendungen. Es wurde für den Einsatz in der Lehre (objektorientierte Techniken, Softwaretechnologie) konzipiert und im Laufe der Jahre weiter entwickelt.
SalesPoint wird seit dem Wintersemester 1997/98 regelmäßig und erfolgreich an verschiedenen Universitäten eingesetzt. Wir lassen unsere Studenten relativ selbständig einigermaßen realistische Projekte durchführen. Da es sich um Anfänger (Studenten im Grundstudium) handelt, benötigen sie neben einer guten Dokumentationsunterstützung die laufende Beobachtung und Unterstützung durch Betreuer (die gleichzeitig als Auftraggeber und softwaretechnische Berater fungieren). Als Dokumentation bieten wir verschiedene sehr ausführliche Dokumente von SalesPoint an, wie zum Beispiel zwei Tutorials, in denen jeweils eine Beispielapplikation schrittweise erläutert wird.
[web]

Cyber-physical systems are self-regulating complex systems comprised of interconnected virtual and physical systems. In the near future, such systems will become more and more pervasive. That is, large amounts of interconnected distributed systems are spread over the world with growing density and coverage. This new type of complex system poses the need for novel engineering techniques for the virtual part (software engineering) and the physical part. In Zessy/QualiTune we focus on novel software engineering techniques for the development of physical systems. Our research includes the modelling, verification and testing of non-functional requirements (i.e., qualities), such as Safety, Real-Time, Energy Consumption and Sustainability. Zessy/QualiTune is part of the ResUbic Research Cluster at TU Dresden, Faculty of Computer Science.
Kontakt: Wilke, Claas
Förderung: European European Social Fund and Federal State of Saxony #080951806
[web]

We develop a web based eLearning system to support software modeling exercises in large-scale software engineering courses. Students get the task to create a domain model based on a given textual specification of an application domain. They have to specify the domain model by a UML class diagram and import it into the eLearning system that is integrated into the Praktomat. The system verifies the student's solution and compares it with a set of predetermined sample solutions. This approach is a first step towards an automatic testing of object-oriented models under the conditions of university classes with a large number of students.

Modelplex develops solutions for model-driven development of complex software systems. The project is an European Union Integrated Project in collaboration with many partners throughout Europe and some other parts of the world.

Our group is involved in two work packages:

  • In work package 3, we are working on aspect-oriented model composition technology, based on the Reuseware Composition Framework and other technology.
  • In work package 4, we are co-developing a model-based approach for deriving performance simulations of software systems under development.
Kontakt: Aßmann, Uwe
Förderung: European Union Integrated Project in FP6
[web]

B2-PDE ist ein vom Land Sachsen gefördertes Projekt, Partner ist ComArch. Es erstellt zwei Werkzeuge für Frameworks: ADAPT generiert Adapterschichten, falls ein Framework seine Schnittstellen ändert, und DEPTH generiert Tutorialhandbücher im Stile des Elucidative Programming.
Kontakt: Savga, Ilie
Förderung: Land Sachsen, Sächsische Aufbaubank (SAB)
[web]

The OCL community decided at the 2005 Workshop on OCL at the MoDELS conference to set up an OCL portal website collecting all information about OCL (tools, publications, experience reports, teaching modules, etc.). Everybody is encouraged to contribute to the OCL portal. The portal is administrated by the Dresden OCL Toolkit team.

j-Algo ist ein Programm zur Visualisierung von Algorithmen. Es soll helfen, sich klassische Algorithmen zu veranschaulichen und sie besser zu verstehen. Hierzu werden diese sowohl grafisch, als auch formell und deskriptiv dargestellt. j-Algo eignet sich insbesondere zum Einsatz durch Studenten und Lehrende im Rahmen des Informatik-Studiums. j-Algo wird im Rahmen von Softwarepraktikumsprojekten und in Zusammenarbeit mit dem Lehrstuhl für Grundlagen der Programmierung entwickelt.

This project is funded by SAP Research. In collaboration with Prof. Schill, Prof. Kabitzsch, Prof. Wollschläger, Prof. Lehner and SAP Research Dresden, PreCon produces a new architecture for predictive maintenance of production automation systems. This architecture is deemed to be an important component in the factory automation systems of the future.
Förderung: SAP

MOST is an acronym for Marrying Ontology and Software Technology. The goal of MOST is to integrate ontology technology into the software development arena: its entities, its models and its processes. MOST is an European project with partners in Germany, Poland, Austria and the United Kingdom.

Our group is mainly involved in two work packages: WP2 (Guidance for the Software Process) and WP3 (Reasoning Technology).

  • WP2 aims at integrating ontology technology into tools to provide for support to developers in managing the software processes.
  • WP3 aims at developing techniques for scalable reasoning, in particular for reasoning on integrated ontology-software models.
Kontakt: Aßmann, Uwe
Förderung: EU

Hyperadapt investigates welformed multi-staged weaving for the adaptation of hypermedia applications. It solves the three problems of multi-staged weaving, controlled adaptation and interaction of aspects. The Project is carried out in collaboration with Prof. Meißner, SMT.
Kontakt: Karol, Sven
Förderung: DFG

OUTPUT4Business (O4B) ist ein Projekt der Lehrstühle für Mediengestaltung und Softwaretechnologie der Technischen Universität Dresden (TU Dresden) in Zusammenarbeit mit dem Fachbereich Informatik der Hochschule für Technik und Wirtschaft Dresden (HTW) und dem Arbeitskreis Software im Silicon Saxony e.V.. Mit O4B soll Anwendungsfelder stärker vernetzt und der Dialog zwischen Wissenschaft und Wirtschaft gefestigt werden. Ziel ist ein "IT-Forum Sachsen", das Wissenschaftler/innen, Unternehmer/innen und Studierende zusammenbringt und in einem Netzwerk vereint. Auf dieser Grundlage und durch die Schulung des wissenschaftlichen Personals sowie daraus resultierende Firmengründungen soll der Technologietransfer zwischen Wissenschaft und Wirtschaft nachhaltig gestärkt werden.
Förderung: Bundesministerium für Verkehr, Bau und Stadtentwicklung (BMVBS) und Projektträger Jülich (PtJ)

EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables developers to define textual Domain Specific Languages quickly and without the need to learn new technologies and concepts.

Reuseware is a composition framework targeting arbitrary software languages that are expressed in EMF Ecore (or EMOF) or in context-free grammars. These include languages relating to the Semantic Web and various modelling and domain-specific languages. Reuseware is based on the idea of Invasive Software Composition (ISC) and has been under development since 2005. Since then, different versions of the tooling have emerged.

Whenever people interact with data from the semantic web, this data has to be transformed into a human understandable representation. However, depending on the domain, szenario, and intention of a user, a different view on the data is optimal. In this project a technology shall be investigated that allows defining how to visualize which data in the most easy and flexible way. By using formalized knowledge of graphic experts and guidance from the system this shall be possible for all users. The visualization shall not be bound to a certain output platform to support the usage on various devices.
Förderung: Dieses Projekt wird im Rahmen einer Landesinnovationspromotion aus Mitteln der Europäischen Union und des Freistaats Sachsen finanziert.

Das Ziel des Projektes CoolSoftware ist den Energieverbrauch komplexer IKT-Systeme durch eine intelligente Softwaresteuerung zu reduzieren. Dazu wird untersucht, inwieweit und mit welchen Techniken durch adaptive Software auf System- und Anwendungsebene ein energieoptimierter Betrieb der zugrunde liegenden Hardwareinfrastruktur erreicht werden kann. Der Lehrstuhl Softwaretechnologie arbeitet in dem Projekt an adaptiven Softwarearchitekturen sowie deren Modellierung.
Förderung: BMBF im Rahmen der Fördermaßnahme „Hightech-Strategie - Spitzencluster-Wettbewerb“

DEFT is a tool for easy creation and maintenance of so-called tutorials, documents which contain code examples or illustrations of models. Instead of copying code or images of models into the document, references are managed behind the scenes, which make sure that always an up-to-date versions of the referenced code and models are displayed. DEFT was originally part of the now finished B2-PDE project.

RACR is a Scheme attribute grammar library providing incremental attribute evaluation in the presence of arbitrary abstract syntax tree rewrites. It provides a set of functions that can be used to specify abstract syntax tree schemes and their attribution and construct respective trees, query their attributes and node information and annotate and rewrite them. Thereby, both, reference attribute grammars and rewriting, are seamlessly integrated, such that rewrites can reuse attributes and attribute values change depending on performed rewrites - a technique we call Reference Attribute Grammar Controlled Rewriting. To reevaluate attributes influenced by abstract syntax tree rewrites, a demand-driven, incremental evaluation strategy, which incorporates the actual execution paths selected at runtime for control-flows within attribute equations, is used. To realise this strategy, a dynamic attribute dependency graph is constructed throughout attribute evaluation - a technique we call Dynamic Attribute Dependency Analyses.

Besides synthesised and inherited attributes, RACR supports reference, parameterised and circular attributes, attribute broadcasting and abstract syntax tree and attribute inheritance. Since RACR is an ordinary Scheme library, its functions can arbitrarily interact with Scheme programs and vice versa. To implement attribute equations, users reuse or develop ordinary Scheme functions with arbitrary control-flows, function calls, macro expansions and continuations. The required bookkeeping for incremental attribute evaluation is transparently and automatically performed and cannot be bypassed or disturbed.

RACR hompage: Link


The Mobile Application Test Environment (MATE) helps testers to improve the quality of mobile applications ("Apps"). It is under ongoing development and aims to implement approaches of the research project, e.g. test models based on feature petri nets and configuration variability space modeling.

Förderung: State of Saxony, the Sächsische Aufbaubank (SAB), European Social Funds (ESF), and T-Systems Multimedia Solutions

Im Rahmen des Forschungsprojektes "Visuelle Steuerung und Entwicklung von CPS Systemen" (VICCI) beschäftigen sich insgesamt zehn Nachwuchswissenschaftler/-innen mit der Entwicklung von cyber-physikalischen Systemen (CPS). Beteiligt sind Mitarbeiter der Professur Softwaretechnologie (ST), der Juniorprofessur Software Engineering ubiquitärer Systeme (SEUS) sowie der Professur für Computergraphik und Visualisierung (CGV). Ziel des Projektes ist es, die softwaretechnologische Grundlage für die Entwicklung komplexer cyber-physikalischer Systeme so schaffen, was die Entwicklung eines interaktiven Kontrollzentrums mit integrierter Software-Entwicklungsumgebung für CPS beinhaltet. Die Evaluation erfolgt anhand eines Beispielszenarios mit einem Haushalts-Service-Roboter. Dieser humanoide Roboter soll mobilitätseingeschränkte Menschen im Alltag unterstützen und dabei einfache Serviceaufgaben, wie z.B. ein Handtuch zu holen, erledigen können. Dadurch werden mobilitätseingeschränkte Menschen unabhängiger und das Pflegepersonal kann sich auf die persönliche Ansprache konzentrieren.

Förderung: European European Social Fund and Federal State of Saxony #100098171

The tool "Refactory" is a generic framework for model refactoring. It provides two easy languages for specifying participants of of refactorings generically, and a mapping language enabling DSL designers to activate refactorings for their languages. So called "Quality Smells" can be specified, detected and resolved. Pre- and post-conditions can be defined with OCL. Furthermore, a couple of extension points exist to register own implementations for different things (as, e.g., condition interpreter, or supported editors (EMFText, Xtext, GMF, EMF generated text editors are supported by default)).
Kontakt: Reimann, Jan
Förderung: ESF

Delta modeling is an approach to handling variability in a family of similar yet different software applications, which can handle variability of functionality, evolution and end user customization uniformely. Currently, delta modeling faces the problem that the majority of delta languages is built upon proprietary data models, which results in extensive work when making a source language delta-aware and having to create required tooling manually. Overview of Custom Delta Language Generation with Delta Ecore Delta Ecore provides delta modeling on basis of the structured data models conforming to meta models specified in EMF Ecore. The approach allows reuse of many shared functions accross different models, such as variant derivation, topological sorting of delta modules etc. As Ecore comes with a variatey of tools to for textual and graphical languages, a model representation of a variety of languages can be created easily. Using DeltaEcore, data models, textual languages and graphical notations can be enriched by delta-based variability swiftly. All that is needed is a specification of a language dialect for DeltaEcore's Common Base Delta Language, which can be generated in large parts.
Förderung: ESF

Mitarbeit in Programmkomitees [mehr]

Wissenschaftliche Zusammenarbeit und Kontakte [mehr]