Saturday, April 2
Room E1.3/111
09:00 - 10:30 SESSION 1
09.00: Workshop opening
09.20: Invited Talk: Interface
Coherence of Reactive Software Components: Solutions and Challenges
Rolf Hennicker
(Ludwig-Maximilians-Universität München)
10:30 - 11:00 Coffee
11:00 - 12:30 SESSION 2
11.00: Enhanced Type-based Component
Compatibility Using Deployment Context Information
Premek Brada (University of West Bohemia)
11.30: Combining Proof and
Model-checking to Validate Reconfigurable Architectures
Arnaud Lanoix
(Nantes University), Julien Dormoy and Olga Kouchnarenko (University of Franche-Comté, Besançon)
12.00: Performance Certification of
Software Components
Erik Burger and Ralf Reussner (Karlsruhe Institute of Technology)
12:30 - 14:00 Lunch
14:00 - 16:00 SESSION 3
14:00: Reputation-based reliability
prediction of service compositions
Galina Besova,
Heike Wehrheim (University of Paderborn) and Annika Wagner (Fulda University of Applied Sciences)
14:30: ENT: A Generic Meta-Model for
the Description of Component-Based Applications
Jaroslav Šnajberk
and Premek Brada (University of West Bohemia)
15:00: Tutorial: Model-driven
Performance Engineering with the Palladio Component Model (Part I. -
Foundations and approach)
Michael
Hauck (FZI Research
Center for Information Technology, Karlsruhe)
16:00 - 16:30 Coffee
16:30 - 17:30 SESSION 4
16.30: Tutorial: Model-driven
Performance Engineering with the Palladio Component Model (Part II. - Tool set
demonstration)
Michael Hauck (FZI Research Center
for Information Technology, Karlsruhe)
17.15: Workshop closing