Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988

書誌事項

Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988

edited by Kenneth J. Turner

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1989

大学図書館所蔵 件 / 12

この図書・雑誌をさがす

注記

"Organised by University of Stirling, Scotland"--Half t.p.

Includes bibliographies

内容説明・目次

内容説明

This book is the result of the first international conference devoted exclusively to the Formal Description Techniques Estelle , LOTOS , and SDL . Its publication coincides with the standardisation by ISO and CCITT of these formal specification languages. Although conceived for formally specifying and designing data communications systems, the Formal Description Techniques (FDTs) are general-purpose languages for describing distributed, concurrent, or sequential systems. The FORTE 88 Conference focussed on creating awareness and understanding of FDTs. The sessions addressed FDT topics related to software tools, object-oriented design, language issues arising from practical use, theoretical aspects of analysis, experience in writing formal descriptions, and practical aspects of analysis.

目次

Software Tools - Papers. An Approach to Providing Support Tools for Formal Specification (J.J. Masterson, K.P. Ishaq, A.T. Hockley). ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project (P. de Saqui-Sannes, J.-P. Courtiat). A LOTOS to PARLOG Translator (D.R. Gilbert). Transforming LOTOS Specifications with LOLA - The Parameterized Expansion (J. Quemada, S. Pavon, A. Fernandez). Software Tools - Demonstrations. SDT - The SDL Design Tool (M. Atlevi). LOTTE - A LOTOS Tool Environment (W.H.P. van Hulzen). SPIDER - Service and Protocol Interactive Development Environment (S.G. Johnston). A LISP-Based LOTOS Environment (G. Karjoth). From LOTOS to C (J.A. Ma#as, T. de Miguel-More). EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software (J.-M. Ayache et al.). Object-Oriented Design with FDTs. An Object-Oriented Model for Estelle (R. Sijelmassi, P. Gaudette). Specification of Object-Oriented Systems in LOTOS (T. Mayr). An Object-Oriented Model for ASN.1 (P. Gaudette, S. Trus, S. Collins). Language Issues Arising From Practical Use. Modelling OSI in SDL (F. Belina, D. Hogrefe, S. Trigila). Graphical Views of Process-Orientated Specifications (D.W. Bustard et al.). Non-Determinism and SDL (D. Hogrefe, A. Sarma). Theoretical Aspects of Analysis. The Boyer-Moore Theorem-Prover and LOTOS (S.S. Aujla, M. Fletcher). Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol (M. Phalippou, R. Groz). Squiggles - A Tool for the Analysis of LOTOS Specifications (T. Bolognesi, M. Caneve). Transformation from LOTOS Specifications to Galileo Nets (S.M. Rodriguez, G.L. Serrano). Experience in Writing Formal Descriptions. Specifying ROSE in LOTOS (D. Freestone, S.S. Aujla). On the Use of LOTOS for the Formal Description of a Transport Protocol (J. van de Lagemaat, G. Scollo). The Application of LOTOS for the Formal Description of the ISO Session Layer (M. van Sinderen, I. Ajubi, F. Caneschi). LOTOS-Supported System Development (K. Bogaards). Practical Aspects of Analysis. Application of Formal Description Techniques to Conformance Evaluation (J.-P. Favreau, R.J. Linn, P. Gaudette). Derivation of Useful Execution Trees from LOTOS by Using an Interpreter (R. Guillemot, L. Logrippo). SDS - A LOTOS-Based Tool for Symbolic Debugging (F. Costa, D. Nardi, R. Rinaldi). Validation of the Ferry-Clip Local Testing System Using an Estelle-C Compiler (S.T. Vuong, W.Y.L. Chan).

「Nielsen BookData」 より

詳細情報

ページトップへ