Ausgabe 4/2016
Extended versions of papers presented at WS-FM 2014 and Beat 2014
Inhalt (8 Artikel)
Open Access
Original Article
Event-based run-time adaptation in communication-centric systems
Cinzia Di Giusto, Jorge A. Pérez
Original Article
ASM-based formal design of an adaptivity component for a Cloud system
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
Original Article
On the expressive power of behavioral profiles
Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos
Original Article
Model checking Petri nets with names using data-centric dynamic systems
Marco Montali, Andrey Rivkin
Open Access
Original Article
Dynamic role authorization in multiparty conversations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez, Hugo Torres Vieira
Open Access
Original Article
Self-adaptation and secure information flow in multiparty communications
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Original Article
Reversible client/server interactions
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro