The workshop has a joint programme with SAGRA 2018.
08:15 - 09:00: Registration
09:00 - 10:20: Opening remarks and keynote speech (chair: Elvinia Riccobene)
Danny Weyns: Engineering self-adaptive systems with ActivFORMS [slides]
10:20 - 11:00: Paper session 1: Formal and sustainable software architecture design (chair: Patrizia Scandurra)
- A High-level Petri Net-based Formal Model of Distributed Self-adaptive Systems
Matteo Camilli, Carlo Bellettini, and Lorenzo Capra (FAACS)
11:00 - 11:30: Coffee break
11:30 - 13:00: Paper session 1: Formal and sustainable software architecture design (chair: Patrizia Scandurra)
- Uncertainty expressions in software architecture group decision making
Klym Shumaiev, Manoj Bhat, Oleksandra Klymenko, Andreas Biesdorf, Uwe Hohenstein, and Florian Matthes (SAGRA) - Towards an Enterprise Architecture Controlling Framework
Lennin Arriola and Andrew Markham (FAACS)
13:00 - 14:00: Lunch
14:00 - 15:30: Keynote speech (chair: Catia Trubiani)
Tomáš Bureš: Towards evolving architectures of collaborating cyber-physical systems
15:30 - 16:00: Coffee break
16:00 - 17:20: Paper session 2: Formal and sustainable software architecture evaluation (chair: Paolo Arcaini)
- Ripple Effect to Evaluate the Impact of Changes in Architectural Design Decisions
Carlos Carrillo and Rafael Capilla (SAGRA) - MOTION: An Application of ASMETA to Mobile Ad-hoc NETworks Domain
Gianluca Gennaro Bevilacqua and Alessandro Bianchi (FAACS)
17:20 - 17:30: Final discussion and closing remarks