Campus Event Calendar

Event Entry

New for: D1, D2, D3, D4, D5

What and Who

Using formally defined design patterns to improve system developments.

Jean-Raymond Abrial,
Department of Computer Science, ETH Zuerich
SWS Distinguished Lecture Series
AG 1, AG 2, AG 3, AG 4, AG 5, SWS  
Expert Audience

Date, Time and Location

Monday, 16 October 2006
-- Not specified --
E1 4


The concept of "design pattern" is well known in Object Oriented
Technology. The main idea is to have some sort of reproducible engineering
micro-design that the software designer can use in order to develop new
pieces of software. In this presentation, I try to borrow such OO ideas
and incorporate them within  the realm of formal methods.

First, I will proceed by  defining (and prove) two formal patterns, where
the second one happens to be a refinement of the first one. As a matter of
fact, one very often encounters such patterns in the development of
reactive systems, where several chains of reactions can take place between
an environment and a software controller, and vice-versa.

Second, the patterns are then used many times in the development of a
complete reactive system where several pieces of equipment interact with a
software controller. It results in a systematic construction made of six
refinements. The entire system is proved completely automatically.

The relationship between the formal design patterns and the formal
development of the problem at hand will be shown to correspond to a
certain form of refinement.
A demo will be shown.


--email hidden
passcode not visible
logged in users only

Brigitta Hansen, 10/16/2006 10:52
Brigitta Hansen, 10/13/2006 14:10
Brigitta Hansen, 10/09/2006 16:56 -- Created document.