Architecting software concurrency

Abstract

Nowadays, the majority of software systems are inherently concurrent. Anyway, internal and external concurrent activities increase the complexity of systems' behavior. Adequate architecting can significantly decrease implementation errors. This work is motivated by the desire to understand how concurrency can constrain or influence software architecting. As a result, in the paper a methodological architecting framework applied for systems with "concurrency-intensive architecture" is described. This special term is defined to emphasize architectures, in which concurrent interactions are crucial. Also in the paper potential models for each phase of architecting framework are indicated.

Keywords

• software architecture
• concurrency
• concurrency-intensive architecture
• architecting framework
• concurrency model
• formalization
• specification
• CSP#