Abstract :
Performance models are used increasingly throughout the phases of the software engineering lifecycle of distributed component-based systems. However, as systems grow in size and complexity, building models that accurately capture the different aspects of their behavior becomes a more and more challenging task. In this paper, we present a novel case study of a realistic distributed component-based system, showing how queueing Petri net models can be exploited as a powerful performance prediction tool in the software engineering process. A detailed system model is built in a step-by-step fashion, validated, and then used to evaluate the system performance and scalability. Along with the case study, a practical performance modeling methodology is presented which helps to construct models that accurately reflect the system performance and scalability characteristics. Taking advantage of the modeling power and expressiveness of queueing Petri nets, our approach makes it possible to model the system at a higher degree of accuracy, providing a number of important benefits
Keywords :
Petri nets; distributed processing; formal specification; object-oriented programming; program verification; queueing theory; software performance evaluation; distributed component-based system; performance prediction tool; queueing Petri net model; software engineering lifecycle; software performance evaluation; software verification; Application software; Distributed control; Performance analysis; Petri nets; Power system modeling; Predictive models; Quality of service; Scalability; Software engineering; System performance; Performance modeling and prediction; distributed systems.; performance evaluation; software verification;