Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
type: Dataset
description: 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.
issued: 2026-05-25T17:08:13.624721
language: fr
modified: 2026-05-25T17:08:13.624730
contact point: Organization
  fn: CCSD
keyword: architectural-conformance
keyword: architecture-logicielle
keyword: conformite-architecturale
keyword: domain-specific-language
keyword: generative-programming
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: langage-dedie
keyword: programmation-generative
keyword: software-architecture
keyword: theses
landing page: https://theses.hal.science/tel-00583246

Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
type: Distribution
format: HTML
issued: 2026-05-25T17:08:13.739234
modified: 2026-05-25T17:08:13.568569
access URL: https://theses.hal.science/tel-00583246

test_moissonnage_selune
type: Agent