Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC

Details Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC

2011-06-21

arxiv.org/abs/1106.4200v1

GDR GPL'11: 3\`eme journ\'ees du G\'enie de la programmation et du logiciel (2011) 33--34

Computer Science

Programming Languages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-178623