Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment of the system properties as well as for the automated generation of code. The problem addressed in this paper is to what extent the properties verified at the architectural level can be preserved during the code generation process for multithreaded programs. In order to limit the human intervention, we propose to separate the thread synchronization management from the thread behavior translation. While a completely automated and architecturedriven approach can guarantee the correct thread coordination, we show that only a partial translation based on stubs is possible for the behavior of the threads, with the preservation of the architectural properties depending on the way in which the stubs are filled in. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Bernardo, M., & Bontà, E. (2005). Preserving architectural properties in multithreaded code generation. In Lecture Notes in Computer Science (Vol. 3454, pp. 188–203). Springer Verlag. https://doi.org/10.1007/11417019_13
Mendeley helps you to discover research relevant for your work.