ABSTRACT
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.
- F. Aquilani, S. Balsamo, P. Inverardi, "Performance Analysis at the Software Architecture Design Level", in Performance Evaluation 45:205-221, 2001]] Google ScholarDigital Library
- M. Bernardo, P. Ciancarini, L. Donatiello, "ÆMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures", in {21}, pp. 1-11]] Google ScholarDigital Library
- M. Bernardo, P. Ciancarini, L. Donatiello, "On the Formalization of Architectural Types with Process Algebras", in Proc. of FSE-8, ACM Press, pp. 140-148, San Diego (CA), 2000]] Google ScholarDigital Library
- M. Bernardo, P. Ciancarini, L. Donatiello, "Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems", in Proc. of WICSA 2001, IEEE-CS Press, pp. 77-86, Amsterdam (The Netherlands), 2001]] Google ScholarDigital Library
- M. Bernardo, W.R. Cleaveland, W.S. Stewart, "Two Towers 1.0 User Manual",http://www.sti.uniurb.it/bernardo/twotowers/, 2001]]Google Scholar
- M. Bravetti, M. Bernardo, "Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time", in Proc. of MTCS 2000, Electronic Notes in Theoretical Computer Science 39(3), State College (PA), 2000]]Google Scholar
- E.M. Clarke, O. Grumberg, D.A. Peled, "Model Checking", MIT Press, 1999]] Google ScholarDigital Library
- W.R. Cleaveland, J. Parrow, B. Steffen, "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems", in ACM Trans. on Programming Languages and Systems 15:36-72, 1993]] Google ScholarDigital Library
- P.G. Harrison, J. Hillston, "Exploiting Quasi-Reversible Structures in Markovian Process Algebra Models", in Computer Journal 38:510-520, 1995]]Google ScholarCross Ref
- H. Hermanns, "Interactive Markov Chains", Ph.D. Thesis, University of Erlangen (Germany), 1998]]Google Scholar
- J. Hillston, "A Compositional Approach to Performance Modelling", Cambridge University Press, 1996]] Google ScholarDigital Library
- J. Hillston, N. Thomas, "Product Form Solution for a Class of PEPA Models", in Proc. of IPDS 1998, IEEE-CS Press, Durham (NC), 1998]] Google ScholarDigital Library
- K. Kant, "Introduction to Computer System Performance Evaluation", McGraw-Hill, 1992]]Google Scholar
- L. Kleinrock, "Queueing Systems", John Wiley & Sons, 1975]] Google ScholarDigital Library
- S.S. Lavenberg editor, "Computer Performance Modeling Handbook", Academic Press, 1983]] Google ScholarDigital Library
- R. Milner, "Communication and Concurrency", Prentice Hall, 1989]] Google ScholarDigital Library
- D.E. Perry, A.L. Wolf, "Foundations for the Study of Software Architecture", in ACM SIGSOFT Software Engineering Notes 17:40-52, 1992]] Google ScholarDigital Library
- M. Shaw, D. Garlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall, 1996]] Google ScholarDigital Library
- M. Sereno, "Towards a Product Form Solution for Stochastic Process Algebras", in Computer Journal 38:622-632, 1995]]Google ScholarCross Ref
- C.U. Smith, "Performance Engineering of Software Systems", Addison-Wesley, 1990]] Google ScholarDigital Library
- Proc. of the 2nd Int. Workshop on Software and Performance (WOSP 2000), ACM Press, Ottawa (Canada), 2000]]Google Scholar
Recommendations
Two-Server Bulk-Service Queuing Process
In the present paper a two-server queuing process fed by Poisson arrivals and exponential service time distributions has been considered under the bulk-service discipline. Time-dependent probabilities for the queue length have been obtained in terms of ...
Analysis of a queueing system with impatient customers and working vacations
QTNA '11: Proceedings of the 6th International Conference on Queueing Theory and Network ApplicationsIn this paper, we consider an M/M/1 queueing system with working vacations and impatient customers, where we examine the case that customers' impatience is due to a working vacation. During the working vacation, customers are served at a slower than ...
Analysis of Networks of the Resource Queuing Systems
Consideration was given to the model of a queuing network with resource queuing systems--the multi-server systems with losses where servicing of the accepted customer occupies random volumes of resources with the given distribution function depending on ...
Comments