Formal Aspects of Component Software

1. Front Matter

   PDF

2. Taming Distributed System Complexity through Formal Patterns

   • José Meseguer

   Pages 1-2

3. Composing Safe Systems

   • John Rushby

   Pages 3-11

4. A Denotational Model for Component-Based Risk Analysis

   • Gyrd Brændeland, Atle Refsdal, Ketil Stølen

   Pages 12-41

5. Synthesis of Hierarchical Systems

   • Benjamin Aminof, Fabio Mogavero, Aniello Murano

   Pages 42-60

6. A Modal Specification Theory for Components with Data

   • Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski

   Pages 61-78

7. Evaluating the Performance of Model Transformation Styles in Maude

   • Roberto Bruni, Alberto Lluch Lafuente

   Pages 79-96

8. Interactive Transformations from Object-Oriented Models to Component-Based Models

   • Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

   Pages 97-114

9. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

   • Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

   Pages 115-132

10. Timed Conformance Testing for Orchestrated Service Discovery

    • Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall

    Pages 133-150

11. Realizability of Choreographies for Services Interacting Asynchronously

    • Gregor Gössler, Gwen Salaün

    Pages 151-167

12. Networks of Real-Time Actors

    • Mohammad Mahdi Jaghoori, Ólafur Hlynsson, Marjan Sirjani

    Pages 168-186

13. A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios

    • Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

    Pages 187-204

14. The Logic of XACML

    • Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson

    Pages 205-222

15. A Proof Assistant Based Formalization of MDE Components

    • Mounira Kezadri, Benoît Combemale, Marc Pantel, Xavier Thirioux

    Pages 223-240

16. Controlling an Iteration-Wise Coherence in Dataflow

    • Sébastien Limet, Sophie Robert, Ahmed Turki

    Pages 241-258

17. Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation

    • José Antonio Martín, Antonio Brogi, Ernesto Pimentel

    Pages 259-277

18. Verifying Safety of Fault-Tolerant Distributed Components

    • Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine

    Pages 278-295

19. Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques

    • Hamideh Sabouri, Ramtin Khosravi

    Pages 296-312

20. Bigraphical Modelling of Architectural Patterns

    • Alejandro Sanchez, Luís Soares. Barbosa, Daniel Riesco

    Pages 313-330

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

• Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands

  Farhad Arbab

• Department of Informatics, University of Oslo, Oslo, Norway

  Peter Csaba Ölveczky

Policies and ethics