Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Description

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. Front Matter ....Pages I-X Component-Based Modeling in Mediator (Yi Li, Meng Sun)....Pages 1-19 A Component-Oriented Framework for Autonomous Agents (Tobias Kappé, Farhad Arbab, Carolyn Talcott)....Pages 20-38 Coordination of Dynamic Software Components with JavaBIP (Anastasia Mavridou, Valentin Rutz, Simon Bliudze)....Pages 39-57 A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches (Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa)....Pages 58-77 Guarded Terms for Rewriting Modulo SMT (Kyungmin Bae, Camilo Rocha)....Pages 78-97 On Weighted Configuration Logics (Paulina Paraponiari, George Rahonis)....Pages 98-116 Compositional Model Checking Is Lively (Sander de Putter, Anton Wijs)....Pages 117-136 Safety Analysis of Software Components of a Dialysis Machine Using Model Checking (M. D. Harrison, M. Drinnan, J. C. Campos, P. Masci, L. Freitas, C. di Maria et al.)....Pages 137-154 TOM: A Model-Based GUI Testing Framework (Miguel Pinto, Marcelo Gonçalves, Paolo Masci, José Creissac Campos)....Pages 155-161 Correctness-by-Learning of Infinite-State Component-Based Systems (Haitham Bou-Ammar, Mohamad Jaber, Mohamad Nassar)....Pages 162-178 The Implementation of Object Propositions: The Oprop Verification Tool (Ligia Nistor, Jonathan Aldrich)....Pages 179-197 Certification of Workflows in a Component-Based Cloud of High Performance Computing Services (Allberson B. de Oliveira Dantas, F. Heron de Carvalho Junior, Luis S. Barbosa)....Pages 198-215 Fault Localization in Service Compositions (Heike Wehrheim)....Pages 216-232 Correct Composition of Dephased Behavioural Models (Juliana Bowles, Marco B. Caminati)....Pages 233-250 Back Matter ....Pages 251-251