Protocol Specification, Testing and Verification: 11th: 1991
International Workshop Proceedings
Published in December 1991
Book
Hardback
380 pages
978-0-444-89210-2 (ISBN)
Description
This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools. In addition to these more traditional topics, contributions are included on: #Specification, testing and verification of real-time properties; #Novel methods for formal specification of realistic services; #Automated and semi-automated analysis of non-finite-state systems; #Design and implementation by stepwise refinement and #Applications of the above to new generations of high-speed networks, multi-media services and distributed environments for computer supported cooperative work.
This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools. In addition to these more traditional topics, contributions are included on: #Specification, testing and verification of real-time properties; #Novel methods for formal specification of realistic services; #Automated and semi-automated analysis of non-finite-state systems; #Design and implementation by stepwise refinement and #Applications of the above to new generations of high-speed networks, multi-media services and distributed environments for computer supported cooperative work.
This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools. In addition to these more traditional topics, contributions are included on: #Specification, testing and verification of real-time properties; #Novel methods for formal specification of realistic services; #Automated and semi-automated analysis of non-finite-state systems; #Design and implementation by stepwise refinement and #Applications of the above to new generations of high-speed networks, multi-media services and distributed environments for computer supported cooperative work.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 230 mm
ISBN-13
978-0-444-89210-2 (9780444892102)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Verification: An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm (A. Valmari, M. Tienari), Compressed State Space Representation in LOTOS with the Interleaved Expansion (J. Quemada). Specification: Structuring Mechanisms for the Formal Description Technique CRS (R.J. Velthuys, L.F. Mackert, J.M. Schneider, G. Zorntlein), A Formalization of Temporal Message-Flow Diagrams (A.A.R. Cockburn), An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle (P. de Saqui-Sannes, J.-P. Courtiat). Refinement and Implementation: A Composition Theorem for Layered Systems (S.S. Lam, A.U. Shankar), Stepwise Refinement of Reactive Processor Farms (K. Sere), Automatic Implementation of TP4/IP with an Estelle Workstation: Development Methodology and Performance Evaluation (E. Vazquez, P. Sandoval, M. Sedano, J. Vinyes). Semantics: A Modular Approach for the Validation of Communication Protocols Using FIFO Nets (Y. Souissi), An Expressive Trace Theory for LOTOS (S. Gallouzi, L. Logrippo, A. Obaid). Performance and Time: Stochastic Petri Net Modeling of the FDDI Network Protocol (I.F. Akyildiz, G. Chiola, D. Kofman, H. Korezlioglu), Performance Description and Analysis for Distributed Systems Using A Variant of LOTOS (N. Rico, G.v. Bochmann), A Constrained Approach for Temporal Intervals in the Analysis of Timed Transitions (Y.-J. Lin, G. Wuu). Testing Theory: A Framework for Test Selection (E. Brinksma, J. Tretmans, L. Verhaard), Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS (G. Leduc). Conformance Testing: LAPB Conformance Testing Using Trace Analysis (R. Wvong), Presentation Layer Conformance Testing with TTCN (U. Bar, M. Strecker, W. Stoll, W. Effelsberg). Test Sequence Generation: Generating Test Sequences and their Degrees of Indeterminism for Protocols (T.-Y. Cheung, Y. Wu, X. Ye), Test Generation for the Specification Written in Estelle (D.Y. Lee, J.Y. Lee), Towards Automatic Test Generation for Protocol Data Aspects (E. Kwast), Protocol Conformance Testing by Discriminating UIO Sequences (X. Sun, Y.-N. Shen, F. Lombardi, D. Sciuto). Author Index.