Table of contents (21 chapters)

1. Front Matter

   Pages -

   Download PDF (119KB)

2. 

   Book Chapter

   Pages 1-2

   Taming Distributed System Complexity through Formal Patterns

   • José Meseguer
   • … show all 1 hide
   Get Access

3. 

   Book Chapter

   Pages 3-11

   Composing Safe Systems

   • John Rushby
   • … show all 1 hide
   Look Inside Get Access

4. 

   Book Chapter

   Pages 12-41

   A Denotational Model for Component-Based Risk Analysis

   • Gyrd Brændeland,
   • Atle Refsdal,
   • Ketil Stølen
   • … show all 3 hide
   Look Inside Get Access

5. 

   Book Chapter

   Pages 42-60

   Synthesis of Hierarchical Systems

   • Benjamin Aminof,
   • Fabio Mogavero,
   • Aniello Murano
   • … show all 3 hide
   Look Inside Get Access

6. 

   Book Chapter

   Pages 61-78

   A Modal Specification Theory for Components with Data

   • Sebastian S. Bauer,
   • Kim Guldstrand Larsen
   • … show all 5 hide
   Look Inside Get Access

7. 

   Book Chapter

   Pages 79-96

   Evaluating the Performance of Model Transformation Styles in Maude

   • Roberto Bruni,
   • Alberto Lluch Lafuente
   • … show all 2 hide
   Look Inside Get Access

8. 

   Book Chapter

   Pages 97-114

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

   • Dan Li,
   • Xiaoshan Li,
   • Zhiming Liu,
   • Volker Stolz
   • … show all 4 hide
   Look Inside Get Access

9. 

   Book Chapter

   Pages 115-132

   Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

   • Julien Dormoy,
   • Olga Kouchnarenko,
   • Arnaud Lanoix
   • … show all 3 hide
   Look Inside Get Access

10. 

    Book Chapter

    Pages 133-150

    Timed Conformance Testing for Orchestrated Service Discovery

    • Jose Pablo Escobedo,
    • Christophe Gaston
    • … show all 3 hide
    Look Inside Get Access

11. 

    Book Chapter

    Pages 151-167

    Realizability of Choreographies for Services Interacting Asynchronously

    • Gregor Gössler,
    • Gwen Salaün
    • … show all 2 hide
    Look Inside Get Access

12. 

    Book Chapter

    Pages 168-186

    Networks of Real-Time Actors

    • Mohammad Mahdi Jaghoori,
    • Ólafur Hlynsson
    • … show all 3 hide
    Look Inside Get Access

13. 

    Book Chapter

    Pages 187-204

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

    • Einar Broch Johnsen,
    • Rudolf Schlatte
    • … show all 3 hide
    Look Inside Get Access

14. 

    Book Chapter

    Pages 205-222

    The Logic of XACML

    • Carroline Dewi Puspa Kencana Ramli
    • … show all 3 hide
    Look Inside Get Access

15. 

    Book Chapter

    Pages 223-240

    A Proof Assistant Based Formalization of MDE Components

    • Mounira Kezadri,
    • Benoît Combemale,
    • Marc Pantel
    • … show all 4 hide
    Look Inside Get Access

16. 

    Book Chapter

    Pages 241-258

    Controlling an Iteration-Wise Coherence in Dataflow

    • Sébastien Limet,
    • Sophie Robert,
    • Ahmed Turki
    • … show all 3 hide
    Look Inside Get Access

17. 

    Book Chapter

    Pages 259-277

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

    • José Antonio Martín,
    • Antonio Brogi
    • … show all 3 hide
    Look Inside Get Access

18. 

    Book Chapter

    Pages 278-295

    Verifying Safety of Fault-Tolerant Distributed Components

    • Rabéa Ameur-Boulifa,
    • Raluca Halalai,
    • Ludovic Henrio
    • … show all 4 hide
    Look Inside Get Access

19. 

    Book Chapter

    Pages 296-312

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

    • Hamideh Sabouri,
    • Ramtin Khosravi
    • … show all 2 hide
    Look Inside Get Access

20. 

    Book Chapter

    Pages 313-330

    Bigraphical Modelling of Architectural Patterns

    • Alejandro Sanchez,
    • Luís Soares. Barbosa
    • … show all 3 hide
    Look Inside Get Access

21. 

    Book Chapter

    Pages 331-349

    Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines

    • Davide Brugali,
    • Luca Gherardi,
    • Elvinia Riccobene
    • … show all 4 hide
    Look Inside Get Access

22. Back Matter

    Pages -

    Download PDF (39KB)