Sunday, 20 April 2014

13th International Symposium on Component Based Software Engineering

Component-based Software Engineering is part of CompArch, taking place at Prague, Czech Republic, 23-25 June 2010.

Conference Program (CBSE)

Time Wednesday 23 June 2010
8:30 – 9:00 Opening
9:00 – 10:00 Keynote 1
Chair: Frantisek Plasil
Martin Wirsing
A Component-Based Approach to Adaptive User-Centric Pervasive Applications
10:00 – 10:30 Coffee break
10:30 – 12:30 1A: Component-based Embedded systems (CBSE)
Chair: Ivica Crnkovic
  Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola
Reliability Analysis of Component-Based Systems with Multiple Failure Modes
  Petr Hošek, Tomáš Pop, Tomáš Bureš, Petr Hnetynka, Michal Malohlava
Comparison of Component Frameworks for Real-time Embedded Systems
  Frédéric Loiret, Lionel Seinturier, Laurence Duchien, David Servat
A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks
  Jagadish Suryadevara, Eun-Young Kang, Cristina Seceleanu, Paul Pettersson
Bridging the Semantic Gap between Abstract Models of Embedded Systems
12:30 – 14:00 Lunch
14:00 – 15:30 2A: Component-based adaptive systems
(CBSE) Chair: Lars Grunske
  Marc Léger, Thomas Ledoux, Thierry Coupaye
Reliable Dynamic Reconfigurations in a Reflective Component Model
  Gwenaël Delaval, Eric Rutten
Reactive model-based control of reconfiguration in the Fractal component-based model
  Yan Li, Minghui Zhou, Chao You, Guo Yang, Hong Mei
Enabling On Demand Deployment of Middleware Services in Componentized Middleware
15:30 – 16:00 Coffee break
16:00 – 17:30 3A: Composition and (De)-composition of Component-based Systems (CBSE)
Chair: Steffen Becker
  Michael Eichberg, Karl Klose, Ralf Mitschke, Mira Mezini.
Component Composition Using Feature Models
  Simon Allier, Houari A. Sahraoui, Salah Sadou, Stéphane Vaucher
Restructuring Object-Oriented Applications into Component-Oriented Applications
by using Consistency with Execution Traces
  Kung-Kiu Lau, Ioannis Ntalamagkas, Cuong M. Tran, Tauseef Rana
(Behavioural) Design Patterns as Composition Operators
Wednesday 23 June 2010
see CompArch program
Time Friday 25 June 2010
9:00 - 10:00 Keynote 2
Chair: Raffaela Mirandola
Jeff Magee
Intrinsic Definition in Software Architecture Evolution
10:00 - 10:30 Coffee break
10:30 - 12:00 4A: Component Interfaces, Contracts and Adapters of Component-based systems (CBSE)
Chair: Judy Stafford
  Kiev Gama, Didier Donsez
A Self-healing Component Sandbox for Untrustworthy Third Party Code Execution
  Jens Dietrich, Lucia Stewart
Component Contracts in Eclipse - A Case Study
  Oliver Hummel, Colin Atkinson
Automated Creation and Assessment of Component Adapters with Test Cases
12:00 - 14:00 Lunch
14:00 - 15:30 5A: Case studies (CBSE & QoSA)
Chair: Anne Martens
  Graham Jenson, Jens Dietrich, Hans W. Guesgen
An Empirical Study of the Component Dependency Resolution Search Space
  Dominik Birkmeier and Sven Overhage
Is BPMN Really First Choice in Joint Architecture Development?
An Empirical Study on the Usability of BPMN and UML Activity Diagrams for Business Users
  Zoya Durdik
Architectural Modeling in Agile Methods
(CompArch Young Investigator Award)


Component-based Software Engineering (CBSE) has emerged as a technology for the rapid assembly of flexible software systems. CBSE combines elements of software architecture, modular software design, software verification, configuration and deployment. To foster exchange and collaboration with the software architecture community, CBSE is colocated with the Quality of Software Architectures Conference (QoSA) and the International Symposium on Architecting Critical Systems (ISARCS)as part of the federated CompArch event.

The CBSE symposium has a track record of bringing together researchers and practitioners from a variety of disciplines to promote a better understanding of CBSE from a diversity of perspectives, and to engage in active discussion and debate. CBSE 2010 is open to all participants interested in CBSE and related areas. The symposium addresses participants from both universities and industry.


The theoretical foundations of component specification, composition, analysis and verification continue to pose research challenges. While the engineering models and methods for component software development are slowly maturing, new trends in global services, distributed systems architectures, and large scale software systems that cross organizational boundaries push the limits of established and tested component-based methods, tools and platforms:

  • model-driven development and grid technologies with their high-performance demands in massive data storage, computational complexity and global co-scheduling of scientific models in flagship science, technology and medicine research;
  • global software development with its lowering of cost of software capabilities and production, through automation, off-shoring and outsourcing of key components and subsystems;
  • networked enterprise information systems and services architectures crossing enterprise, nation, legal and discipline boundaries;
  • shift from (globally distributed) software products to pervasive and ubiquitous services supported by deep software-intensive infrastructures and middleware and by increasingly flexible, adaptive and autonomous client and application server software.

CBSE 2010 will include contributions that explore how the nature of component- based software engineering is being influenced by developments in the field of software and global enterprise technology. In addition to presentations of papers, the symposium will incorporate working and industry sessions.

Topics of interest

  • Design of component models
  • Theories (including taxonomies) of software composition and binding
  • Coordination and choreography of component software, services, workflows
  • Run-time adaptation of component-based systems
  • Interaction between component models, software architectures and product lines
  • Component-based web services and service-oriented architecture
  • Declarative, rule-based management of component-based systems
  • Software quality and extra-functional properties for components and component-based systems
  • Global generation, adaptation and deployment of component-based systems and services
  • Components and generative approaches
  • Components and model-driven development
  • Specification, verification and testing of component-based systems
  • Compositional reasoning techniques for component models
  • Global measurement, prediction and monitoring of distributed and service components
  • Patterns and frameworks for component-based systems and services
  • Integrated tool chains and methods for building component-based services
  • Components for networked real-time information systems and sensor networks;
  • Industrial experience using component-based software development;
  • Empirical studies in component-based software engineering;
  • Teaching component-based software engineering

Special Theme: Components beyond Reuse

CBSE 2010 is encouraging papers that address reasons for using components beyond re-use. While consider software components a technical means to increase software re-use, other reasons for investing into component technology tend to be overseen.

For example, components play an important role in framework and product-lines to enable configurability (even if no component is re-used).

Another role of components is to use them to increase the predictability of the properties of a system. For an engineering approach to software design, it is important to understand the implications of design decisions on the system's properties. Therefore, approaches to evaluate and predict properties of systems by analyzing its components and its architecture are of high interest.

To strengthen the relation between architectural descriptions of systems and components, a comprehensible mapping to component-oriented middleware platforms is important. Model-driven development, with its use of generators, can provide a suitable link between architectural views and technical component execution platforms.