ÆMPA

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

ÆMPA: a process algebraic description language for the performance analysis of software architectures

Full text

Pdf (496 KB)

Source

Workshop on Software and Performance archive
Proceedings of the 2nd international workshop on Software and performance table of contents

Ottawa, Ontario, Canada

Pages: 1 - 11

Year of Publication: 2000

ISBN:1-58113-195-X

Authors

Marco Bernardo	Università di Torino, Dip. di Informatica, Corso Svizzera 185, 10149 Torino, Italy
Paolo Ciancarini	Università di Bologna, Dip. di Scienze dell'Inf., Mura Anteo Zamboni 7, 40127 Bologna, Italy
Lorenzo Donatiello	Università di Bologna, Dip. di Scienze dell'Inf., Mura Anteo Zamboni 7, 40127 Bologna, Italy

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IFIP WG 6.3 : IFIP WG 6.3
SIGMETRICS: ACM Special Interest Group on Measurement and Evaluation
IFIP WG 7.3 : IFIP WG 7.3

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 5, Citation Count: 7

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/350391.350394 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997 [doi>10.1145/258077.258078]
	2	Simonetta Balsamo , Paola Inverardi , Calogero Mangano, An approach to performance evaluation of software architectures, Proceedings of the 1st international workshop on Software and performance, p.178-190, October 12-16, 1998, Santa Fe, New Mexico, United States [doi>10.1145/287318.287354]
	3	M. Bemardo, "Theory and Application of Extended Markovian Process Algebra", Ph.D. Thesis, University of Bologna (Italy), 1999 (http ://www. di. unito, it/~bernardo/)
	4	Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello, On the formalization of architectural types with process algebras, Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications, p.140-148, November 06-10, 2000, San Diego, California, United States
	5	Marco Bernardo , Rance Cleaveland, A Theory of Testing for Markovian Processes, Proceedings of the 11th International Conference on Concurrency Theory, p.305-319, August 22-25, 2000
	6	Gérard Berry , Gérard Boudol, The chemical abstract machine, Theoretical Computer Science, v.96 n.1, p.217-248, 6 April 1992
	7	Rance Cleaveland , Steve Sims, The NCSU Concurrency Workbench, Proceedings of the 8th International Conference on Computer Aided Verification, p.394-397, August 03, 1996
	8	S. Gilmore, J. Hillston, R. Holton, "From SPA Models to Programs", in Proc. of the 4th Int. Workshop on Process Algebras and Performance Modelling (PAPM '96), CLUT, pp. 179-197, Torino (Italy), 1996
	9	Håkan Grahn , Jan Bosch, Some initial performance characteristics of three architectural styles, Proceedings of the 1st international workshop on Software and performance, p.197-198, October 12-16, 1998, Santa Fe, New Mexico, United States [doi>10.1145/287318.287361]
	10	H. Hermarms, "Interactive Markov Chains", Ph.D. Thesis, University of Erlaxlgen-Numberg (Germany), 1998
	11	Jane Hillston, A compositional approach to performance modelling, Cambridge University Press, New York, NY, 1996
	12	J. Hillston, "Exploiting Structure in Solution: Decomposing Composed Models", in Proc. of the 6th Int. Workshop on Process Algebras and Performance Modelling (PAPM '98), pp. 1-15, Nice (France), 1998
	13	C.A.R. Hoax-e, "Communicating Sequential Processes", Prentice Hall, 1985
	14	P. Inverardi , C. Mangano , F. Russo , S. Balsamo, Performance Evaluation of a Software Architecture: A Case Study, Proceedings of the 9th international workshop on Software specification and design, p.116, April 16-18, 1998
	15	Paola Inverardi , Alexander L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, v.21 n.4, p.373-386, April 1995 [doi>10.1109/32.385973]
	16	Leonard Kleinrock, Theory, Volume 1, Queueing Systems, Wiley-Interscience, 1975
	17	Philippe Kruchten, The 4+1 View Model of Architecture, IEEE Software, v.12 n.6, p.42-50, November 1995 [doi>10.1109/52.469759]
	18	Chung-Horng Lung , Anant Jalnapurkar , Asham El-Rayess, Performance-oriented software architecture engineering: an experience report, Proceedings of the 1st international workshop on Software and performance, p.191-196, October 12-16, 1998, Santa Fe, New Mexico, United States [doi>10.1145/287318.287359]
	19	R. Milner, Communication and concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	20	Object Management Group, "Unified Modeling Language Specification", Tech. Rep. available at uml.stfl.com, 1998
	21	Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
	22	Dorina C. Petriu , Xin Wang, Deriving Software Performance Models from Architectural Patterns by Graph Transformations, Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations, p.475-488, November 16-20, 1998
	23	Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
	24	Connie U. Smith, Performance Engineering of Software Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	25	B. Spitznagel, D. Garlaxl, "Architecture-Based Performance Analysis", in Proc. of the 10th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE '98), 1998
	26	W.J. Stewart, "Introduction to the Numerical Solution of Markov Chains", Princeton University Press, 1994
	27	Lloyd G. Williams , Connie U. Smith, Performance evaluation of software architectures, Proceedings of the 1st international workshop on Software and performance, p.164-177, October 12-16, 1998, Santa Fe, New Mexico, United States [doi>10.1145/287318.287353]

CITED BY 7

	José Merseguer , Javier Campos , Eduardo Mena, Performance analysis of internet based software retrieval systems using Petri Nets, Proceedings of the 4th ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems, p.47-56, July 2001, Rome, Italy
	Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello, On the formalization of architectural types with process algebras, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.140-148, Nov. 2000
	Vittorio Cortellessa , Raffaela Mirandola, PRIMA-UML: a performance validation incremental methodology on early UML diagrams, Science of Computer Programming, v.44 n.1, p.101-129, July 2002
	Simonetta Balsamo , Marco Bernardo , Marta Simeoni, Combining stochastic process algebras and queueing networks for software architecture analysis, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy
	Paola Inverardi, The SALADIN project: summary report, ACM SIGSOFT Software Engineering Notes, v.27 n.3, May 2002
	Simonetta Balsamo , Antinisca Di Marco , Paola Inverardi , Marta Simeoni, Model-Based Performance Prediction in Software Development: A Survey, IEEE Transactions on Software Engineering, v.30 n.5, p.295-310, May 2004
	José Merseguer , Javier Campos , Eduardo Mena, Analysing internet software retrieval systems: modeling and performance comparison, Wireless Networks, v.9 n.3, p.223-238, May 2003