Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers (Lecture Notes in Computer Science Book 9539)

This book constitutes the revised selected papers from the 12th International Conference on Formal Aspects of Component Software, FACS 2015, held in Niterói, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 33 submissions. They are organized in topical sections, namely quality of service to withstand faults, component-based software development through research on mathematical models for components, composition and adaptation; rigorous approaches to verification, deployment, testing, and certification. Front Matter....Pages I-X OnPlan: A Framework for Simulation-Based Online Planning....Pages 1-30 Software Component Design with the B Method — A Formalization in Isabelle/HOL....Pages 31-47 Asynchronous Coordination of Stateful Autonomic Managers in the Cloud....Pages 48-65 A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing....Pages 66-85 A Contract-Oriented Middleware....Pages 86-104 A Robust Framework for Securing Composed Web Services....Pages 105-122 Combinatory Synthesis of Classes Using Feature Grammars....Pages 123-140 Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models....Pages 141-160 An Operational Semantics of BPMN Collaboration....Pages 161-180 k-Bisimulation: A Bisimulation for Measuring the Dissimilarity Between Processes....Pages 181-198 Time Complexity of Concurrent Programs....Pages 199-216 Composing Constraint Automata, State-by-State....Pages 217-236 Floating Time Transition System: More Efficient Analysis of Timed Actors....Pages 237-255 Configuration Logics: Modelling Architecture Styles....Pages 256-274 Learning-Based Compositional Model Checking of Behavioral UML Systems....Pages 275-293 Typed Connector Families....Pages 294-311 Formal Architecture Modeling of Sequential C-Programs....Pages 312-329 Back Matter....Pages 331-331 This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteroi, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions.