Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers

Farhad Arbab (auth.), Markus Lumpe, Wim Vanderperren (eds.)3540773509, 9783540773504

OnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).ThegoalofSC2007 wastobringtogethertheresearchandindustrialcommunitiesinordertoaddress the challenges of the component-based softwaredevelopment approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007. The symposium began with a keynote on “Composition by Anonymous Parties” by Farhad Arbab (CWI and Leiden University). The main program consisted of six technical sessions related to speci?c aspects of component-based software development. In response to the call for papers, we received 59 submissions from over 20 countries and 6 continents. Each paper was reviewed by at least three Program Committeemembers.TheentirereviewingprocesswassupportedbyMicrosoft’s Conference Management Toolkit. In total, 15 submissions were accepted as full papers and 5 submissions were accepted as short papers.

---

Table of contents :
Front Matter….Pages –
Composition by Anonymous Third Parties….Pages 1-1
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model….Pages 2-17
Composite Contract Enforcement in Hierarchical Component Systems….Pages 18-33
Towards a Unifying Theory for Choreography Conformance and Contract Compliance….Pages 34-50
A Process-Algebraic Approach to Workflow Specification and Refinement….Pages 51-65
Generic Feature-Based Software Composition….Pages 66-80
Composition Management Interfaces for a Predictable Assembly….Pages 81-96
Path-Based Error Propagation Analysis in Composition of Software Services….Pages 97-112
Dynamically Adaptable Applications with iPOJO Service Components….Pages 113-128
Dynamic Contextual Service Ranking….Pages 129-143
Measuring Reactability of Persistent Computing Systems….Pages 144-151
Requirements for Applying Aspect-Oriented Techniques in Web Service Composition Languages….Pages 152-159
Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures….Pages 160-167
Streamlining Feature-Oriented Designs….Pages 168-175
Requirements for Reusable Aspect Deployment….Pages 176-183
Aspect-Oriented Programming: Selecting and Exposing Object Paths….Pages 184-199
Debugging Aspect-Enabled Programs….Pages 200-215
Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems….Pages 216-234
Patterns of Component Evolution….Pages 235-251
An Approach for Structural Pattern Composition….Pages 252-265
Composite Connectors for Composing Software Components….Pages 266-280
Back Matter….Pages –