Conference Program

CompArch2012 Program
Time Monday June 25
Tuesday June 26
Wednesday June 27
Industry Day
Thursday June 28
08:30-09:00 Opening Opening
09:00-09:30 WCOP (Sala Affrescata)
ROSS (Sala rossa)
Keynote 1: Alberto Montresor
Keynote 2: Jan Bosch
Keynote 3: Johan Bendz
10:00-10:30 Coffee Break Coffee Break Coffee Break
10:30-11:00 Coffee Break CBSE (Teatro)
QoSA (Sala Affrescata)
ISARCS (Sala Rossa)
Industrial Presentations (Teatro) CBSE (Teatro)
QoSA (Sala Affrescata)
11:00-11:30 WCOP (Sala Affrescata)
ROSS (Sala Rossa)
12:30-13:00 Lunch break Lunch break Lunch break Lunch break
14:00-14:30 WCOP (Sala Affrescata)
ROSS (Sala Rossa)
CBSE (Teatro)
QoSA (Sala Affrescata)
ISARCS (Sala Rossa)
Industrial presentations (Teatro) CBSE (Teatro)
QoSA (Sala Affrescata)
16:00-16:30 Coffee break Coffee break Closing
16:30-17:00 Tutorial (Sala Affrescata) CBSE (Teatro)
QoSA (Sala Affrescata)
ISARCS (Sala Rossa)
Color Legend Parallel Session Plenary Session Breaks

WCOP Program, Monday June 25

WCOP Program, Monday June 25
Room: Sala Affrescata
08:00-08:30 Registration (La Rocca)
08:30-09:00 Workshop Opening


  • Dominik Rost (Fraunhofer IESE, Germany), Generation of Task-Specific Architecture Documentation for Developers
  • Benjamin Klatt and Martin Küster (FZI, Germany), Respecting Component Architecture to Migrate Product Copies to a Software Product Line
  • Marco Di Beneditto (Federal University of Rio de Janeiro, Brazil), Automating the Reconfiguration for Self-Adaptable Software
  • Dominic Seiffert (University of Mannheim, Germany), Automating the Wrapping of Software Building Blocks with Test Cases
  • Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene (University of Milan, Italy) Components monitoring through formal specifications
  • Pavel Jancik, Pavel Parizek and Jan Kofron (Charles University in Prague, Czech Republic) BeJC: Checking Compliance between Java Implementation and Behavior Specification
10:30-11:00 Coffee Break
11:00-11:15 Planning of Break-out Groups
11:15-12:30 Discussion in Break-out Groups (continuing over lunch)
12:30-14:00 Lunch Break
14:00-15:45 Presentations of Break-out Groups
15:45-16:00 Workshop Closing
16:00-16:30 Coffee Break
16:30-18:00 Tutorial: Classification framework of component models, I. Crnkovic
Sala Affrescata, La Rocca

ROSS Program, Monday June 25

ROSS Program, Monday June 25
Room: Sala Rossa
09:00-09:45 Registration
09:45-10:00 Welcome and Introduction to ROSS, I. Crnkovic, I. Stamelos
10:00-10:30 The OPENSME project, I. Stamelos
10:30-11:00 Coffee Break
11:00-11:30 Open Source Reuse Business Models, R. Glott
11:30-12:00 Component Adaptation Environment, G. Kakarontzas
12:00-12:30 Application Engineering Process, I. Crnkovic
12:30-14:00 Lunch Break
14:00-16:00 Panel Discussion: Magnus Larsson, ABB Corporate Research, Sweden; Darko Huljenic, Ericsson Nikola Tesla, Croatia; Eduardo Almeida, Bahia University Salvador, Brazil; Ruediger Glott, United Nations University, Maastricht, The Netherlands; Ioannis Stamelos, Thessaloniki University, Greece
16:00-16:30 Coffee Break
16:30-18:00 Tutorial: Component Models, I. Crnkovic
Sala Affrescata, La Rocca

