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

Standard

Leveraging software architectures to guide and verify the development of sense/compute/control applications. / Cassou, Damien; Balland, Emilie; Consel, Charles; Lawall, Julia.

Proceedings of the 33rd International Conference on Software Engineering. Association for Computing Machinery, 2011. s. 431-440.

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

Harvard

Cassou, D, Balland, E, Consel, C & Lawall, J 2011, Leveraging software architectures to guide and verify the development of sense/compute/control applications. i Proceedings of the 33rd International Conference on Software Engineering. Association for Computing Machinery, s. 431-440, 33rd International Conference on Software Engineering, Honolulu, USA, 21/05/2011. https://doi.org/10.1145/1985793.1985852

APA

Cassou, D., Balland, E., Consel, C., & Lawall, J. (2011). Leveraging software architectures to guide and verify the development of sense/compute/control applications. I Proceedings of the 33rd International Conference on Software Engineering (s. 431-440). Association for Computing Machinery. https://doi.org/10.1145/1985793.1985852

Vancouver

Cassou D, Balland E, Consel C, Lawall J. Leveraging software architectures to guide and verify the development of sense/compute/control applications. I Proceedings of the 33rd International Conference on Software Engineering. Association for Computing Machinery. 2011. s. 431-440 https://doi.org/10.1145/1985793.1985852

Author

Cassou, Damien ; Balland, Emilie ; Consel, Charles ; Lawall, Julia. / Leveraging software architectures to guide and verify the development of sense/compute/control applications. Proceedings of the 33rd International Conference on Software Engineering. Association for Computing Machinery, 2011. s. 431-440

Bibtex

@inproceedings{ffa0d99b016d403284d1775623c48dd6,
title = "Leveraging software architectures to guide and verify the development of sense/compute/control applications",
abstract = "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.",
author = "Damien Cassou and Emilie Balland and Charles Consel and Julia Lawall",
year = "2011",
doi = "10.1145/1985793.1985852",
language = "English",
isbn = "978-1-4503-0445-0",
pages = "431--440",
booktitle = "Proceedings of the 33rd International Conference on Software Engineering",
publisher = "Association for Computing Machinery",
note = "33rd International Conference on Software Engineering, ICSE 2011 ; Conference date: 21-05-2011 Through 28-05-2011",

}

RIS

TY - GEN

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

AU - Cassou, Damien

AU - Balland, Emilie

AU - Consel, Charles

AU - Lawall, Julia

N1 - Conference code: 33

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1145/1985793.1985852

DO - 10.1145/1985793.1985852

M3 - Article in proceedings

SN - 978-1-4503-0445-0

SP - 431

EP - 440

BT - Proceedings of the 33rd International Conference on Software Engineering

PB - Association for Computing Machinery

T2 - 33rd International Conference on Software Engineering

Y2 - 21 May 2011 through 28 May 2011

ER -

ID: 33879403