[an error occurred while processing this directive]
[an error occurred while processing this directive]
2001-2002 Seminar Series
|
Model-Based Software Development and Transformations
|
Peter Forbrig
Professor of Computer Science
Department of Computer Science
University of Rostock
Rostock, Germany
|
DEPARTMENT SEMINAR
|
DATE:
|
Wednesday, August 21, 2002
|
|
TIME:
|
3:00pm
|
|
PLACE:
|
Anthropology 132
|
|
|
*** Everyone is welcome ***
|
|
Abstract
Modern software has to run on a lot of platforms. It becomes more
and more difficult to maintain different variants of programs for all
devices. This problem calls for a software process with evolving
models. Models used during the software development process should be
as abstract as possible. This means they are for as long as possible
the same for different target platforms. The transformations
(refinements) between models should be done with computer support. In
this way maintenance can be supported much easier.
The first part of the talk will describe a model based-approach that
integrates the idea of object-oriented and task-based software
development. It demonstrates how both approaches cross-pollinate and
how information from one model can be transformed into specifications
of the other. Additionally the opportunities for dynamic adaptations
of run time models to the context of use on different devices will be
shown. The talk will also demonstrate how models can be used for
prototyping in a very early stage of software development.
The second part of the talk is focused on the usage of patterns for
transformations on object models. Based on the idea of design patterns
by Gamma et. al., a programming language PaL was developed in our
group. In PaL a programmer manipulates only with patterns. We called
this approach pattern-oriented programming. Recently the idea was
adapted to class diagrams and implemented for the case tool Rational
Rose. To make the application of patterns more practical the idea of
multiplicity was introduced to the components of a pattern. It
specifies the number of instances of the component that are accepted
during the application of the pattern.
About the speaker
Dr. Forbrig is Chair of the Software Engineering Group of the Computer Science
Department at Rostock University in Germany, and most recently Conference
Chair of the 9th International Workshop on Design, Specification, and
Verification of Interactive Systems, and author of the book "Introduction
to Programming by Abstract Data Types".
His research interests are:
-
Integration of Patterns during
Design. (They developed two prototypes for Rational Rose, which can be
demonstrated.)
- Integration of Object and Task Models during Software Development. (He
can demonstrate a first prototype written in java and using the mysql
data base)
- Multiple User Interfaces. ( Joint work with Concordia University
describing a model-based approach to specify interactive systems under
different context of use for different devices. Patterns are used and
XML is applied for different aspects)
-
Tools for Authors developing e-learning systems (They are
involved in a German project of 5 Universities and a system for teaching
statistics is under development )
Note: Special time of 3:00 p.m.
[an error occurred while processing this directive]