Volume 160, August 2006

Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005)

• 
  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