Component-Based Software Engineering : 9th International Symposium, CBSE 2006, Vasteras, Sweden, June 29 - July 1, 2006, Proceedings

by Gorton, Ian; Heineman, George T.; Crnkovic, Ivica; Schmidt, Heinz W.; Stafford, Judith A.

• ISBN13: 9783540356288
• ISBN10: 3540356282
• Format: Paperback
• Copyright: 2006-07-30
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 9th International Symposium on Component-Based Software Engineering, CBSE 2006, held in V??ster?Ys, Sweden in June/July 2006. The 22 revised full papers and 9 revised short papers presented were carefully reviewed and selected from 77 submissions. The papers cover all issues concerned with the development of software-intensive systems from reusable parts, the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. Topics addressed are architecture and design of component-based systems, components for real-time and embedded systems, combination of component-based with aspect-oriented software development, extra-functional system properties of components and component-based systems, components at work, and measurement and prediction models for component assemblies.

Table of Contents

Full Papers
Defining and Checking Deployment Contracts for Software Components	1	(16)
Kung-Kiu Lau
Vladyslav Ukis
GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions	17	(16)
Markus Lumpe
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System	33	(17)
Paul C. Attie
David H. Lorenz
Aleksandra Portnova
Hana Chockler
Verification of Component--Based Software Application Families	50	(17)
Fei Xie
James C. Browne
Multi Criteria Selection of Components Using the Analytic Hierarchy Process	67	(15)
Joao W. Cangussu
Kendra C. Cooper
Eric W. Wong
From Specification to Experimentation: A Software Component Search Engine Architecture	82	(16)
Vinicius Cardoso Garcia
Daniel Lucredio
Frederico Araujo Durao
Eduardo Cruz Reis Santos
Eduardo Santana de Almeida
Renata Pontin de Mattos Fortes
Silvio Romero de Lemos Meira
Architectural Building Blocks for Plug-and-Play System Design	98	(16)
Shangzhu Wang
George S. Avrunin
Lori A. Clarke
A Symmetric and Unified Approach Towards Combining Aspect-Oriented and Component-Based Software Development	114	(9)
Davy Suvee
Bruno De Fraine
Wim Vanderperren
Designing Software Architectures with an Aspect-Oriented Architecture Description Language	123	(16)
Jennifer Perez
Nour Ali
Jose A. Carsi
Isidro Ramos
A Component Model Engineered with Components and Aspects	139	(15)
Lionel Seinturier
Nicolas Pessemier
Laurence Duchien
Thierry Coupaye
CBSE in Small and Medium-Sized Enterprise: Experience Report	154	(12)
Reda Kadri
Francois Merciol
Salah Sadou
Supervising Distributed Black Boxes	166	(16)
Philippe Mauran
Gerard Padiou
Xuan Loc Pham Thi
Generic Component Lookup	182	(16)
Till G. Bay
Patrick Eugster
Manuel Oriol
Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture	198	(8)
Humberto Cervantes
Sonia Charleston-Villalobos
A Formal Component Framework for Distributed Embedded Systems	206	(16)
Christo Angelov
Krzysztof Sierszecki
Nicolae Marian
Jinpeng Ma
A Prototype Tool for Software Component Services in Embedded Real-Time Systems	222	(16)
Frank Luders
Daniel Flemstrom
Anders Wall
Ivica Crnkovic
Service Policy Enhancements for the OSGi Service Platform	238	(16)
Nico Goeminne
Gregory De Jans
Filip De Turck
Bart Dhoedt
Frank Gielen
A Process for Resolving Performance Trado-Offs in Component-Based Architectures	254	(16)
Egor Bondarev
Michel Chaudron
Peter De With
A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems	270	(15)
Vincenzo Grassi
Raffaela Mirandola
Antonino Sabetta
Impact of Virtual Memory Managers on Performance of J2EE Applications	285	(9)
Alexander Ufimtsev
Alena Kucharenka
Liam Murphy
On-Demand Quality-Oriented Assistance in Component-Based Software Evolution	294	(16)
Chouki Tibermacine
Regis Fleurquin
Salah Sadou
Components Have Test Buddies	310	(10)
Pankaj Jalote
Rajesh Munshi
Todd Probsting
Short Papers
Defining ``Predictable Assembly''	320	(8)
Dick Hamlet
A Tool to Generate an Adapter for the Integration of Web Services Interface	328	(8)
Kwangyong Lee
Juil Kim
Woojin Lee
Kiwon Chong
A QoS Driven Development Process Model for Component-Based Software Systems	336	(8)
Heiko Koziolek
Jens Happe
An Enhanced Composition Model for Conversational Enterprise JavaBeans	344	(8)
Franck Barbier
Dynamic Reconfiguration and Access to Services in Hierarchical Component Models	352	(8)
Petr Hnetynka
Frantisek Plasil
MADcAr: An Abstract Model for Dynamic and Automatic (Re-)Assembling of Component-Based Applications	360	(8)
Guillaume Grondin
Noury Bouraqadi
Laurent Vercouter
Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring	368	(8)
Gautier Bastide
Abdelhak Serial
Mourad Oussalah
Towards Encapsulating Data in Component-Based Software Systems	376	(9)
Kung-Kiu Lau
Faris M. Taweel
Virtualization of Service Gateways in Multi-provider Environments	385	(8)
Yvan Royon
Stephane Frenot
Frederic Le Mouel
Author Index	393