Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers


ISBN: 978-3-642-35860-9 (Print) 978-3-642-35861-6 (Online)
Download Book (4,880 KB) As a courtesy to our readers the eBook is provided DRM-free. However, please note that Springer uses effective methods and state-of-the art technology to detect, stop, and prosecute illegal sharing to safeguard our authors’ interests.

Table of contents (16 chapters)

  1. Front Matter

    Pages -

  2. Book Chapter

    Pages 1-18

    Formal Patterns for Multi-rate Distributed Real-Time Systems

  3. Book Chapter

    Pages 19-35

    Component Interfaces with Contracts on Ports

  4. Book Chapter

    Pages 36-54

    Avoiding Diamonds in Desynchronization

  5. Book Chapter

    Pages 55-72

    The Tale of SOLOIST: A Specification Language for Service Compositions Interactions

  6. Book Chapter

    Pages 73-91

    A Categorical Approach to Structuring and Promoting Z Specifications

  7. Book Chapter

    Pages 92-109

    Assume-Guarantee Reasoning for Safe Component Behaviours

  8. Book Chapter

    Pages 110-127

    A Petri Net Based Analysis of Deadlocks for Active Objects and Futures

  9. Book Chapter

    Pages 128-133

    Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

  10. Book Chapter

    Pages 134-151

    Symbolic Counterexample Generation for Discrete-Time Markov Chains

  11. Book Chapter

    Pages 152-169

    Xcd – Modular, Realizable Software Architectures 

  12. Book Chapter

    Pages 170-187

    LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time

  13. Book Chapter

    Pages 188-204

    A Calculus for Quality

  14. Book Chapter

    Pages 205-223

    Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure

  15. Book Chapter

    Pages 224-241

    IBOS: A Correct-By-Construction Modular Browser

  16. Book Chapter

    Pages 242-259

    Guided Search for Deadlocks in Actor-Based Models

  17. Book Chapter

    Pages 260-276

    Assumption Generation for Asynchronous Systems by Abstraction Refinement

  18. Back Matter

    Pages -