Abstract In the last decade a large number of different software component models have been developed, with different aims and using different principles and technologies. This has resulted in a number of models which have many similarities, but also principal differences, and in many cases unclear concepts. Component-based development has not succeeded in providing standard principles, as has, for example, object-oriented development. In order to increase the understanding of the concepts, and to differentiate component models more easily, this paper identifies, discusses and characterises fundamental principles of component models, and provides a Component Model Classification Framework based on these principles. Further, the paper classifies a large number of component models using this framework.

CompArch Main Program, Tuesday June 26

CompArch Main Program, Tuesday June 26
08:00-08:30 Registration (Teatro)
08:30-09:00 CompArch Opening (Teatro)
09:00-10:00 Keynote: Alberto Montresor Designing extreme distributed systems: challenges and opportunities.
Chair: Vincenzo Grassi
Room: Teatro
10:00-10:30 Coffee Break
10:30-12:30 Session 1
CBSE: Models and Modeling
Chair: Oliver Hummel
Room: Teatro
ISARCS: Evaluation of Security Issues
Chair: Javier Lopez
Room: Sala Rossa
QoSA: Evolution and Flexibility
Chair: Mark van den Brand
Room: Sala Affrescata
  • 10:30 Fabian Brosig, Nikolaus Huber and Samuel Kounev. Modeling Parameter and Context Dependencies in Online Architecture-Level Performance Models
  • 11:00 Romain Rouvoy and Philippe Merle. Rapid Prototyping of Domain-Specific Architecture Languages
  • 11:30 Christian Heinzemann, Claudia Priesterjahn and Steffen Becker. Towards Modeling Reconfiguration in Hierarchical Component Architectures (short paper)
  • 11:45 Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes and Philippe Aniorte. Semantic mappings between service, component and agent models (short paper)
  • 12:00 Thomas Calmant, Joao Claudio Americo, Olivier Gattaz, Didier Donsez and Kiev Gama. A dynamic and service-oriented component model for Python long-lived applications (short paper)
  • 10:30 Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Gernot Spiegelberg and Alois Knoll. Early Safety Evaluation of Design Decisions in E/E Architecture according to ISO 26262
  • 11:00 Christopher Staite and Rami Bahsoon. Evaluating Identity Management Architectures
  • 11:30 Ricardo J. Rodríguez, Catia Trubiani and Jose Merseguer. Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems
  • 12:00 Milena Guessi, Elisa Yumi Nakagawa, Flavio Oquendo and José Carlos Maldonado. Architectural Description of Embedded Systems: a Systematic Review
  • 10:30 Jeffrey M. Barnes.NASA's Advanced Multimission Operations System: A Case Study in Software Architecture Evolution
  • 11:00 Matthias Naab and Johannes Stammel. Architectural Flexibility in a Software-System's Life-Cycle: Systematic Construction and Exploitation of Flexibility
  • 11:30 Nour Ali, Jacek Rosik and Jim Buckley. Characterizing Real-Time Reflexion-based Architecture Recovery in Practice
  • 12:00 CompArch Young Investigator Award
    Benjamin Klatt and Martin Küster (FZI, Germany) Respecting Component Architecture to Migrate Product Copies to a Software Product Line
