Thursday, 09 February 2017


CBSE and QoSA have a joint program at COMPARCH 2008. The joined sessions will be organized as mini-panels in each of the 90 minutes session slots. This means that each speaker gets a 20 minute time slot for presenting her/his paper. After all three presentations have been made there will be a 30 minute time slot for discussing the paper's topics as well as the overall theme of the whole session. The session chairs will guide the discussions during this mini-panels.

You can navigate to each day by selecting the appropriate day or scrolling down.

Tuesday, 14.10.2008

Time Event
08:30 - 10:00
10:00 - 10:30

Greeting of  Prof. Nobert Henze, vice president of the Universität Karlsruhe (TH)
10:30 - 11:00
11:00 - 12:00

Components, Architecture and the Law - A Tricky Interplay
Thomas Dreier
Universität Karlsruhe (TH), Germany
12:00 - 13:30
13:30 - 15:00
Technical Session 1

Session 1a: Analysis of Extra-functional Properties 1 Session 1b:New Component Models
Validating Access Control Configurations in J2EE Applications
Lianshan Sun, Gang Huang, Hong Mei
A Component Model for Control-Intensive Distributed Embedded Systems
Séverine Sentilles, Aneta Vulgarakis, Tomas Bures, Jan Carlson, Ivica Crnkovic
Classification of Component Vulnerabilities in Java Service Oriented Programming (SOP) Platforms
Pierre Parrend, Stephane Frenot
The CoSi Component Model: Reviving the Black-Box Nature of Components
Premysl Brada
Middleware Architecture Evaluation for Dependable Self-managing Systems
Yan Liu, Muhammad Ali Babar, Ian Gorton
Ada-CCM: Component-based Technology for Distributed Real-Time Systems
Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina
15:00 - 15:30
15:30 - 17:00
Technical Session 2

Session 2a:Analysis of Extra-functional Properties 2 Session 2b: Middleware for Component-Based Systems
Architectural Specification and Static Analyses of Contractual Application Properties
Guillaume Waignier, Anne-Francoise Le Meur, Laurence Duchien
ESCAPE: A Component-based Policy Framework for Sense and React Applications
Giovanni Russello, Leonardo Mostarda, Naranker Dualy
Style-based Model Transformation for Early Extrafunctional Analysis of Distributed Systems
Julien Mallet, Siegfried Rouvrais
Experiences from Developing a Component Technology Agnostic Adaptation Framework
Eli Gjørven, Frank Eliassen, Romain Rouvoy
Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems
Chiyoung Seo, Sam Malek, Nenad Medvidovic
A Practical Approach for Finding Stale References in a Dynamic Service Platform
Kiev Gama, Didier Donsez
17:00 - 17:30
17:30 - 20:00
Reception at Schloss Karlsruhe (more info)

Wednesday, 15.10.2008

Time Event
08:00 - 09:00
09:00 - 10:00

Dealing with Design Erosion - Architecture Refactoring
Dr. Michael Stal
Siemens AG, Germany
10:00 - 10:30
10:30 - 12:00
Industrial Experience Report Track

Index-based Process and Software Quality Control in Agile Development Projects
Nicole Rauch, Eberhard Kuhn, Holger Friedrich
andrena objects ag

Evaluating Failure Propagation in the Application Landscape of a Large Bank
Josef Lankes, Florian Matthes, Tarmo Ploom
TU Munich

Quality Considerations in SAP Architectures
Wolfgang Theilmann, Roger Kilian-Kehr
SAP Research, CEC Karlsruhe

Analyzing the Extensibility Options of Business Software Solutions
Marcus Echter
12:00 - 13:30
13:30 - 17:00

Tutorial 1 Tutorial 2 Tutorial 3

Systematically Designing Component Frameworks
Dr. Wolfgang Weck
independent Software-Architect, Zürich, Switzerland
Model-based Software Performance Prediction
Dr. Steffen Becker
FZI Forschungszentrum Informatik, Germany
Principles of Service-Oriented Architectures
Prof. Dr. Gregor Engels
University of Paderborn, Germany
17:00 - 17:30
17:30 - 19:00

