Abstract

This thesis addresses the problem of analyzing the performance of an early design specification of a concurrent software system. The design is specified using Use Case Maps (UCMs), a scenario notation which describes paths with responsibilities overlayed on components. The resulting performance model is created using Layered Queueing Networks (LQNs). UCM2 LQN?, an automated conversion tool that generates LQNs from UCMs, and the algorithm behind it are introduced as a solution for bridging the gap between design and performance analysis. UCM2 LQN? has been integrated into the UCM Navigator editing tool and generates LQNs suitable for use as input into two existing LQN solvers. The UCM2 LQN? converter is validated against a set of in-house UCM designs for a Plain Old Telephone System, a Ticket Reservation System, and a Group Communication Server. It is also tested against two industrial designs for a Call Delivery and Set-up for Wireless Intelligent Networks and a Distributed Hand-off Protocol.

-- Jason Kealey - 12 Oct 2005

Discussion

• Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.