Advertisement

Formal Aspects of Component Software

10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

  • José Luiz Fiadeiro
  • Zhiming Liu
  • Jinyun Xue
Conference proceedings FACS 2013

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 8348)

Table of contents

  1. Front Matter
    Pages I-X
    PDF
  2. Probabilistic Modal Specifications (Invited Extended Abstract)
    Kim G. Larsen, Axel Legay
    Pages 1-4
  3. Orchestration
    Jayadev Misra
    Pages 5-12
  4. Super-Dense Computation in Verification of Hybrid CSP Processes
    Dimitar P. Guelev, Shuling Wang, Naijun Zhan, Chaochen Zhou
    Pages 13-22
  5. A Proof-Carrying Code Approach to Certificate Auction Mechanisms
    W. Bai, E. M. Tadjouddine, T. R. Payne, S. U. Guan
    Pages 23-40
  6. Towards Verification of Ensemble-Based Component Systems
    Jiří Barnat, Nikola Beneš, Tomáš Bureš, Ivana Černá, Jaroslav Keznikl, František Plášil
    Pages 41-60
  7. Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal
    Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim. G. Larsen, Marius Mikučionis, Ulrik Nyman et al.
    Pages 61-78
  8. Incremental Modeling of System Architecture Satisfying SysML Functional Requirements
    Oscar Carrillo, Samir Chouali, Hassan Mountassir
    Pages 79-99
  9. Formalising Adaptation Patterns for Autonomic Ensembles
    Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
    Pages 100-118
  10. Towards a Failure Model of Software Components
    Ruzhen Dong, Naijun Zhan
    Pages 119-136
  11. Formally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial World
    Nuno Gaspar, Ludovic Henrio, Eric Madelaine
    Pages 137-156
  12. A General Trace-Based Framework of Logical Causality
    Gregor Gössler, Daniel Le Métayer
    Pages 157-173
  13. Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components
    Ali Hong, Yijing Liu, Zongyan Qiu
    Pages 174-195
  14. A Framework for Handling Non-functional Properties Within a Component-Based Approach
    Jean-Michel Hufflen
    Pages 196-214
  15. Using Daikon to Prioritize and Group Unit Bugs
    Nehul Jain, Saikat Dutta, Ansuman Banerjee, Anil K. Ghosh, Lihua Xu, Huibiao Zhu
    Pages 215-233
  16. Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns
    Olga Kouchnarenko, Jean-François Weber
    Pages 234-253
  17. Automatic Component Deployment in the Presence of Circular Dependencies
    Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro
    Pages 254-272
  18. Modeling and Analysis of Component Connectors in Coq
    Yi Li, Meng Sun
    Pages 273-290
  19. On the Complexity of Input Output Conformance Testing
    Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
    Pages 291-309
  20. Compatibility Checking for Asynchronously Communicating Software
    Meriem Ouederni, Gwen Salaün, Tevfik Bultan
    Pages 310-328
  21. Layered Reduction for Modal Specification Theories
    Arpit Sharma, Joost-Pieter Katoen
    Pages 329-347
  22. Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics
    Anton Wijs
    Pages 348-368
  23. A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables
    Xiuna Zhu
    Pages 369-383
  24. Back Matter
    Pages 385-385
    PDF

About these proceedings

Introduction

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013. The 19 full papers and three invited talks presented were carefully reviewed and selected from 51 submissions. The papers are concerned with how formal methods can be used to make component-based development fit for the new architectures of today and the systems that are now pervading the socio-economic worlds.

Keywords

distributed systems e-commerce formal software verification model-driven software engineering software architecture

Editors and affiliations

  • José Luiz Fiadeiro
    • 1
  • Zhiming Liu
    • 2
  • Jinyun Xue
    • 3
  1. 1.Royal Holloway University of LondonEghamUnited Kingdom
  2. 2.Birmingham City UniversityBirminghamUnited Kingdom
  3. 3.Jiangxi Normal University, Lab. High-Performance ComputingNanchangChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-07602-7
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-07601-0
  • Online ISBN 978-3-319-07602-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Engineering