Thursday, 09 February 2017
CBSE, QoSA, and SID
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
| Registration
|
10:00 - 10:30
| Welcome
Greeting of Prof. Nobert Henze, vice president of the Universität Karlsruhe (TH)
|
10:30 - 11:00
| Break
|
11:00 - 12:00
| Keynote
Components, Architecture and the Law - A Tricky Interplay
Thomas Dreier
Universität Karlsruhe (TH), Germany
|
12:00 - 13:30
| Lunch
|
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
| Break
|
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
| Break
|
17:30 - 20:00
| Reception at Schloss Karlsruhe (more info) |
Wednesday, 15.10.2008
| Time | Event
|
08:00 - 09:00
| Registration
|
09:00 - 10:00
| Keynote
Dealing with Design Erosion - Architecture Refactoring
Dr. Michael Stal
Siemens AG, Germany
|
10:00 - 10:30
| Break
|
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
SAP AG
|
12:00 - 13:30
| Lunch
|
13:30 - 17:00
| Tutorials
|
17:00 - 17:30
| Break
|
17:30 - 19:00
| Panel
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
| Registration
|
09:00 - 10:00
| Keynote
Rethinking the Use of Models in Software Architecture
Prof. Dr. Carlo Ghezzi
Politecnico di Milano, Italy
|
10:00 - 10:30
| Break
|
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
| Lunch
|
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
| Break
|
15:30 - 20:00
| Social Event (more info) |
Friday, 17.10.2008
| Time | Event
|
08:00 - 09:00
| Registration
|
09:00 - 10:00
| Keynote
Visualizing and Managing the Evolution of Socio-Technical Systems of Systems
Prof. Dr. Florian Matthes
TU Munich, Germany
|
10:00 - 10:30
| Break
|
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
| Lunch
|
13:30 - 14:30
| Keynote
Architecture and Agility -- an oxymoron?
Prof. Philippe Kruchten
University of British Columbia, Canada
|
14:30 - 15:00
| Break
|
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
| Break
|
17:00 - 18:30
| Closing Assembl |