Oberseminar 17.04.12
Wissenschaftlicher Vortrag: Prof. Dr. Alexander Knapp
Was |
|
---|---|
Wann | 17.04.2012 von 14:15 bis 15:45 |
Wo | Raum 057, Oettingenstr. 67 |
Termin übernehmen | ![]() ![]() |
Einladung zum
Oberseminar Methoden und Theorie der Software-Entwicklung
======================================
Datum und Zeit: Dienstag, 17. April 2012 - 14:15 Uhr
Raum: 057, Oettingenstraße 67
Es spricht: Prof. Dr. Alexander Knapp
Über: Modal Interface Theories for Communication-Safe Component Assemblies
We propose an extension of the abstract rules for independent implementability of reactive components proposed in interface theories to take into account interface assemblies. As a concrete instantiation we extend existing interface theories for modal I/O-transition systems to support assemblies, (greybox) assembly refinement and assembly encapsulation. We introduce a new notion of communication-safety for N-ary assemblies which overcomes problems with previous definitions of interface compatibility. We show that communication-safety can be checked incrementally. We also show that communication-safety is preserved by assembly refinement, that blackbox refinement of component interfaces is compositional with respect to greybox refinement of assemblies and, conversely, that assembly encapsulation maps greybox to blackbox refinement. The methodology of our approach is illustrated by a small case study.