Electronic Notes in Theoretical Computer Science, Volume 160

Volume 160, August 2006

• Zhiming Liu, Luís Soares Barbosa:
  Preface. 1-2
  
• Silvia Amaro, Ernesto Pimentel, Ana M. Roldán:
  Reo Based Interaction Model. 3-14
  
• Farhad Arbab:
  Coordination for Component Composition. 15-40
  
• Tomás Barros, Ludovic Henrio, Eric Madelaine:
  Verification of Distributed Hierarchical Components. 41-55
  
• Rémi Bastide, Eric Barboni:
  Software Components: a Formal Semantics Based on Coloured Petri Nets. 57-73
  
• Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
  A Component Model for Architectural Programming. 75-96
  
• Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot:
  On the Contribution of a tau. 97-111
  
• Laura Bocchi, Paolo Ciancarini:
  On the Impact of Formal Methods in the SOA. 113-126
  
• Jan Carlson, John Håkansson, Paul Pettersson:
  SaveCCM: An Analysable Component Model for Real-Time Systems. 127-140
  
• María Victoria Cengarle, Peter Graubmann, Stefan Wagner:
  Semantics of UML 2.0 Interactions with Variabilities. 141-155
  
• Samir Chouali, Maritta Heisel, Jeanine Souquières:
  Proving Component Interoperability with B Refinement. 157-172
  
• Jifeng He, Xiaoshan Li, Zhiming Liu:
  A Theory of Reactive Components. 173-195
  
• Pavel Jezek, Jan Kofron, Frantisek Plasil:
  Model Checking of Component Behavior Specification: A Real Life Experience. 197-210
  
• Grant Malcolm:
  Component-Based Specification of Distributed Systems. 211-224
  
• Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
  Cooperation-based Invariants for OO Languages. 225-237
  
• Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab:
  Towards an Automated Deployment Planner for Composition of Web Services as Software Components. 239-253
  
• Ivanilton Polato, Antonio Mendes da Silva Filho:
  A Component-based Approach to Embedded Software Design. 255-273
  
• Steve Reeves, David Streader:
  Stepwise Refinement of Processes. 275-289
  
• Nuno F. Rodrigues, Luís Soares Barbosa:
  Component Identification Through Program Slicing. 291-304
  
• Jan J. M. M. Rutten:
  Algebraic Specification and Coalgebraic Synthesis of Mealy Automata. 305-319
  
• Bernhard Schäz:
  Building Components from Functions. 321-334
  
• Lian Wen, R. Geoff Dromey:
  Architecture Normalization for Component-based Systems. 335-348
  
• Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng:
  Deriving Available Behavior All Out from Incompatible Component Compositions. 349-361