This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002.
The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.
Author(s): S. C. Borst, O. J. Boxma, R. Núñez-Queija (auth.), Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder (eds.)
Series: Lecture Notes in Computer Science 2324
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 356
Tags: System Performance and Evaluation; Software Engineering; Simulation and Modeling
Heavy Tails: The Effect of the Service Discipline....Pages 1-30
The Möbius State-Level Abstract Functional Interface....Pages 31-50
The ProC/B Toolset for the Modelling and Analysis of Process Chains....Pages 51-70
MRMSolve: Distribution Estimation of Large Markov Reward Models....Pages 71-81
PhFit: A General Phase-Type Fitting Tool....Pages 82-91
Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process....Pages 92-110
PEPA Nets: A Structured Performance Modelling Formalism....Pages 111-130
Validation of GSPN and SWN Models through the PROD Tool....Pages 131-140
Software Performance Models from System Scenarios in Use Case Maps....Pages 141-158
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications....Pages 159-177
A Passage-Time Preserving Equivalence for Semi-Markov Processes....Pages 178-187
Symbolic Methods for the State Space Exploration of GSPN Models....Pages 188-199
PRISM: Probabilistic Symbolic Model Checker....Pages 200-204
MAMSolver: A Matrix Analytic Methods Tool....Pages 205-211
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support....Pages 212-219
GILK: A Dynamic Instrumentation Tool for the Linux Kernel....Pages 220-226
Geist: A Web Traffic Generation Tool....Pages 227-232
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems....Pages 233-238
A Visual Formalism for the Composition of Stochastic Petri Nets....Pages 239-258
Symbolic Performance Prediction of Data-Dependent Parallel Programs....Pages 259-278
Analysis of a Transaction System with Checkpointing, Failures, and Rollback....Pages 279-288
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool....Pages 289-308
Hierarchical Workload Characterization for a Busy Web Server....Pages 309-328
Enabling Network Caching of Dynamic Web Objects....Pages 329-338
A Tool for Controlling Response Time in Real-Time Systems....Pages 339-348
