Foundations for the study of software architecture
ACM SIGSOFT Software Engineering Notes
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A compositional approach to performance modelling
A compositional approach to performance modelling
Product form solution for a class of PEPA models
IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
Model checking
Proceedings of the 2nd international workshop on Software and performance
On the formalization of architectural types with process algebras
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Performance analysis at the software architectural design level
Performance Evaluation
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Communication and Concurrency
Computer Performance Modeling Handbook
Computer Performance Modeling Handbook
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems
WICSA '01 Proceedings of the Working IEEE/IFIP Conference on Software Architecture
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool
Proceedings of the 19th IEEE international conference on Automated software engineering
Automated Software Engineering
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
Using FDAF to bridge the gap between enterprise and software architectures for security
Science of Computer Programming
| Hi-index | 0.00 |
We propose an integrated approach to the functional and performance analysis of Software Architectures (SAs) based on Stochastic Process Algebras (SPAs) and Queueing Networks (QNs), in order to combine their main advantages: formal techniques for the verification of functional properties of systems for SPAs, and efficient performance analysis for QNs. We first introduce Æmilia, a SPA based architectural description language for the compositional, graphical and hierarchical modeling of SAs, which is equipped with suitable checks for the detection of architectural mismatches. Then we present a systematic approach to derive QN models from Æmilia specifications. This is based on the identification of three different classes of QN basic elements --- arrival processes, buffers, and service processes --- and on syntactic restrictions to be imposed to Æmilia specifications, so that each architectural component directly falls into one of the three classes. Although performance analysis could be carried out directly on the Markov chain (MC) underlying an Æmilia specification, having a QN model allows performance indices to be evaluated possibly by exact product form solutions or by well known approximate methods. Furthermore, unlike the underlying MC, the high level of abstraction of the QN model should ease the interpretation of the performance results at the architectural description level.