Formal Techniques for Networked and Distributed Systems – FORTE 2007

27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings

  • Editors
  • John Derrick
  • Jüri Vain
Conference proceedings FORTE 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4574)

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Technical Session 1. Message Sequence Charts and SDL

    1. Haitao Dan, Robert M. Hierons, Steve Counsell
      Pages 19-34
    2. Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün
      Pages 35-49
    3. S. S. Batth, E. R. Vieira, A. Cavalli, M. Ü. Uyar
      Pages 50-65
  4. Technical Session 2. Concurrency

  5. Technical Session 3. Model Programs

    1. Margus Veanes, Juhan Ernits, Colin Campbell
      Pages 112-127
    2. Margus Veanes, Colin Campbell, Wolfram Schulte
      Pages 128-142
  6. Technical Session 4. Theory

    1. David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez
      Pages 143-159
    2. Thomas Gazagnaire, Loïc Hélouët
      Pages 160-176
    3. S. Evangelista, C. Pajault, J. F. Pradat-Peyre
      Pages 177-195
  7. Technical Session 5. Verification

    1. Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng
      Pages 196-210
    2. Rui Fan, Ralph Droms, Nancy Griffeth, Nancy Lynch
      Pages 211-226
  8. Technical Session 6. Model Checking

    1. Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
      Pages 247-262
    2. Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
      Pages 263-279
    3. Kais Klai, Laure Petrucci, Michel Reniers
      Pages 280-295
  9. Technical Session 7. Requirements and QoS

About these proceedings

Introduction

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The ?rst PSTV conference took place in 1981, and the ?rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re?ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the ?agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26–29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.

Keywords

Quality of Service Quality of Service (QoS) algorithm algorithms distributed systems model checking verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73196-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73195-5
  • Online ISBN 978-3-540-73196-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book