Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

  • Farhad Arbab
  • Peter Csaba Ölveczky
Conference proceedings FACS 2011

DOI: 10.1007/978-3-642-35743-5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7253)

Table of contents (21 papers)

  1. Front Matter
  2. Composing Safe Systems
    John Rushby
    Pages 3-11
  3. A Denotational Model for Component-Based Risk Analysis
    Gyrd Brændeland, Atle Refsdal, Ketil Stølen
    Pages 12-41
  4. Synthesis of Hierarchical Systems
    Benjamin Aminof, Fabio Mogavero, Aniello Murano
    Pages 42-60
  5. A Modal Specification Theory for Components with Data
    Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski
    Pages 61-78
  6. Evaluating the Performance of Model Transformation Styles in Maude
    Roberto Bruni, Alberto Lluch Lafuente
    Pages 79-96
  7. Interactive Transformations from Object-Oriented Models to Component-Based Models
    Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
    Pages 97-114
  8. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
    Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
    Pages 115-132
  9. Timed Conformance Testing for Orchestrated Service Discovery
    Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
    Pages 133-150
  10. Networks of Real-Time Actors
    Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani
    Pages 168-186
  11. A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
    Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
    Pages 187-204
  12. The Logic of XACML
    Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
    Pages 205-222
  13. A Proof Assistant Based Formalization of MDE Components
    Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux
    Pages 223-240
  14. Controlling an Iteration-Wise Coherence in Dataflow
    Sébastien Limet, Sophie Robert, Ahmed Turki
    Pages 241-258
  15. Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation
    José Antonio Martín, Antonio Brogi, Ernesto Pimentel
    Pages 259-277
  16. Verifying Safety of Fault-Tolerant Distributed Components
    Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine
    Pages 278-295
  17. Bigraphical Modelling of Architectural Patterns
    Alejandro Sanchez, Luís Soares. Barbosa, Daniel Riesco
    Pages 313-330

About these proceedings


This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011.

The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services, formal and rigorous approaches to software adaptation and self-adaptive systems, and components for real-time, safety-critical, secure, and/or embedded systems.


component-based development patterns quality of service service-oriented architectures temporal properties

Editors and affiliations

  • Farhad Arbab
    • 1
  • Peter Csaba Ölveczky
    • 2
  1. 1.Centre for Mathematics and Computer Science (CWI)AmsterdamThe Netherlands
  2. 2.Department of InformaticsUniversity of OsloOsloNorway

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35742-8
  • Online ISBN 978-3-642-35743-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349