Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

Editors:

ISBN: 978-1-4757-5262-5 (Print) 978-0-387-35394-4 (Online)

Table of contents (28 chapters)

previous Page of 2
  1. Front Matter

    Pages i-xi

  2. FDTs Extensions

    1. Front Matter

      Pages 1-1

    2. Chapter

      Pages 3-18

      An Algebraic Semantics for Message Sequence Chart Documents

    3. Chapter

      Pages 19-36

      Open Estelle — An FDT for Open Distributed Systems

    4. Chapter

      Pages 37-55

      A Graphical Representation and Prototype Editor for the Formal Description Technique Estelle

  3. Verification 1

    1. Front Matter

      Pages 57-57

    2. Chapter

      Pages 59-74

      Protocol Feature Interactions

    3. Chapter

      Pages 75-90

      Limits and Possibilities of Sequential Hashing with Supertrace

  4. Test 1

    1. Front Matter

      Pages 91-91

    2. Chapter

      Pages 93-109

      Fault-Oriented Test Generation for Multicast Routing Protocol Design

    3. Chapter

      Pages 111-126

      Issues in Conformance Testing: Multiple Semicontrollable Interfaces

    4. Chapter

      Pages 127-140

      Automatic Test Case Generation of Real Protocols: Framework and Methodology

    5. Invited Talk II

      1. Chapter

        Pages 143-143

        Quality of Service in Integrated Networks

  5. Methodology 1

    1. Front Matter

      Pages 145-145

    2. Chapter

      Pages 147-162

      Enumeration protocol in Estelle: an exercise in stepwise development

    3. Chapter

      Pages 163-178

      A Design Methodology for the Formal Specification and Verification of Hypermedia Documents

  6. Methodology 2

    1. Front Matter

      Pages 179-179

    2. Chapter

      Pages 181-196

      Frameworks by means of virtual types — exemplified by SDL

    3. Chapter

      Pages 197-212

      SDL-Pattern based Development of a Communication Subsystem for CAN

  7. Verification 2

    1. Front Matter

      Pages 213-213

    2. Chapter

      Pages 215-230

      “On-the-Fly Instantiation” of Value-Passing Processes

    3. Chapter

      Pages 231-247

      Solving asynchronous equations

    4. Chapter

      Pages 249-263

      Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers

  8. Case Studies

    1. Front Matter

      Pages 265-265

    2. Chapter

      Pages 267-282

      SDL Specification and Verification of Universal Personal Computing with Objectgeode

    3. Chapter

      Pages 283-307

      Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System

    4. Chapter

      Pages 309-324

      Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE

    5. Invited Talk III

      1. Chapter

        Pages 327-333

        A Logical Framework for Distributed Systems and Communication Protocols

previous Page of 2