Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions

Authors:
Affiliations:
Venue:
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
Year:
2004

Citing 0
Cited 6

On the usability of process algebra: an architectural view

Theoretical Computer Science - Process algebra
Enhancing the expressivity of PADL for specifying Web Services Architectures

Proceedings of the 2008 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2008
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

Journal of Systems and Software
Automatic code generation from event-B models

Proceedings of the Second Symposium on Information and Communication Technology
Preserving architectural properties in multithreaded code generation

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Synthesizing concurrency control components from process algebraic specifications

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multithreading provides an adequate support for concurrentprogramming, but requires the software developerto take care of the correct synchronization and exchangeof data among threads. In this paper we proposean architecture-driven approach to the thread synchronizationmanagement, which is completely transparent to thesoftware developer. This is realized by implementing a suitableJava package - which adheres to a general synchronizationmodel and is inspired by the main architecturalabstractions - by means of which well-synchronized multi-threadedJava programs can be synthesized from their architecturalspecifications. The approach is illustrated bymeans of a real-time audio processing system.