Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1997

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

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)

Sections

Buy it now

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

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

Table of contents (33 chapters)

  1. Front Matter

    Pages i-xi
    PDF

  2. New Generation Networks and Applications

    1. Front Matter

      Pages 1-1
      PDF

    2. Testing Theory for Concurrent Systems

      1. Specification-based testing of concurrent systems
        • Andreas Ulrich, Hartmut König
        Pages 7-22
      3. A Framework for Distributed Object-Oriented Testing
        • Alan C. Y. Wong, Samuel T. Chanson, S. C. Cheung, Holger Fuchs
        Pages 39-56

    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

      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
      4. An Improved Search Strategy for Lossy Channel Systems
        • Parosh Aziz Abdulla, Mats Kindahl, Doron Peled
        Pages 251-264

    6. Conformance Testing

      2. Friendly Testing as a Conformance Relation
        • David de Frutos-Escrig, Luis Llana-Díaz, Manuel Núñez
        Pages 283-298
Back to top

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Shizuoka University, Hamamatsu, Japan

    Tadanori Mizuno, Atsushi Togashi

  • Tohoku University, Miyagi, Japan

    Norio Shiratori

  • Osaka University, Osaka, Japan

    Teruo Higashino

Back to top

Bibliographic Information

  • Book Title: Formal Description Techniques and Protocol Specification, Testing and Verification

  • Book Subtitle: FORTE X / PSTV XVII ’97

  • Editors: Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi

  • Series Title: IFIP Advances in Information and Communication Technology

  • DOI: https://doi.org/10.1007/978-0-387-35271-8

  • Publisher: Springer New York, NY

  • eBook Packages: Springer Book Archive

  • Copyright Information: IFIP International Federation for Information Processing 1997

  • Hardcover ISBN: 978-0-412-82060-1Published: 31 October 1997

  • Softcover ISBN: 978-1-4757-5260-1Published: 11 January 2013

  • eBook ISBN: 978-0-387-35271-8Published: 05 June 2013

  • Series ISSN: 1868-4238

  • Series E-ISSN: 1868-422X

  • Edition Number: 1

  • Number of Pages: XI, 550

  • Topics: Computer Communication Networks, Signal, Image and Speech Processing

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation