http://www.dagstuhl.de/12511

16. – 21. Dezember 2012, Dagstuhl Seminar 12511

Divide and Conquer: the Quest for Compositional Design and Analysis

Organisatoren

Marieke Huisman (University of Twente, NL)
Barbara Jobstmann (VERIMAG – Grenoble, FR)
Ina Schaefer (TU Braunschweig, DE)
Marielle Stoelinga (University of Twente, NL)

Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl Report, Volume 2, Issue 12 Dagstuhl Report
Teilnehmerliste
Gemeinsame Dokumente
Dagstuhl's Impact: Dokumente verfügbar

Summary

Compositionality is a key concept in computer science: only by breaking down a large system into smaller pieces, we can build today's complex software and hardware systems. The same holds true for verification and analysis: realistic systems can only be analyzed by chopping them up into smaller parts. Thus, compositionality has been widely studied in various different settings, and by different communities: people in programming languages, software verification, and model checking have all come up with their own techniques and solutions.

Thus, the goal of this workshop has been to bring together these fields and communities, so that they can learn from and cross-fertilize each other. We have succeeded in doing so: through three extensive tutorials, longer and shorter presentations, and working sessions, researchers from different areas have learned about each others problems, techniques, and approaches.

The scientific programme was built around four corners stones

  1. Personal introductions.
  2. Three well-received tutorials:
    • Compositional programming by Oscar Nierstrasz
    • Compositional verification by Arnd Poetzsch-Heffter
    • Compositional modelling by Arend Rensink
  3. Regular presentations, presenting in-depth technical knowlegde on:
    • Verification of programming languages
    • Automatic synthesis
    • Interface theories
    • Model checking
    • Contract-based design
    • Software product lines
  4. Working group sessions:
    • Working group on software product lines
    • Working group on Benchmark for Industrial Verification/Synthesis Problems
    • Working group on Modular Full Functional Specification and Verification of C and Java programs that Perform I/O
    • Model checking vd deducutive verification
    • Compositional Synthesis of Reactive Systems

Classification

  • Semantics / Formal Methods
  • Software Engineering
  • Verification / Logic

Keywords

  • Compositionality
  • Modeling
  • Verification
  • Synthesis
  • Components
  • Interface
  • Service-Oriented Architectures
  • Software Product Lines

Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.