Description
SPRINGER Software Composition 6Th International Symposium Sc 2007 Braga Portugal March 24-25 2007 by LUMPE,M.,VANDERPERREN,W
Software composition is a complex and fast-moving field, and this excellent new Springer volume keeps professionals in the subject right up to date. It constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Software Composition, SC 2007. The 21 papers are organized in topical sections on composition contracts, composition design and analysis, dynamic composition, short papers, aspect-oriented programming, and structural composition. Invited Talk.- Composition by Anonymous Third Parties.- Session: Composition Contracts.- Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.- Composite Contract Enforcement in Hierarchical Component Systems.- Towards a Unifying Theory for Choreography Conformance and Contract Compliance.- Session: Composition Design and Analysis.- A Process-Algebraic Approach to Workflow Specification and Refinement.- Generic Feature-Based Software Composition.- Composition Management Interfaces for a Predictable Assembly.- Path-Based Error Propagation Analysis in Composition of Software Services.- Session: Dynamic Composition.- Dynamically Adaptable Applications with iPOJO Service Components.- Dynamic Contextual Service Ranking.- Session: Short Papers.- Measuring Reactability of Persistent Computing Systems.- Requirements for Applying Aspect-Oriented Techniques in Web Service Composition Languages.- Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures.- Streamlining Feature-Oriented Designs.- Requirements for Reusable Aspect Deployment.- Session: Aspect-Oriented Programming.- Aspect-Oriented Programming: Selecting and Exposing Object Paths.- Debugging Aspect-Enabled Programs.- Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.- Session: Structural Composition.- Patterns of Component Evolution.- An Approach for Structural Pattern Composition.- Composite Connectors for Composing Software Components.