+612 9045 4394
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII '97 - Atsushi Togashi

Formal Description Techniques and Protocol Specification, Testing and Verification


Hardcover Published: 31st October 1997
ISBN: 9780412820601
Number Of Pages: 550

Share This Book:


RRP $857.99
or 4 easy payments of $148.56 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

  • Paperback View Product Published: 11th January 2013

Addressing formal description techniques (FDTs) applicable to distributed systems and communication protocols, this work aims to present the theory, application, tools and industrialization of FDTs. Some of the topics covered include: FDT-based system and protocol engineering and implementation; corporate, strategic and financial consequences of FDT; use, protocol testing and synthesis; and performance modelling and analysis. This book should be of interest to computer scientists; engineers; professional and academic researchers involved in distributed systems and communication protocols; professionals in the telecommunications industry; and students and lecturers in computer science, engineering and telecommunications.

Committee Members and Invited Talk
List of reviewers
New generation networks and applicationsp. 3
Specification-based testing of concurrent systemsp. 7
Refusal testing for classes of transition systems with inputs and outputsp. 23
A framework for distributed object-oriented testingp. 39
Interoperability test suite derivation for symmetric communication protocolsp. 57
A hierarchy of communication models for message sequence chartsp. 75
Timing constraints in message sequence chart specificationsp. 91
Consistent semantics for ODP information and computational modelsp. 107
Specifying the ODP trader: an introduction to E-LOTOSp. 127
A computer aided design of a secure registration protocolp. 145
Implementation of distributed systems described with LOTOS multi-rendezvous on bus topology networksp. 161
Disjunction of LOTOS specificationsp. 177
A timed automaton model for ET-LOTOS verificationp. 193
Automatic checking of aggregation abstractions through state enumerationp. 207
Concept of quantified abstract quotient automaton and its advantagep. 223
Validating protocol composition for progress by parallel step reachability analysisp. 239
An improved search strategy for Lossy channel systemsp. 251
A weighted random walk approach for conformance testing of a system specified as communicating finite state machinesp. 267
Friendly testing as a conformance relationp. 283
Generalized metric based test selection and coverage measure for communication protocolsp. 299
Future information technology and its impact on societyp. 317
Dynamic priorities for modeling real-timep. 321
On-line timed protocol trace analysis based on uncertain state descriptionsp. 337
Algebraic specification through expression transformationp. 355
Modelling digital logic in SDLp. 367
A methodology for the description of system requirements and the derivation of formal specificationsp. 383
On the influence of semantic constraints on the code generation from Estelle specificationsp. 399
Using a formal description technique to model aspects of a global air traffic telecommunications networkp. 417
An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring systemp. 433
Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP/IP protocolsp. 449
Eight years of experience in test generation from FDTs using TVEDAp. 465
Distributed object consistency in mobile environmentsp. 483
Self-independent petri nets for distributed systemsp. 487
Combining CSP and object-Z: finite or infinite trace semantics?p. 503
Selective mu-calculus: new modal operators for proving properties on reduced transition systemsp. 519
On a concurrency calculus for design of mobile telecommunication systemsp. 535
Index of contributorsp. 547
Keyword indexp. 549
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412820601
ISBN-10: 0412820609
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 550
Published: 31st October 1997
Publisher: Chapman and Hall
Country of Publication: GB
Dimensions (cm): 23.4 x 15.6  x 3.18
Weight (kg): 2.17