Formal Aspects of Component Software

Preliminary Proceedings

Download as a single file

UNU-IIST Technical Report 333, PDF (5.5MB)

Download separately

• Cover pages, PDF
• Preface, Programme, pp. i-xii PDF
• Workshop papers
  1. Remi Bastide and Eric Barboni
     Software Components: A Formal Semantics Based on Coloured Petri Nets, pp. 1-20, PDF
  2. Grant Malcolm
     Component-based Specification of Distributed Systems, pp. 21-36, PDF
  3. Silvia Amaro, Ernesto Pimentel and Ana M. Roldan
     Reo Based Interaction Model, pp. 37-50, PDF
  4. Tomas Barros, Ludovic Henrio and Eric Madelaine
     Verification of Distributed Hierarchical Components, pp. 51-66, PDF
  5. Samir Chouali, Maritta Heisel and Jeanine Souquieres
     Proving Component Interoperability with B Refinement, pp. 67-84, PDF
  6. Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper and Erik Luit
     Cooperation-Based Invariants for OO Languages, pp. 85-100, PDF
  7. Jan Carlson, John Hakansson and Paul Pettersson
     SaveCCM: An Analysable Component Model for Real-Time Systems, pp. 101-116, PDF
  8. Françoise Bellegarde, Jacques Julliand, Hassan Mountassir and Emilie Oudot
     On the Contribution of a tau-Simulation in the Incremental Modeling of Timed Systems, pp. 117-132, PDF
  9. Ivanilton Polato, Antonio M. Silva Filho
     A Component-based Approach to Embedded Software Design, pp. 133-152, PDF
  10. Maria Victoria Cengarle, Peter Graubmann and Stefan Wagner
      Semantics of UML 2.0 Interactions with Variabilities, pp. 153-168, PDF
  11. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
      Deriving Available Behavior All Out from Incompatible Component Compositions, pp. 169-182, PDF
  12. David Streader and Steve Reeves
      Stepwise Refinement of Processes, pp. 183-198, PDF
  13. J.J.M.M. Rutten
      Algebraic Specification and Coalgebraic Synthesis of Mealy Automata, pp. 199-214, PDF
  14. Bernhard Schätz
      Building Components from Functions, pp. 215-230, PDF
  15. Nuno F. Rodrigues and Luis S. Barbosa
      Component Identification Through Program Slicing, pp. 231-246, PDF
  16. Lian Wen and Geoff Dromey
      Architecture Normalization for Component-Based System, pp. 247-262, PDF
  17. Pavel Jezek, Jan Kofron and Frantisek Plasil
      Model Checking of Component Behavior Specification: A Real Life Experience, pp. 263-278, PDF
  18. Abbas HeydarNoori, Farhad Mavaddat and Farhad Arbab
      Towards an Automated Deployment Planner for Composition of Web Services as Software Components, pp. 279-293, PDF