12:30-14:00 Lunch Break
14:00-16:00 Session 2
CBSE: Development of Component-Based Systems
Chair: Jan Carlsson
Room: Teatro
ISARCS: Security in Distributed Architectures
Chair: Jorge Cuellar
Room: Sala Rossa
QoSA: Architecture Design and Refactoring
Chair: Clemens Szyperski
Room: Sala Affrescata
  • 14:00 Kung-Kiu Lau, Keng-Yap Ng and Tauseef Rana. Incremental Construction of Component-based Systems
  • 14:30 Pietro Abate, Roberto Di Cosmo, Ralf Treinen and Stefano Zacchiroli. Learning from the Future of Component Repositories
  • 15:00 Josip Maras, Luka Lednicki and Ivica Crnkovic. 15 years of CBSE Symposium – impact on the research community
  • 15:30 Petr Stepan and Kung-Kiu Lau. Controller Patterns for Component-based Reactive Control Software Systems (short paper)
  • 15:45 Colin Atkinson and Oliver Hummel. Iterative and Incremental Development of Component-Based Software Architectures (short paper)
  • 14:00 Benjamin Aziz Application of Formal Analysis to Enhancing Trust in a Complex Grid-based Operating System
  • 14:30 Manuel Oriol, Robin Steiger, Sascha Stoeter, Egemen Vardar, Michael Wahler, Heiko Koziolek and Atul Kumar FASA: A Scalable Software Framework for Distributed Control Systems
  • 15:00 Funmilade Faniyi and Rami Bahsoon Self-Managing SLA Compliance in Cloud Architectures: A Market-based Approach
  • 15:30 Open Discussion
  • 14:00 Davide Arcelli, Vittorio Cortellessa and Catia Trubiani. Antipattern-Based Model Refactoring for Software Performance Improvement
  • 14:30 Azadeh Alebrahim and Maritta Heisel.Supporting Quality-Driven Design Decisions by Modeling Variability (position paper)
  • 15:00 Zoya Durdik and Ralf Reussner. Position Paper: Approach for Architectural Design and Modelling with Documented Design Decisions (ADMD3) (position paper)
  • 15:30 Vittorio Cortellessa, Romina Eramo, Michele Tucci and Alfonso Pierantonio.Performance-driven architectural refactoring through bidirectional model transformations (position paper)
16:00-16:30 Coffee Break
16:30-18:00 Session 3
CBSE: Formal Approaches to CBSE
Chair: Lars Grunske
Room: Teatro
Chair: Vittorio Cortellessa
Room: Sala Affrescata
  • 16:30 Nikola Benes, Barbora Buhnova, Ivana Cerna and Radek Oslejsek. Reliability Analysis in Component-Based Development via Probabilistic Model Checking
  • 17:00 Tomáš Pop, František Plášil, Matěj Outlý, Michal Malohlava and Tomáš Bureš. Property Networks Allowing Oracle-based Mode-change Propagation in Hierarchical Components
  • 17:30 Ruzhen Dong, Johannes Faber, Zhiming Liu, Jiri Srba, Naijun Zhan and Jiaqi Zhu. Unblockable Compositions of Software Components (short paper)
  • 17:45 Sven Karol, Christoff Bürger and Uwe Assmann. Towards Well-formed Fragment Composition with Reference Attribute Grammars (short paper)
  • 16:30 Thomas Haitzer and Uwe Zdun. DSL-based Support for Semi-automated Architectural Component Model Abstraction throughout the Software Lifecycle
  • 17:00 Yanja Dajsuren, Mark Van Den Brand, Alexander Serebrenik and Rudolf Huisman. Automotive ADLs: A Study on Enforcing Consistency Through Multiple Architectural Levels
  • 17:30 Nikolaus Huber, Fabian Brosig and Samuel Kounev. Modeling Dynamic Virtualized Resource Landscapes

CompArch Main Program, Industry Day, Wednesday June 27

CompArch Main Program, Industry Day, Wednesday June 27
Room: Teatro
09:00-10:00 Keynote: Jan Bosch Speed and Innovation through Architecture
Chair: Magnus Larsson
Room: Teatro
10:00-10:30 Coffee Break
Session I
Chair: Anne Koziolek
10:30-11:00 Antonino Sabetta, Michele Bezzi, Samuel Paul Kaluvuri (SAP Research, France), Towards a development environment to orchestrate services with certified security properties
11:00-11:30 Cosmin-Septimiu Nechifor (Siemens Romania), IoT.est: A test driven approach for Internet of Things service components
11:30-12:00 Emanuela Barbi, Giovanni Cantone, Alessandro D’Angiò, Davide Falessi, Vincezo Sabbatino (University of Rome Tor Vergata, SELEX Sistemi Integrati), Interoperability Among UML Tools: an Industrial Case Study
12:00-12:30 Stefano Puri (INTECS, Italy), CHESS: Composition with Guarantees for High-integrity Embedded Software Components Assembly
12:30-14:00 Lunch Break
Session II
Chair: Moreno Marzolla
14:00-14:30 Darko Huljenic (Ericcson Croatia), Software architecture challenges in evolvable systems
14:30-15:00 Roland Weiss, Daniele Repetto, Heiko Koziolek (ABB Research), Perseverance in Sustainable Software Architecting
15:00-15:30 Robert Vaupel (IBM, Germany), Operating System Development Driving Forces, Critical Steps, Decision Processes

