Lecture Notes in Computer Science 3489 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen UniversityofDortmund,Germany MadhuSudan MassachusettsInstituteofTechnology,MA,USA DemetriTerzopoulos NewYorkUniversity,NY,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA MosheY.Vardi RiceUniversity,Houston,TX,USA GerhardWeikum Max-PlanckInstituteofComputerScience,Saarbruecken,Germany George T. Heineman Ivica Crnkovic Heinz W. Schmidt Judith A. Stafford Clemens Szyperski Kurt Wallnau (Eds.) Component-Based Software Engineering 8th International Symposium, CBSE 2005 St. Louis, MO, USA, May 14-15, 2005 Proceedings 1 3 VolumeEditors GeorgeT.Heineman WPI,DepartmentofComputerScience 100InstituteRoad,Worcester,MA01609,USA E-mail:[email protected] IvicaCrnkovic MälardalenUniversity,DepartmentofComputerScienceandEngineering Box883,72123Västerås,Sweden E-mail:[email protected] HeinzW.Schmidt MonashUniversity,SchoolofComputerScienceandSoftwareEngineering WellingtonRoad,ClaytonVIC3800,Australia E-mail:[email protected] JudithA.Stafford TuftsUniversity,DepartmentofComputerScience 161CollegeAvenue,Medford,MA02155,USA E-mail:[email protected] ClemensSzyperski Microsoft OneMicrosoftWay,Redmond,WA98053,USA E-mail:[email protected] KurtWallnau CarnegieMellonUniversity,SoftwareEngineeringInstitute Pittsburgh,Pennsylvania15213-3890,USA E-mail:[email protected] LibraryofCongressControlNumber:Appliedfor CRSubjectClassification(1998):D.2,D.1.5,D.3,F.3.1 ISSN 0302-9743 ISBN-10 3-540-25877-9SpringerBerlinHeidelbergNewYork ISBN-13 978-3-540-25877-3SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springeronline.com ©Springer-VerlagBerlinHeidelberg2005 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyBollerMediendesign Printedonacid-freepaper SPIN:11424529 06/3142 543210 Preface Onbehalfofthe OrganizingCommittee Iampleasedtopresenttheproceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and cus- tomization. CBSE 2005, “Software Components at Work,” was the eighth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to havea dedicated ProgramCommittee comprisedof 30 internationally recognized researchers and industrial practitioners. We received 91submissionsandeachpaperwasreviewedbyatleastthreeProgramCommit- tee members (four for papers with an author on the ProgramCommittee). The entirereviewingprocesswassupportedbyCyberChairPro,theWeb-basedpaper submissionandreviewsystemdevelopedandsupportedbyRichardvandeStadt of Borbala Online Conference Services. After a two-day virtual Program Com- mittee meeting, 21 submissions were accepted as long papers and 2 submissions were accepted as short papers. WearegratefulfortheassistanceprovidedbytheorganizersoftheICSEcon- ference, in particular the General Chair, Gruia-Catalin Roman, and the Work- shops and Co-located Events Co-chair Andr´e van der Hoek. We also wish to thanktheACMSpecialInterestGrouponSoftwareEngineering(SIGSOFT)for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings. As the international community of CBSE researchers and practi- tioners continues to grow, we expect the CBSE Symposium series to similarly attract widespread interest and participation. March 2005 George T. Heineman Worcester, MA USA VI Organization Organization CBSE 2005 was sponsored by the Association for Computing Machinery (ACM) Special Interest Group in Software (SIGSOFT). CBSE 2005 was a co- located event with the 27th International Conference on Software Engineering (ICSE 2005). Organizing Committee ProgramChair George T. Heineman (WPI, USA) Steering Committee Ivica Crnkovic (Ma¨lardalen University, Sweden) Heinz W. Schmidt (Monash University, Australia) Judith A. Stafford (Tufts University, USA) Clemens Szyperski (Microsoft Research, USA) Kurt Wallnau (Software Engineering Institute, USA) Program Committee Luca de Alfaro University of California, Santa Cruz, USA Rob Armstrong Sandia National Laboratories,USA Uwe Aßmann Dresden University of Technology, Germany Jakob Axelsson Volvo Car Corporation, Sweden Mike Barnett Microsoft Research, USA Judith Bishop University of Pretoria, South Africa Jan Bosch Nokia Research Center, Finland Michel Chaudron University Eindhoven, The Netherlands Ivica Crnkovic Ma¨lardalen University, Sweden Susan Eisenbach Imperial College London, UK Wolfgang Emmerich University College London, UK Dimitra Giannakopoulou NASA Ames, USA Richard Hall LSR-IMAG, France Dick Hamlet Portland State University, USA George T. Heineman WPI, USA Tom Henzinger EPFL, Switzerland and UC Berkeley, USA Paola Inverardi University of L’Aquila, Italy Bengt Jonsson Uppsala University, Sweden Magnus Larsson ABB, Sweden Kung-Kiu Lau University of Manchester, UK Nenad Medvidovic University of Southern California, USA Rob van Ommering Philips Research, The Netherlands Organization VII Program Committee (cont.) Otto Preiss ABB Corporate Research Centers, Switzerland Ralf Reussner University of Oldenburg, Germany Douglas Schmidt Vanderbilt University, USA Heinz W. Schmidt Monash University, Australia Jean-Guy Schneider Swinburne University of Technology, Australia Judith A. Stafford Tufts University, USA Kurt Wallnau Software Engineering Institute, USA Dave Wile Teknowledge, Corp., USA Co-reviewers Eddie Aftandilian Xiaohong Jin Joachim Parrow Mikael ˚Akerholm Merijn de Jonge Corina Pasareanu Somo Banerjee Hugo Jonker Paul Pettersson Steffen Becker Thomas E. Koch Roshanak Roshandel Dirk Beyer Emanuel Kolb Chris Sadler Egor Bondarev Sten Lo¨cher Johanneke Siljee Ivor Bosloper Rikard Land Marco Sinnema Guillaume Brat Ling Ling James Skene Reinder J. Bril Markus Lumpe Antony Tang Arindam Chakrabarti Frank Lu¨ders Faris M. Taweel Robert Chatley Wolfgang Mahnke Perla Velasco Elizondo Sybren Deelstra Sam Malek Bjo¨rn Victor Viktoria Firus Antinisca Di Marco Erik de Vink Kathi Fisler Chris Mattmann Lucian Voinea Eelke Folmer Hailiang Mei Anders Wall Johan Fredriksson Raffaela Mirandola Zheng Wang Esther Gelle Johan Muskens Wang Yi Falk Hartmann Martin Naedele Yang Yu Mugurel T. Ionita Ioannis Ntalamagkas Vladimir Jakobac Owen O’Malley Anton Jansen Fernando C. Osorio Previous CBSE Workshops and Symposia 7th International Symposium on CBSE, Lecture Notes in Computer Science, Vol. 3054, Crnkovic, I.; Stafford, J.A.; Schmidt, H.W.; Wallnau, K. (Eds.), Springer, Edinburgh, UK (2004) 6th ICSE Workshop on CBSE: Automated Reasoning and Prediction http://www.sei.cmu.edu/pacc/CBSE6.Portland, Oregon (2003) VIII Organization Previous CBSE Workshops and Symposia (cont.) 5th ICSE Workshop on CBSE: Benchmarks for Predictable Assembly http://www.sei.cmu.edu/pacc/CBSE5.Orlando, Florida (2002) 4thICSEWorkshoponCBSE:ComponentCertificationandSystemPrediction. SoftwareEngineeringNotes,26(10),November2001.ACMSIGSOFTAuthor(s): Crnkovic, I.; Schmidt, H.; Stafford, J.; Wallnau, K. (Eds.) http://www.sei.cmu.edu/pacc/CBSE4-Proceedings.html. Toronto, Canada, (2001) 3rd ICSE Workshop on CBSE: Reflection in Practice http://www.sei.cmu.edu/pacc/cbse2000.Limerick, Ireland (2000) 2nd ICSE Workshop on CBSE: Developing a Handbook for CBSE http://www.sei.cmu.edu/cbs/icse99.Los Angeles, California (1999) 1st Workshop on CBSE http://www.sei.cmu.edu/pacc/icse98.Tokyo, Japan (1998) Table of Contents Prediction, Analysis and Monitoring of System Architecture Performance Prediction of J2EE Applications Using Messaging Protocols ........................................................ 1 Yan Liu, Ian Gorton EJBMemProf – A Memory Profiling Framework for Enterprise JavaBeans ....................................................... 17 Marcus Meyerho¨fer, Bernhard Volz Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations ............................................... 33 Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos Optimizing Resource Usage in Component-Based Real-Time Systems.... 49 Johan Fredriksson, Kristian Sandstro¨m, Mikael ˚Akerholm Evaluating Performance Attributes of Layered Software Architecture .... 66 Vibhu Saujanya Sharma, Pankaj Jalote, Kishor S. Trivedi Component-Level Dataflow Analysis................................. 82 Atanas Rountev Architecture and Design of Component-Based Systems Exogenous Connectors for Software Components ...................... 90 Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang Qinna, a Component-Based QoS Architecture ........................ 107 Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles ................................... 123 Ling Lan, Gang Huang, Liya Ma, Meng Wang, Hong Mei, Long Zhang, Ying Chen Component-Based Open Middleware Supporting Aspect-Oriented Software Composition ............................................. 139 Bert Lagaisse, Wouter Joosen X Table of Contents An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic ................................................ 155 Kendra Cooper, Jo˜ao W. Cangussu, Rong Lin, Ganesan Sankaranarayanan, Ragouramane Soundararadjane, Eric Wong Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components.............................................. 171 Naiyana Tansalarak, Kajal Claypool Extra-Functional System Properties of Components and Component-Based Systems A Contracting System for Hierarchical Components ................... 187 Philippe Collet, Roger Rousseau, Thierry Coupaye, Nicolas Rivierre Tailored Responsibility Within Component-Based Systems ............. 203 Elke Franz, Ute Wappler Efficient Upgrading in a Purely Functional Component Deployment Model ........................................................... 219 Eelco Dolstra Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models ................................. 235 Zonghua Gu, Zhimin He A Component-Oriented Model for the Design of Safe Multi-threaded Applications...................................................... 251 Reimer Behrends, R.E. Kurt Stirewalt, Laura K. Dillon TeStor: Deriving Test Sequences from Model-Based Specifications ..... 267 Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, Fabrizio Facchini Components at Work A CCA-compliant Nuclear Power Plant Simulator Kernel .............. 283 Manuel D´ıaz, Daniel Garrido, Sergio Romero, Bartolom´e Rubio, Enrique Soler, Jos´e M. Troya Experience with Component-Based Development of a Telecommunication Service......................................... 298 Gregory W. Bond, Eric Cheung, Healfdene H. Goguen, Karrie J. Hanson, Don Henderson, Gerald M. Karam, K. Hal Purdy, Thomas M. Smith, Pamela Zave