Components and Services - Extra-functional Contracts Versus Service Level Agreements
Dr. Wolfgang Theilmann (SAP AG, Germany)
Mircea Trifu (FZI Forschungszentrum Informatik, Germany)
19:00 - 20:00
Software Industrial Day Reception (more info)

Thursday, 16.10.2008

Time Event
08:00 - 09:00
09:00 - 10:00

Rethinking the Use of Models in Software Architecture
Prof. Dr. Carlo Ghezzi
Politecnico di Milano, Italy
10:00 - 10:30
10:30 - 12:00
Technical Session 3

Session 3a: Formal Methods
Session 3b: Architectural Design Decisions
Synthesis of Connectors from Scenario-based Interaction Specifications
Meng Sun, Farhad Arbab
Sharing the Architectural Knowledge of Quantitative Analysis
Anton Jansen, Tjaard de Vries, Paris Avgeriou, Martijn van Veelen
State Space Reduction Techniques for Component Interfaces
Markus Lumpe, Lars Grunske, Jean-Guy Schneider
Comprehensive Architecture Evaluation and Management in Large Software-Systems
Frank Salger, Marcel Bennicke, Gregor Engels, Claus Lewerentz
Model Checking of Control-User Component-Based Parametrised Systems
Pavlina Varekova, Ivana Cerna
Designing the Enterprise Architecture Function
Max Stahlecker, Bas van der Raadt, Hans van Vliet
12:00 - 13:30
13:30 - 15:00
Technical Session 4

Session 4a: Validation & Verification
Session 4b: Methods of Development
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
Andreas Both, Wolf Zimmermann
Towards a Systematic Method for Identifying Business Components
Antonia Albani, Sven Overhage, Dominik Birkmeier
Structural Testing of Component-Based Systems
Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl
Life-Cycle Aware Modelling of Software Components
Heiko Koziolek, Steffen Becker, Jens Happe, Ralf Reussner
Towards Component-based Design and Verification of a micro-Controller
Yunja Choi, Christian Bunse
A Component Selection Framework for COTS Libraries
Bart George, Régis Fleurquin, Salah Sadou
15:00 - 15:30
15:30 - 20:00
Social Event (more info)

Friday, 17.10.2008

Time Event
08:00 - 09:00
09:00 - 10:00

Visualizing and Managing the Evolution of Socio-Technical Systems of Systems
Prof. Dr. Florian Matthes
TU Munich, Germany
10:00 - 10:30
10:30 - 12:00
Technical Session 5

Session 5a: Performance 1
Session 5b: Tools
Model-Driven Performance Analysis
Gabriel A. Moreno, Paulo Merson
Carmen : Software Component Model Checker
Ales Plsek, Jiri Adamek
Performance Prediction for Black-Box Components using Reengineered Parametric Behaviour Models
Michael Kuperberg, Klaus Krogmann, Ralf Reussner
A Tool to Visualize Architectural Design Decisions
Larix Lee, Philippe Kruchten
MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis
Vittorio Cortellessa, Pierluigi Pierini, Romina Spalazzese, Alessio Vianale
Integrating Quality-attribute Reasoning Frameworks in the ArchE Design Assistant
Andres Diaz-Pace, Hyunwoo Kim, Len Bass, Phil Bianco, Felix Bachmann
12:00 - 13:30
13:30 - 14:30

Architecture and Agility -- an oxymoron?
Prof. Philippe Kruchten
University of British Columbia, Canada
14:30 - 15:00
15:00 - 16:30
Technical Session 6

Session 6a: Performance 2
Session 6b: Empirical Studies
Quality Prediction of Service Compositions through Probabilistic Model Checking
Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli
An Empirical Investigation of the Effort of Creating Reusable Component-Based Models for Performance Prediction
Anne Martens, Steffen Becker, Heiko Koziolek, Ralf Reussner
Automating Performance Analysis from Taverna Workflows
Rafael Tolosana, Omer Rana, Jose Bañares
Scrapheap Challenge: A study of developing systems from scrap components
Gerald Kotonya, Simon Lock, John Mariani
Deploying Software Components for Performance
Vibhu Sharma, Pankaj Jalote
Design Reasoning Improves Software Design Quality
Antony Tang, Minh H. Tran, Jun Han, Hans van Vliet
16:30 - 17:00
17:00 - 18:30
Closing Assembl