Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991

著者

書誌事項

Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991

edited by Bengt Jonsson, Joachim Parrow, Björn Pehrson

North-Holland, 1991

大学図書館所蔵 件 / 全8件

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

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.

「Nielsen BookData」 より

詳細情報

ページトップへ