Abstract
This paper presents a technique to carry out performance analysis of UML specifications. We consider UML specifications composed of activity, sequence and deployment diagrams. Specifications are translated into the stochastic π-calculus, and quantitative analysis is then performed via the BioSpi tool. The approach is applied to a web-based Micro-business case study.
Work partially funded by the IST-2001-32072 project DEGAS.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
BioSpi home page: http://www.wisdom.weizmann.ac.il/~biopsi/
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)
Caraguili, C., Piazza, D., Mura, I., et al.: Specification in UML of case studies. DEGAS project deliverable 24 (2002), http://www.omnys.it/degas/
DEGAS home page: http://www.omnys.it/degas/
Kalden, R., Mierick, I., Meyer, M.: Wireless Internet Access Based on GPRS. IEEE Personal Comm. 7, 8–18 (2000)
Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press, Cambridge (1999)
Pokozy-Korenblat, K., Priami, C.: Toward extracting pi-calculus from UML sequence and state diagrams. In: Proceedings of the workshop on Compositional verification of UML models 2003. ENTCS (to appear, 2003)
Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Shapiro, E.: Concurrent prolog: a progress report. In: Shapiro, E. (ed.) Concurrent Prolog, vol. 1, pp. 157–187. MIT Press, Cambridge (1987)
Silverman, W., Hirsh, M., Houri, A., Shapiro, E.: The Logix system user manual, Version 1.21 - Concurrent Prolog, vol. II. MIT Press, Cambridge (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pokozy-Korenblat, K., Priami, C., Quaglia, P. (2005). Performance Analysis of a UML Micro-business Case Study. In: Priami, C., Quaglia, P. (eds) Global Computing. GC 2004. Lecture Notes in Computer Science, vol 3267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31794-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-31794-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24101-0
Online ISBN: 978-3-540-31794-4
eBook Packages: Computer ScienceComputer Science (R0)