Systematic use of models of concurrency in executable domain-specific modelling languages
Language-Oriented Programming (LOP) advocates designing eXecutable Domain-Specific Modeling Languages (xDSMLs) to facilitate the design, development, verification and validation of modern softwareintensive and highly-concurrent systems. These systems place their needs of rich concurrency constructs...
Main Author: | |
---|---|
Format: | Others |
Published: |
2016
|
Online Access: | http://oatao.univ-toulouse.fr/16119/7/latombe_florent.pdf |