Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification

Damien Cassou 1, 2
1 Phoenix - Programming Language Technology For Communication Services
EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux], Inria Bordeaux - Sud-Ouest, LaBRI - Laboratoire Bordelais de Recherche en Informatique
Abstract : Numerous applications have, as their main behavior, to wait for information coming from a foreign environment, to prepare a result, and to execute actions on this environment. Graphical user interfaces and avionic systems are two examples. The SCC paradigm, for Sense--Compute--Control, is dedicated to the description of such applications. Developing applications with this paradigm is made difficult by the lack of conceptual framework and tool support. This thesis proposes a conceptual framework dedicated to the SCC paradigm which is materialized by an architecture description language named DiaSpec. This language provides a framework to support the development of an SCC application, assigning roles to the stakeholders and providing separation of concerns. This thesis also proposes dedicated programming support. Indeed, from DiaSpec descriptions a dedicated programming framework is generated in a target language. This programming framework guides the implementation of an SCC application and raises the level of abstraction of this implementation with both high-level and dedicated mechanisms. This programming framework is designed to ensure conformance of the implementation to its architecture described in DiaSpec by leveraging the target language type system. Contributions of this thesis are evaluated through three criteria: expressiveness, usability and productivity.
Document type :
Theses
Complete list of metadatas

Cited literature [99 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00583246
Contributor : Damien Cassou <>
Submitted on : Monday, March 5, 2012 - 8:41:46 PM
Last modification on : Tuesday, February 5, 2019 - 3:26:04 PM
Long-term archiving on : Wednesday, December 14, 2016 - 10:41:52 AM

Identifiers

  • HAL Id : tel-00583246, version 6

Citation

Damien Cassou. Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification. Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2011. Français. ⟨tel-00583246v6⟩

Share

Metrics

Record views

722

Files downloads

1520