Advertisement

Web Services and Formal Methods

Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

  • Mario Bravetti
  • Manuel Núñez
  • Gianluigi Zavattaro

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

Table of contents

  1. Front Matter
  2. InvitedPapers

    1. W. M. P. van der Aalst, M. Pesic
      Pages 1-23
    2. Marco Aiello, Florian Rosenberg, Christian Platzer, Agata Ciabattoni, Schahram Dustdar
      Pages 24-37
    3. M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti et al.
      Pages 38-57
  3. Contributed Papers

    1. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali et al.
      Pages 58-72
    2. Rebhi Baraka, Wolfgang Schreiner
      Pages 73-87
    3. Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
      Pages 88-106
    4. Antonio Brogi, Razvan Popescu
      Pages 107-122
    5. Roberto Bruni, Hernán Melgratti, Emilio Tuosto
      Pages 123-137
    6. Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Leonardo Vito
      Pages 138-147
    7. S. Carpineti, G. Castagna, C. Laneve, L. Padovani
      Pages 148-162
    8. Gero Decker, Johannes Maria Zaha, Marlon Dumas
      Pages 163-177
    9. Gregorio Díaz, María-Emilia Cambronero, M. Llanos Tobarra, Valentín Valero, Fernando Cuartero
      Pages 178-192
    10. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
      Pages 193-213
    11. Manuel Mazzara, Ivan Lanese
      Pages 257-272
  4. Back Matter

About these proceedings

Keywords

SOAP Service Oriented Architecture (SOA) XML formal method formal methods model checking ontologies performance engineering petri nets program analysis security security analysis semantic Web semantics systems analysis

Editors and affiliations

  • Mario Bravetti
    • 1
  • Manuel Núñez
    • 2
  • Gianluigi Zavattaro
    • 3
  1. 1.University of Bologna 
  2. 2.Dept. Sistemas Informáticos y Programación Facultad de InformáticaUniversidad Complutense de MadridMadridSpain
  3. 3.Dip. Scienze dell’InformazioneUniversità di BolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/11841197
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-38862-3
  • Online ISBN 978-3-540-38865-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site