Estimated shuttle bus departure hours
08,10 Bosque Sol
08,20 Isla Mallorca
08,25 Mirador
08,30 Palas Atenea

9:00 - 9:30

Shuttle bus arrival and registration

Tutorials

9:30 - 13:00

Software Rejuvenation - Modeling and Analysis
Kishor Trivedi and Kalyan Vaidyanathan, Duke University

13:00 – 14:30

Lunch

14:30 – 18:00

Workload Information Tutorial: Mapping Businesses and Applications to Servers and Processes
Tim R. Norton, Visa USA

Estimated shuttle bus departure hours
08,10 Bosque Sol
08,20 Isla Mallorca
08,25 Mirador
08,30 Palas Atenea

9:00

Shuttle bus arrival

Tutorials

9:30 - 13:00

MARTE: The Future of the UML Profile for Schedulability, Performance and Time
Murray Woodside and Dorina C. Petriu, Carleton University

13:00 – 14:30

Lunch

14:30 – 14:45

Opening remarks

14:45 - 15:45

Invited Talk

An Overview of MDA: Where It Came From and Where It's Going
Michael Rosen, Wilton Consulting Group, USA
Chair: Dorina Petriu

15:45 – 16:15

Break

16:15 – 18:00

Session 1: Model Transformations 1

Chair: Connie Smith

Regular Papers

16:15 – 16:45

Performance by Unified Model Analysis (PUMA)
Murray Woodside, Dorina. C. Petriu, Dorin B. Petriu, Hui Shen, Toqeer Israr, ( Carleton University , Ottawa , Canada ), Jose Merseguer( Universidad de Zaragoza , Spain )

16:45 – 17:15

From StoCharts to MoDeST: a comparative reliability analysis of train radio communications
Holger Hermanns (Universität des Saarlandes, Saarbrücken, Germany),David N. Jansen (Max-Planck-Institut für Informatik, Saarbrücken, Germany),Yaroslav S. Usenko (Technical University of Eindhoven , The Netherlands )

17:15 – 17:45

From Design to Analysis Models: a Kernel Language for Performance and Reliability Analysis of Component-based Systems
Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta (Università di Roma “Tor Vergata”, Roma, Italy)

Poster Paper

17:45 – 18:00

