Second International Workshop on Software and Performance
WOSP 2000

Ottawa, Canada
September 17-20, 2000
Tutorials: Sunday, September 17
Workshop: September 18-20

Sponsored by ACM SIGMETRICS and  ACM SIGSOFT, and IFIP WG 6.3 and 7.3.

Industrial Sponsors: Hewlett-Packard Labs, NORTEL.

Conference registration:




Saturday Sept 16

7:00 - 9:00 Registration

Sunday, Sept 17 Tutorials


Preliminary Tutorial Program (subject to re-arrangement). Participants are free to attend tutorials in either Track A or track B, as they prefer.

Track A Tutorials on UML and Performance

1. Designing Concurrent, Distributed, and Real-Time Applications with UML

Hassan Gomaa
Department of Information and Software Engineering
George Mason University

2. Deriving Performance Models from UML Designs

Dorina C. Petriu, Carleton University, Ottawa, Canada

3. UML Performance Data Model

Anciano, A. Llamosí, R. Puigjaner

Track B Tutorials on Performance Modeling and Capacity

1. Capacity analysis of computer systems

Tim Norton

2. Stochastic process algebra for software performance prediction

Nigel Thomas

3.  Dettection of Reversed Processes and Product Forms in Markovian
Process Algebra

Peter Harrison, Imperial College, London

5:30-7:30 Reception, Registration

Monday Sept. 18 - Wed Sept 20: Workshop Papers

List of Papers (session schedule is still to come)

Keynote address by C. U. Smith

Full Papers:

Characteristics of Scalability and Their Impact on Performance
Andre B. Bondi
AT&T Labs

Performance Analysis of the Transaction Based Software with
Auto-Sleep Function
Hiroyuki OKAMURA
Hiroshima University

An Analytic Model of Web Servers in Distributed Computing
Paul Reeser

Expressing Meaningful Processing Requirements among
Heterogeneous Nodes in an Active Network
Kevin Mills

Using Regression Splines for Software Performance Analysis and
Software Characterization
Murray Woodside
Carleton University

Evaluating the Performance Engineering Process
Andre Scholz
University of Magdeburg, Faculty of Computer Science

Design and Performance Modeling of Component
Interconnection Patterns for Distributed Software
Hassan Gomaa and Daniel Menasce
George Mason Univ.

Deriving QNM from MSCs for Performance Evaluation of SA
Paola Inverardi
Dip. Mat. Universita' dell'Aquila

Execution-Driven Performance Analysis for Distributed and
Parallel Systems
Thomas Fahringer
Institute for Software Science,
University of Vienna, Austria

Deriving a Queueing Network based Performance Model
from UML Diagrams
Vittorio Cortellessa
Dipartimento di Informatica Sistemi e
Produzione, Universita' di Roma "Tor Vergata"

Design of a Performance Technology Infrastructure to Support
the Construction of Responsive Software
E. Papaefstathiou
Microsoft Research Limited

AEMPA: A Process Algebraic Description Language for
the Performance Analysis of Software Architectures"
Marco Bernardo
Universita di Torino (Italy), Dipartimento di Informatica

Static Performance Prediction of Data-Dependent Programs
Hasyim Gautama
Faculty of Information Technology and Systems,
Delft University of Technology

Analytic Modeling of Load Balancing Policies for
Tasks with Heavy-tailed Distributions
Evgenia Smirni
College of William and Mary

Software Performance Antipatterns
Connie U. Smith
Performance Engineering Services

Optimizing Software Performance for IP Frame Reassembly in
an Integrated Architecture
Naraig Manjikian
Dept. of Elec./Comp. Eng., Queen's University

Performance Evaluation of an Enterprise JavaBean Server
Catalina Llado and Peter Harrison
Department of Computing, Imperial College

Experience Papers:
A Performance Monitoring System for Voice-over-IP
Adrian E. Conway

Using Analytic Models for Predicting Middleware
Dorina C. Petriu
Carleton University
Dept. of Systems & Computer Engineering

A UML Tool for an Automatic Generation of Simulation
L.B. Arief
Department of Computing Science,
University of Newcastle upon Tyne,
Newcastle Upon Tyne, England.

Quantitative System Evaluation with DSPNexpress 2000
Christoph Lindemann
Univ. Dortmund

Using UML Models for Performance Calculation
Fried Hoeben
Hoeben Software Architecture Consulting

A Pattern-Based Approach to Model Software Performance"
Jose Merseguer
Departamento de Informatica e Ingenieria de Sistemas,
Centro Politecnico Superior, Universidad de Zaragoza

UML Extensions for the Specification of Latency Constraints in
Architectural Models
Miguel Angel de Miguel
Engennier Research Thomson-LCR

Position papers:
Visual representation of stochastic process algebra models
Nigel Thomas
University of Durham, UK

Performance Evaluation of Mobility-based Software
Vincenzo Grassi
Dip. di Informatica, Sistemi e
Universita' di Roma "Tor Vergata"

Towards a Common Process Model for Systems Development
and Performance Engineering
Peter H. Hughes

Under the influence: How system architectures impeded
Leigh Davis
University of Tulsa

Scalability in Computer Systems: Formal Definitions and
Evaluation Methods
Aad van Moorsel
HP Labs, Palo Alto,

Design Patterns in Performance Prediction
A. Inkeri Verkamo
University of Helsinki
Dept. of Computer Science, Finland