• DocumentCode
    1157022
  • Title

    Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets

  • Author

    Kounev, Samuel

  • Author_Institution
    Dept. of Comput. Sci., Darmstadt Univ. of Technol.
  • Volume
    32
  • Issue
    7
  • fYear
    2006
  • fDate
    7/1/2006 12:00:00 AM
  • Firstpage
    486
  • Lastpage
    502
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2006.69
  • Filename
    1677534