Skip to Main content Skip to Navigation
Theses

Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages

Abstract : Language-Oriented Programming (LOP) advocates designing eXecutable Domain-Specific Modeling Languages (xDSMLs) to facilitate the design, development, verification and validation of modern software-intensive and highly-concurrent systems. These systems place their needs of rich concurrency constructs at the heart of modern software engineering processes. To ease their development, theoretical computer science has studied the use of dedicated paradigms for the specification of concurrent systems, called Models of Concurrency (MoCs). They enable the use of concurrency-aware analyses such as detecting deadlocks or starvation situations, but are complex to understand and master. In this thesis, we develop and extend an approach that aims at reconciling LOP and MoCs by designing so-called Concurrency-aware xDSMLs. In these languages, the systematic use of a MoC is specified at the language level, removing from the end-user the burden of understanding or using MoCs. It also allows the refinement of the language for specific execution platforms, and enables the use of concurrency-aware analyses on the systems.
Complete list of metadata

Cited literature [162 references]  Display  Hide  Download

https://hal.inria.fr/tel-01369451
Contributor : Florent Latombe <>
Submitted on : Wednesday, September 21, 2016 - 9:46:15 AM
Last modification on : Thursday, June 10, 2021 - 3:08:23 AM
Long-term archiving on: : Thursday, December 22, 2016 - 12:33:30 PM

Identifiers

  • HAL Id : tel-01369451, version 1

Citation

Florent Latombe. Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages. Software Engineering [cs.SE]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2016. English. ⟨tel-01369451⟩

Share

Metrics

Record views

284

Files downloads

302