Interface Coherence of Reactive Software Components: Solutions and Challenges

Prelegent(ci)

Andrzej Tarlecki

Afiliacja

Uniwersytet Warszawski

Termin

23 maja 2011 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Będzie to powtórzenie fragmentów referatu:

Autor: Rolf Hennicker (Ludwig-Maximilians-Universität München)

Opis: Interface coherence is a key issue in component-based software
development. It concerns two dimensions of the development process:
component implementations should adhere to their interface specifications
- and - components should be composed only if their interfaces are
compatible. To achieve independent implementability it is essential that
both dimensions work properly together, i.e. that compatibility is
preserved by refinement and refinement is preserved by composition, which
are crucial requirements for any kind of interface theory. This talk
analyses solutions and challenges derived from various interface theories
based on state transition specifications with input/output-actions (e.g.
interface automata, modal I/O-transition systems and open Petri nets).
Criteria for the analysis shall be the communication style (synchronous,
asynchronous), expressiveness (observational abstraction, treatment of
data), decidability of refinement and/or compatibility, as well as
semantic soundness and completeness.

---