Skip to main content
SpringerLink
Log in

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

  • Book
  • © 1997

Overview

Editors:
  1. Tadanori Mizuno

    1. Shizuoka University, Hamamatsu, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Norio Shiratori

    1. Tohoku University, Miyagi, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Teruo Higashino

    1. Osaka University, Osaka, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Atsushi Togashi

    1. Shizuoka University, Hamamatsu, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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 (33 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. New Generation Networks and Applications

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Testing Theory for Concurrent Systems

      1. Specification-based testing of concurrent systems
        • Andreas Ulrich, Hartmut König
        Pages 7-22
      2. Refusal testing for classes of transition systems with inputs and outputs
        • Lex Heerink, Jan Tretmans
        Pages 23-39
      3. A Framework for Distributed Object-Oriented Testing
        • Alan C. Y. Wong, Samuel T. Chanson, S. C. Cheung, Holger Fuchs
        Pages 39-56
      4. Interoperability Test Suite Derivation for Symmetric Communication Protocols
        • Sungwon Kang, Myungchul Kim
        Pages 57-72

    3. MSC and ODP

      1. A Hierarchy of Communication Models for Message Sequence Charts
        • A. Engels, S. Mauw, M. A. Reniers
        Pages 75-90
      2. Timing Constraints in Message Sequence Chart Specifications
        • Hanêne Ben-Abdallah, Stefan Leue
        Pages 91-106
      3. Consistent Semantics for ODP Information and Computational Models
        • Joubine Dustzadeh, Elie Najm
        Pages 107-126
      4. Specifying the ODP Trader: An Introduction to E-LOTOS
        • Giovanny F. Lucero, Juan Quemada
        Pages 127-142

    4. LOTOS and Extension

      1. A Computer Aided Design of a Secure Registration Protocol
        • F. Germeau, G. Leduc
        Pages 145-160
      2. Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks
        • Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
        Pages 161-176
      3. Disjunction of LOTOS specifications
        • M. W. A. Steen, H. Bowman, J. Derrick, E. A. Boiten
        Pages 177-192
      4. A timed automaton model for ET-LOTOS verification
        • Christian Hernalsteen
        Pages 193-204

    5. Verification Technique

      1. Automatic Checking of Aggregation Abstractions Through State Enumeration
        • Seungjoon Park, Satyaki Das, David L. Dill
        Pages 207-222
      2. Concept of Quantified Abstract Quotient Automaton and its advantage
        • G. Juanole, L. Gallon
        Pages 223-238
      3. Validating Protocol Composition for Progress by Parallel Step Reachability Analysis
        • Gurdip Singh, Hong Liu
        Pages 239-250
      4. An Improved Search Strategy for Lossy Channel Systems
        • Parosh Aziz Abdulla, Mats Kindahl, Doron Peled
        Pages 251-264

    6. Conformance Testing

      1. A weighted random walk approach for conformance testing of a system specified as communicating finite state machines
        • Deukyoon Kang, Sungwon Kang, Myungchul Kim, Sangjo Yoo
        Pages 267-282
      2. Friendly Testing as a Conformance Relation
        • David de Frutos-Escrig, Luis Llana-Díaz, Manuel Núñez
        Pages 283-298
Back to top

Keywords

About this book

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Editors and Affiliations

  • Shizuoka University, Hamamatsu, Japan

    Tadanori Mizuno, Atsushi Togashi

  • Tohoku University, Miyagi, Japan

    Norio Shiratori

  • Osaka University, Osaka, Japan

    Teruo Higashino

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation