Formal Aspects of Component Software

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

  • Corina S. Păsăreanu
  • Gwen Salaün
Conference proceedings FACS 2012

DOI: 10.1007/978-3-642-35861-6

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

Table of contents (16 papers)

  1. Front Matter
  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. 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
  10. Xcd – Modular, Realizable Software Architectures 
    Christos Kloukinas, Mert Ozkaya
    Pages 152-169
  11. LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time
    Amir Molzam Sharifloo, Paola Spoletini
    Pages 170-187
  12. A Calculus for Quality
    Hanne Riis Nielson, Flemming Nielson, Roberto Vigo
    Pages 188-204
  13. Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure
    Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
    Pages 205-223
  14. IBOS: A Correct-By-Construction Modular Browser
    Ralf Sasse, Samuel T. King, José Meseguer, Shuo Tang
    Pages 224-241
  15. Guided Search for Deadlocks in Actor-Based Models
    Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson
    Pages 242-259
  16. Assumption Generation for Asynchronous Systems by Abstraction Refinement
    Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li
    Pages 260-276
  17. Back Matter

About these proceedings


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

Editors and affiliations

  • Corina S. Păsăreanu
    • 1
  • Gwen Salaün
    • 2
  1. 1.NASA Ames Research CenterMoffett FieldUSA
  2. 2.INRIA Grenoble - Rhône-Alpes/CONVECSMontbonnot Saint-MartinFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35860-9
  • Online ISBN 978-3-642-35861-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349