Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
A wideband approach to integrating performance prediction into a software design environment
Proceedings of the 1st international workshop on Software and performance
A pattern-based approach to model software performance
Proceedings of the 2nd international workshop on Software and performance
Data Management for Mobile Computing
Data Management for Mobile Computing
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
MASIF: The OMG Mobile Agent System Interoperability Facility
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Automatic Ontology Construction for a Multiagent-Based Software Gathering Service
CIA '00 Proceedings of the 4th International Workshop on Cooperative Information Agents IV, The Future of Information Agents in Cyberspace
A Software Retrieval Service Based on Knowledge-Driven Agents
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Stochastic process algebras as a tool for performance and dependability modelling
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
| Hi-index | 0.00 |
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.