A Performance Engineering Case Study: Software Retrieval System

This chapter presents a case study in performance engineering. The case study consists of a Software Retrieval System based on agents. The system is modelled in a pragmatic way using the Unified Modeling Language and in a formal way using stochastic Petri Nets. Once the system has been modelled, performance figures are obtained from the formal model. Finally, some concluding remarks are obtained from our experience in the software performance process.

[1]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[2]  Eduardo Mena,et al.  A pattern-based approach to model software performance , 2000, WOSP '00.

[3]  Rob Pooley,et al.  The unified modelling language , 1999, IEE Proc. Softw..

[4]  Antoine-S Bailly,et al.  Science régionale - Walter Isard, Introduction to régional science. Englewood Cliffs (NJ), Prentice-Hall, 1975 , 1975 .

[5]  Peter,et al.  The Uniied Modeling Language and Performance Engineering 2 past Work in Software Performance Engineering 2.2 past Approaches 2 -extending Formal Notations , 2007 .

[6]  Eduardo Mena,et al.  A Software Retrieval Service Based on Knowledge-Driven Agents , 2000, CoopIS.

[7]  Mandyam M. Srinivasan,et al.  Introduction To Computer System Performance Evaluation , 1992 .

[8]  Evaggelia Pitoura,et al.  Data Management for Mobile Computing , 1997, The Kluwer International Series on Advances in Database Systems.

[9]  Peter F. Linington,et al.  Communications software performance prediction , 1997 .

[10]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[11]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[12]  Bran Selic,et al.  A wideband approach to integrating performance prediction into a software design environment , 1998, WOSP '98.

[13]  Eduardo Mena,et al.  Performance Evaluation for the Design of Agent-based Systems: A Petri Net Approach , 2000 .

[14]  Dejan S. Milojicic,et al.  MASIF: The OMG Mobile Agent System Interoperability Facility , 1998, Mobile Agents.

[15]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[16]  Jörn Freiheit,et al.  Petri Net Modelling and Performability Evaluation with TimeNET 3.0 , 2000, Computer Performance Evaluation / TOOLS.

[17]  Ulrich Herzog,et al.  Stochastic process algebras as a tool for performance and dependability modelling , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[18]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[19]  Eduardo Mena,et al.  Automatic Ontology Construction for a Multiagent-Based Software Gathering Service , 2000, CIA.