Skip to main content
SpringerLink
Log in

Formal Aspects of Component Software

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Farhad Arbab

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Csaba Ölveczky

    1. Department of Informatics, University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FACS 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Formal Aspects of Component Software

Keywords

About this book

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.

Editors and Affiliations

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

    Farhad Arbab

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

    Peter Csaba Ölveczky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation