====== Accepted Papers ====== The pre-proceedings can be downloaded here: [[http://www.cs.iastate.edu/~lumpe/SC2007/SC2007PreProceedings.pdf|SC 2007 PreProceedings [11MB pdf]]] ===== Long Papers ===== * 5: **A Process Algebraic Approach to Workflow Specification and Refinement.** Peter Wong, Jeremy Gibbons. University of Oxford, UK. * 7: **Composition support based on Behavior Interfaces for a predictable assembly.** Xabier Aretxandieta, Goiuria Sagardui, University of Mondragon, Franck Barbier, Pau University, USA * 12: **Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.** Pascal André, Gilles Ardourel, Christian Attiogbé, LINA - University Of Nantes, France * 15: **A Model for Structural Pattern Composition.** Imed Hammouda, Kai Koskimies, Tampere University of Technology, Finalnd * 19: **Dynamically Adaptable Applications with iPOJO Service Components.** Clement Escoffier, Richard Hall, Grenoble University, France * 21: **Composite Connectors for Composing Software Components.** Kung-Kiu Lau, Ling Ling, Vladyslav Ukis, Perla Velasco, University of Manchester, UK * 22: **Debugging Aspect-Composed Programs.** Marc Eaddy, Alfred Aho, Columbia University, Weiping Hu, Paddy McDonald, Julian Burger, Microsoft Corporation, USA * 29: **Dynamic Contextual Service Ranking.** Andre Bottaro, France Telecom, Richard Hall, Grenoble University, France * 36: **Generic Feature-Based Software Composition.** Tijs Van der Storm, CWI, The Netherlands * 39: **Composite Contract Enforcement in Hierarchical Component Systems.** lain Ozanne, Nicolas Rivierre, France Telecom R&D, Philippe Collet, University of Nice - Sophia Antipolis, I3S Laboratory, Jacques Malenfant, Computer Science Laboratory of University Paris 6 (LIP 6), France * 42: **Patterns of Component Evolution.** Rajesh Vasa, Faculty of Information & Communication Technologies, Swinburne University of Technology, Markus Lumpe, Iowa State University, Jean-Guy Schneider, Swinburne University of Technology * 43: **Towards a Unifying Theory for Choreography Conformance and Contract Compliance.** Mario Bravetti, Gianluigi Zavattaro, University of Bologna, Italy * 51: **Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.** Wasif Gilani, Fabian Scheler, Erlangen University Germany * 54: **Error propagation analysis in composition of software services.** Vittorio Cortellessa, Universita' dell'Aquila, Pasqualina Potena, Universita' "G. D'Annunzio", Italy * 61: **Aspect-Oriented Programming: Selecting and Exposing Object Paths.** Mohammed Al-Mansari, Stefan Hanenberg, Rainer Unland, University of Duisburg-Essen, Germany ===== Short Papers ===== * 10: **Streamlining Feature-Oriented Designs.** Martin Kuhlemann, Sven Apel, Thomas Leich, University of Magdeburg, Germany * 31: **Measuring Reactability of Persistent Computing Systems.** Takumi Endo, Yuichi Goto, Jingde Cheng, Saitama University, Japan * 57: **Requirements for applying aspect-oriented techniques in webservice composition languages.** Mathieu Braem, Niels Joncheere, Vrije Universiteit Brussel, Belgium * 64: **Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures.** Dietmar Schreine, Karl Göschka, Vienna University of Technology, Austria * 67: **Requirements for Reusable Aspect Deployment.** Bruno De Fraine, Mathieu Braem, Vrije Universiteit Brussel, Belgium