CompArch Main Program, Thursday June 28

CompArch Main Program, Thursday June 28
09:00-10:00 Keynote: Johan Bendz International standards supporting quality in software architecture
Chair: Antonio Vallecillo
Room: Teatro
10:00-10:30 Coffee Break
10:30-12:30 Session 4
CBSE: Pervasive and Real-Time Systems
Chair: Aldo Dagnino
Room: Teatro
QoSA: Performance
Chair: Ralf Reussner
Room: Sala Affrescata
  • 10:30 Gustavo G. Pascual, Monica Pinto and Lidia Fuentes. Component and Aspect-based Service Product Line for Pervasive Systems
  • 11:00 Patricia López Martínez and Tullio Vardanega. An MDE approach to address synchronization needs in component-based real-time systems
  • 11:30 François Fouquet, Brice Morin, Franck Fleurey, Olivier Barais, Noël Plouzeau and Jean-Marc Jézéquel. A Dynamic Component Model for Cyber Physical Systems
  • 12:00 Matthieu Anne, Koutheir Attouchi, Dominique Henry de Villeneuve and Jacques Pulou. Jasmin: an Alternative for Secure Modularity inside the Digital Home (short paper)
  • 12:15 Jan Carlson. Timing Analysis of Component-based Embedded Systems (short paper)
  • 10:30 Rouven Krebs, Christof Momm and Samuel Kounev. Metrics and Techniques for Quantifying Performance Isolation in Cloud Environments
  • 11:00 Jian Yu, Jun Han, Cameron Hine, Jean-Guy Schneider and Steve Versteeg. A Virtual Deployment Testing Environment for Enterprise Software Systems
  • 11:30 Henning Groenda. Improving Performance Predictions by Accounting for the Accuracy of Composed Performance Models (position paper)
  • 12:00 Matthias Becker, Markus Luckey and Steffen Becker. Model-driven Performance Engineering of Self-Adaptive Systems: A Survey (position paper)
12:30-14:00 Lunch Break
14:00-16:00 Session 5
CBSE: Adaptation
Chair: Steffen Becker
Room: Teatro
QoSA: Applications
Chair: Ivica Crnkovic
Room: Sala Affrescata
  • 14:00 Yoann Maurel, André Bottaro, Radu Kopetz and Koutheir Attouchi. Adaptive monitoring of end-user OSGi-based Home Boxes
  • 14:30 Valerio Panzica La Manna. Local Dynamic Update for Component-based Distributed Systems (Invited Best of WCOP 2011 Paper)
  • 15:00 Mohammad Ghafari, Pooyan Jamshidi and Hassan Haghighi. An Architectural Approach to Ensure Globally Consistent Dynamic Reconfiguration of Component-Based Systems (short paper)
  • 15:15 Hang Yin, Jan Carlson and Hans Hansson. Towards mode switch handling in component-based multi-mode systems (short paper)
  • 14:00 Paul Brebner. Experiences with Early Life-cycle Performance Modeling Architecture Assessment (position paper)
  • 14:30 Ulrik Eklund and Jan Bosch. Using Architecture for Multiple Levels of Access to an Ecosystem Platform
  • 15:00 Marwan Abi-Antoun, Nariman Ammar and Zeyad Hailat. Extraction of Ownership Object Graphs (OOGs) from Object-Oriented Code: an Experience Report
  • 15:30 Moreno Marzolla.Optimizing the energy consumption of large-scale applications
16:00 Closing