Web Services, Formal Methods, and Behavioral Types

11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

  • Thomas Hildebrandt
  • António Ravara
  • Jan Martijn van der Werf
  • Matthias Weidlich
Conference proceedings WS-FM 2014, WS-FM 2015

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9421)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9421)

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Fabrizio Montesi
      Pages 3-10
  3. Expressiveness of Behavioral Models

    1. Front Matter
      Pages 11-11
    2. Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos, Artem Polyvyanyy
      Pages 13-28
    3. Marco Montali, Andrey Rivkin
      Pages 29-47
  4. Service-Oriented Systems

    1. Front Matter
      Pages 49-49
    2. Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
      Pages 51-66
    3. Marc Hüffmeyer, Ulf Schreier
      Pages 86-100
  5. Behavioral Types

    1. Front Matter
      Pages 101-101
    2. Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen, Sebastian Wahl
      Pages 103-121
    3. Eleni Kokkinofta, Anna Philippou
      Pages 122-142
    4. Massimo Bartoletti, Roberto Zunino
      Pages 143-166
  6. Back Matter
    Pages 167-167

About these proceedings


This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.

The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015.

The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 


business process modelling cloud computing model checking service-oriented computing systems modeling behavioural software systems behavioural types cloud services collaborative systems communication-centred systems distributed systems formal methods performance analysis petri nets pi-calculus security analysis static analysis type checking unbounded networks verification

Editors and affiliations

  • Thomas Hildebrandt
    • 1
  • António Ravara
    • 2
  • Jan Martijn van der Werf
    • 3
  • Matthias Weidlich
    • 4
  1. 1.IT University of CopenhagenCopenhagenDenmark
  2. 2.Universidade NOVA de LisboaCaparicaPortugal
  3. 3.Universiteit UtrechtUtrechtThe Netherlands
  4. 4.Humboldt-Universität zu BerlinBerlinGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-33611-4
  • Online ISBN 978-3-319-33612-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment