Formal Aspects of Component Software

1. Front Matter

   PDF

2. Formal Patterns for Multi-rate Distributed Real-Time Systems

   • Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky

   Pages 1-18

3. Component Interfaces with Contracts on Ports

   • Sebastian Bauer, Rolf Hennicker, Axel Legay

   Pages 19-35

4. Avoiding Diamonds in Desynchronization

   • Harsh Beohar, Pieter J. L. Cuijpers

   Pages 36-54

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

   • Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro

   Pages 55-72

6. A Categorical Approach to Structuring and Promoting Z Specifications

   • Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum

   Pages 73-91

7. Assume-Guarantee Reasoning for Safe Component Behaviours

   • Chris Chilton, Bengt Jonsson, Marta Kwiatkowska

   Pages 92-109

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

   • Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias Lee, Martin Steffen, Gianluigi Zavattaro

   Pages 110-127

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

   • Frank S. de Boer, Stijn de Gouw

   Pages 128-133

10. Symbolic Counterexample Generation for Discrete-Time Markov Chains

    • Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen et al.

    Pages 134-151

11. Xcd – Modular, Realizable Software Architectures 

    • Christos Kloukinas, Mert Ozkaya

    Pages 152-169

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

    • Amir Molzam Sharifloo, Paola Spoletini

    Pages 170-187

13. A Calculus for Quality

    • Hanne Riis Nielson, Flemming Nielson, Roberto Vigo

    Pages 188-204

14. Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure

    • Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

    Pages 205-223

15. IBOS: A Correct-By-Construction Modular Browser

    • Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang

    Pages 224-241

16. Guided Search for Deadlocks in Actor-Based Models

    • Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson

    Pages 242-259

17. Assumption Generation for Asynchronous Systems by Abstraction Refinement

    • Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li

    Pages 260-276

18. Back Matter

    PDF

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.

• browser security
• conjunction
• modular specifications
• object orientation
• software architecture

• NASA Ames Research Center, Moffett Field, USA

  Corina S. Păsăreanu

• INRIA Grenoble - Rhône-Alpes/CONVECS, Montbonnot Saint-Martin, France

  Gwen Salaün

Policies and ethics