Skip to main content
SpringerLink
Log in

Formal Techniques for Networked and Distributed Systems - FORTE 2007

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. John Derrick
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jüri Vain
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: FORTE 2007.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

      • Susanne Graf, Sophie Quinton
      Pages 1-18

  3. Technical Session 1. Message Sequence Charts and SDL

    1. Thread–Based Analysis of Sequence Diagrams

      • Haitao Dan, Robert M. Hierons, Steve Counsell
      Pages 19-34

    2. Recovering Repetitive Sub-functions from Observations

      • Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hüsnü Yenigün
      Pages 35-49

    3. Specification of Timed EFSM Fault Models in SDL

      • S. S. Batth, E. R. Vieira, A. Cavalli, M. Ü. Uyar
      Pages 50-65

  4. Technical Session 2. Concurrency

    1. Coordination Via Types in an Event-Based Framework

      • Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
      Pages 66-80

    2. Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation

      • Yang Hongli, Zhao Xiangpeng, Cai Chao, Qiu Zongyan
      Pages 81-96

    3. Towards Modal Logic Formalization of Role-Based Access Control with Object Classes

      • Junghwa Chae
      Pages 97-111

  5. Technical Session 3. Model Programs

    1. State Isomorphism in Model Programs with Abstract Data Structures

      • Margus Veanes, Juhan Ernits, Colin Campbell
      Pages 112-127

    2. Composition of Model Programs

      • Margus Veanes, Colin Campbell, Wolfram Schulte
      Pages 128-142

  6. Technical Session 4. Theory

    1. New Bisimulation Semantics for Distributed Systems

      • David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez
      Pages 143-159

    2. Event Correlation with Boxed Pomsets

      • Thomas Gazagnaire, Loïc Hélouët
      Pages 160-176

    3. A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets

      • S. Evangelista, C. Pajault, J. F. Pradat-Peyre
      Pages 177-195

  7. Technical Session 5. Verification

    1. Improvements for the Symbolic Verification of Timed Automata

      • Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng
      Pages 196-210

    2. The DHCP Failover Protocol: A Formal Perspective

      • Rui Fan, Ralph Droms, Nancy Griffeth, Nancy Lynch
      Pages 211-226

    3. Verifying Erlang/OTP Components in μCRL

      • Qiang Guo
      Pages 227-246

  8. Technical Session 6. Model Checking

    1. Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata

      • Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
      Pages 247-262

    2. Testing Distributed Systems Through Symbolic Model Checking

      • Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin
      Pages 263-279

    3. An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets

      • Kais Klai, Laure Petrucci, Michel Reniers
      Pages 280-295

  9. Technical Session 7. Requirements and QoS

    1. Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements

      • Kedian Mu, Zhi Jin
      Pages 296-308
Back to top

Other volumes

  1. Formal Techniques for Networked and Distributed Systems – FORTE 2007

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation