Forskning ved Københavns Universitet - Københavns Universitet

Forside

Leveraging software architectures to guide and verify the development of sense/compute/control applications

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  • Damien Cassou
  • Emilie Balland
  • Charles Consel
  • Julia Lawall
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification.

In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of interaction contract that expresses allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications. We instantiate our approach in an architecture description language for Sense/Compute/Control applications, and describe associated compilation and verification strategies.
OriginalsprogEngelsk
TitelProceedings of the 33rd International Conference on Software Engineering
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato2011
Sider431-440
ISBN (Trykt)978-1-4503-0445-0
DOI
StatusUdgivet - 2011
Begivenhed33rd International Conference on Software Engineering - Waikiki, Honolulu, USA
Varighed: 21 maj 201128 maj 2011
Konferencens nummer: 33

Konference

Konference33rd International Conference on Software Engineering
Nummer33
LokationWaikiki
LandUSA
ByHonolulu
Periode21/05/201128/05/2011

ID: 33879403