Interface Coherence of Reactive Software Components: Solutions and Challenges

Speaker(s)

Andrzej Tarlecki

Affiliation

Uniwersytet Warszawski

Date

May 23, 2011, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---