Performance Evaluation of UML Software Architectures with Multiclass Queueing Network Models
Simonetta Balsamo, Moreno Marzolla (Università Ca' Foscari di Venezia, Mestre, Italy)

20:30

CONFERENCE RECEPTION
Bellver Castle

Estimated shuttle bus departure hours
07,25 Bosque Sol
07,35 Isla Mallorca
07,40 Mirador
07,45 Palas Atenea

8:00

Shuttle bus arrival

8:30 – 10:00

Session 2: System Performance 1

Chair: Murray Woodside

Regular Papers

8:30 – 9:00

Ensuring Stable Performance for Systems that Degrade
Alberto Avritzer, Andre Bondi ( Siemens Corporate Research, Princeton , USA ), Elaine J. Weyuker (AT&T Labs ­Research, Florham Park , USA )

9:00 – 9:30

A Method for Evaluating the Impact of Software Configuration
Monchai Sopitkamol, Daniel Menasce ( George Mason University , Fairfax , USA )

9:30 – 10:00

Run-time Performance Management of the Siena Publish/Subscribe Middleware
Mauro Caporuscio, Antinisca Di Marco, Paola Inverardi (Università dell'Aquila, Italy)

10:00 – 11:00

Invited Talk

Designing High Performance Data Access Systems

Andrew Hanushevsky, Stanford University , USA

Chair: Günter Haring

11:00 - 11:30

Break

11:30 – 13:00

Session 3: Model Transformations 2

Chair: Carlos Juiz

Regular Papers

11:30 – 12:00

A Model Transformation Framework for the Automated Building of Performance Models from UML Models
Andrea D`Ambrogio (Università di Roma ”Tor Vergata”, Roma, Italy)

12:00 – 12:30

From UML Models to Software Performance Results: An SPE Process Based on XML Interchange Formats
Connie U. Smih ( Performance Engineering Services, Santa Fe , USA ), Vittorio Cortellessa, Antinisca Di Marco (Università dell'Aquila, Italy), Catalina M. Llado ( University of Balearic Islands , Palma de Mallorca , Spain ), Lloyd G. Williams (Software Engineering Research, Louisville , USA )

12:30 – 13:00

From UML to LQN by XML algebra-based graph transformations
Gordon Ping Gu, Dorina C. Petriu (Carleton University, Ottawa, Canada)

13:00 – 14:30

Lunch

14:30 – 15:40

Session 4: Measurement and Testing

Chair: Vincenzo Grassi

Regular Paper

14:30 – 15:00

Application of Redundant Computation in Software Performance Analysis
Zakarya Alzamil ( Riyadh College of Technology , Saudi Arabia ), Bogdan Korel (Illinois Institute of Technology, Chicago , USA )

Experience Paper

15:00 – 15:30

Towards a Framework for Source Code Instrumentation Measurement Validation
Haleh Najafzadeh, Seth Chaiken(State University of New York , Albany , USA )

Poster Paper

15.30 – 15:40

Software Performance Testing Using Covering Arrays: Efficient Screening Designs with Categorical Factors
Dean S. Hoskins, Charles J. Colbourn, Douglas C. Montgomery ( Arizona State University , Tempe , USA )

15:40 – 16:10

Break

16:10 – 18:00

Working Workshop Session

Suggestions for topics may be e-mailed in advance to wosp2005@uib.es

21:00

CONFERENCE DINNER
Bahia Mediterraneo

Estimated shuttle bus departure hours
07,25 Bosque Sol
07,35 Isla Mallorca
07,40 Mirador
07,45 Palas Atenea

8:00

Shuttle bus arrival

8:30 – 9:10

Session 5: SPE Applications

Chair: Vittorio Cortellessa

Experience Paper

8:30 – 9:00

Modeling the Performance of a NAT/Firewall Network Service for the IXP2400
Tom Verdickt, Wim Van de Meerssche, Koert Vlaeminck, Tim Stevens, Filip De Turck, Bart Dhoedt ( Ghent University ­IMEC, Belgium )

Work in Progress Paper

9:00 – 9:10

Applying SPE Techniques for Modeling a Grid-enabled JAVA Platform
Mariela Curiel, María Angélica Pérez de Ovalles, Ricardo González (Simon Bolivar University, Caracas, Venezuela)

9:10 – 10:10

Invited Talk

Safety Critical Software Development for Space Application

Michel Turin, Gti6, France

Chair: Ramon Puigjaner

10:10 – 10:50

Break

10:50 – 13:00

Session 6: Modelling and Workloads

Chair: Simonetta Balsamo

Regular Paper

10:50 – 11:20

Automatic Generation of Layered Queuing Software Performance Models from Commonly Available Traces
Tauseef A. Israr (IBM Canada, Ottawa , Canada ),Danny H. Lau , Greg Franks , Murray Woodside ( Carleton University , Ottawa , Canada )

Experience Papers

11:20 – 11:50

Solving Layered Queueing Networks of Large Client-Server Systems with Symmetric Replication
Tariq Omari, Greg Franks, Murray Woodside, Amy Pan ( Carleton University , Ottawa , Canada )

11:50 – 12:20

Extending TPC-W to allow for fine grained workload specification
Christian Kurz ( University of Vienna , Austria ),Carlos Guerrero, Ramon Puigjaner ( University of Balearic Islands , Palma de Mallorca , Spain ), Günter Haring ( University of Vienna , Austria )

Poster Papers

12:20 – 12:30

Modeling continuous changes of the user`s dynamic behavior in the WWW
Raúl Peña-Ortiz(Intelligent Software Components S.A., Spain ), Julio Sahuquillo, Ana Pont, José Antonio Gil (Polytechnic University of Valencia, Spain)

12:30 – 12:40

Fast Estimation of Probabilities of Soft Deadline Misses in Layered Software Performance Models
Tao Zheng, Murray Woodside ( Carleton University , Ottawa , Canada )

12:40 – 12:50

A Web Service for Solving Queuing Network Models using PMIF
Jerònia Rosselló, Catalina M. Lladó, Ramon Puigjaner (University of Balearic Islands, Palma de Mallorca, Spain), Connie U. Smith (Performance Engineering Services, Santa Fe, USA)

Work in Progress Paper

12:50 – 13:00

Automatic Performance Evaluation and Feedback for MASCOT designs
Pere P. Sancho, Carlos Juiz, Ramon Puigjaner (University of Balearic Islands , Palma de Mallorca , Spain )

13:00 – 14:30

Lunch

14:30 – 16:00

Session 7: Multiple Non-functional Aspects

Chair: Raffaela Mirandola

Regular Papers

14:30 – 15:00

How far are we from the definition of a common software performance ontology?
Vittorio Cortellessa (Università dell'Aquila, Italy)

15:00 – 15:30

Performance Assessment on Ambient Intelligent Applications through Ontologies
Isaac Lera, Carlos Juiz ( University of Balearic Islands , Palma de Mallorca , Spain ), Christian Kurz ( University of Vienna , Austria ), Ramon Puigjaner ( University of Balearic Islands , Palma de Mallorca , Spain ), Günter Haring, Joachim Zottl ( University of Vienna , Austria )

15:30 – 16:00

Architecture Based Analysis of Performance, Reliability and Security of Software Systems
Vibhu Saujanya Sharma (Indian Institute of Technology Kanpur , India ), Kishor S. Trivedi ( Duke University , Durham , USA )

16:00 – 16:30

Break

16:30 – 18:20

Session 8: System Performance 2

Chair: Daniel Menasce

Regular Papers

16:30 – 17:00

A capacity management service for resource pools
Jerry Rolia, Lucy Cherkasova, Martin Arlitt (Hewlett-Packard Laboratories, Palo Alto , USA ), Artur Andrzejak (Zuse Institute Berlin, Berlin, Germany)

17:00 – 17:30

Evolutionary Performance-Oriented Development of Parallel Programs by Composition of Components
Nasim Mahmood, Yusheng Feng, James C. Browne ( University of Texas at Austin , USA )

Experience Paper

17:30 – 18:00

A J2EE Application for Process Accounting, LPAR Accounting, and Transaction Accounting
C. Eric Wu, William P. Horn ( IBM T.J. Watson Research Center , Yorktown Heights , USA )

Poster Paper

18:00 – 18:10

Performance Characterization of Decentralized Algorithms for Replica Selection in Distributed Object Systems
Ceryen Tan (Massachusetts Institute of Technology, Cambridge , USA ), Kevin Mills (National Institute of Standards and Technology, Gaithersburg , USA )

Work in Progress Paper

18:10 – 18:20

EPYFQ: A Novel Scheduling Algorithm for Performance Virtualization in Shared Storage Environment
Yong Feng, Yan-yuan Zhang, Rui-yong Jia (Northwestern Polytechnical University, Xi´an, P.R.China)

Thank you in advance.

WOSP'2005 PC co-chairs

news

17/05/2005 Registration for participants is available [here]

16/05/2005 Registration for authors is closed

21/04/2005 Preliminary Program has been updated

29/03/2005 Registration for authors is available [here]

11/03/2005 Camera ready submission is available

10/03/2005 Preliminary Program has been published

13/12/2004 Submission hard deadline has been extended to 17/12/2004

30/11/2004 Submission deadline has been extended to 13/12/2004

23/11/2004 Paper submission is available

11/05/2004 WOSP web site has been published