Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
A language and environment for architecture-based software development and evolution
Proceedings of the 21st international conference on Software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compatibility and inheritance in software architectures
Science of Computer Programming
Communication and Concurrency
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proving Deadlock Freedom in Component-Based Programming
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions
WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
On the usability of process algebra: an architectural view
Theoretical Computer Science - Process algebra
Journal of Systems and Software
Automatic code generation from event-B models
Proceedings of the Second Symposium on Information and Communication Technology
Synthesizing concurrency control components from process algebraic specifications
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Hi-index | 0.00 |
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 architecture-driven 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.