WS-FM'14

11th International Workshop on Web Services and Formal Methods
Organized by: Thomas Hildebrandt and Matthias Weidlich

• Choreographic Programming, Fabrizio Montesi
• Verification of Data-Aware Processes, Giuseppe De Giacomo

• An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems, Jorge A. Pérez
• Formal Verification of Petri Nets with Names, Marco Montali
• Modeling and formal analysis of a client-server application for Cloud services, Roxana-Maria Holom
• On the Suitability of Generalized Behavioral Profiles for Process Model Comparison, Abel Armas-Cervantes