Die Proceedings des WS‑FM 2006 aus Wien präsentieren ein vielfältiges Sammelwerk über formale Analyse von Webservices, das theoretische Modelle mit praxisnahen Fallstudien zu Service‑Orchestrierung und Interoperabilität verbindet.