Selected Bibliography
GENERAL SA
- Shaw, M., Garlan, D., Software Architectures: Perspectives on an Emerging Discipline, Prentice Hall, 1996
- Bass, L., Clemens, P., Kazman, R., Software Architectures in Practice, Addison Wesley, 1998
- Hofmeister, C., Nord, R., Soni, D., Applied Software Architectures, Addison Wesley, October 1999.
- Http://www.sei.cmu.edu
Survey
- S. Balsamo, M. Simeoni "On Transforming UML models into performance models" Workshop on Transformations in UML, ETAPS 2001 Genova, Italy, April 7th, 2001.
Software Specification
- G. Balbo, G. Conte and M. A. Marsan. Performance Models of Multiprocessor Systems. Series in Computer Systems, The MIT Press, (1986).
- R. Pooley and P. King, "Using UML to derive stochastic process algebra modelsì Proceedings 15th UK Performance Engineering Workshop, 1999.Ý
- P. King and R. Pooley, "Derivation of Petri Net Performance Models from UML specificationsì Proceedings 11th Int. Conf. on Tools and techniques for computer Performance Evaluation, Illinois 2000.
- M. Bernardo and R. Gorrieri "Extend Markovian Process Algebra" In Proc. CONCUR '96, LNCS (Springer-Verlag) No. 1119, (1996) 315-330.
- M. Bernardo, P. Ciancarini and L. Donatiello, "AEMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures", in Wosp2000
Our Approach
- S. Balsamo, P. Inverardi, C. Mangano "An Approach to Performance Evaluation of Software Architectures" in IEEE Proc. WOSP'98.
- S. Balsamo, P. Inverardi, C. Mangano, L.Russo "Performance Evaluation of Software Architectures" in IEEE Proc. IWSSD-98.
- F. Andolfi, F. Aquilani, S. Balsamo, P. Inverardi "Deriving Performance Models of Software Architectures from Message Sequence Charts" in Wosp2000
- F. Andolfi, F. Aquilani, S. Balsamo, P. Inverardi " On using Queueing Network Models with finite capacity queues for Software Architectures performance predictionî in Proc. QNETí2000.
- F. Aquilani, S. Balsamo, P. Inverardi "Performance Analysis at the software architecture design level" TR-SAL-32, Technical Report Saladin Project, 2000, to appear on Performance Evaluation
-
-
-