Performance analysis of a UML micro-business case study

Authors:
Katerina Pokozy-Korenblat;Corrado Priami;Paola Quaglia
Affiliations:
Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy;Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy;Dipartimento di Informatica e Telecomunicazioni, Università di Trento, Italy
Venue:
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Year:
2004

Citing 5
Cited 1

Concurrent Prolog: a progress report

Concurrent Prolog
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes

A design environment for mobile applications

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing

Quantified Score

Hi-index	0.00

Visualization

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.