Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
Author(s)
Bibliographic Information
Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
(IFIP transactions, C . Communication systems ; 10)
North-Holland, 1993
- Other Title
-
Formal description techniques, 5
Formal description techniques, five
Available at 7 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references and index
Description and Table of Contents
Description
This volume addresses the development and use of Formal Description Techniques (FDTs) that are applicable to Distributed Systems. The approaches considered are standard FTDs such as ASN.1., Estelle, LOTOS and SDL, as well as other formal approaches that contain innovative ideas and apply to distributed systems, such as Actors, B, Z and VDM. The papers present the state of the art in theory, application, tools and industrialization of Formal Techniques. There are also papers discussing industrial applicability of the techniques to protocols and distributed systems, which aim to provide an orientation for newcomers. Researchers papers and industrial reports cover the following areas of FDT-based software engineering - methodology and architecture, design and implementation, comparative analyses of FDTs, practical usage experience and case studies.
Table of Contents
- Part 1 Industrial usage reports I: VEDA 2 ,- power to the protocol designer, L. Doldi and P. Gauthier
- LOTOS in Alcatel, H. Nirsch and J. Blanchard
- an experiment in analyzing switch recovery procedures, D. Cohen and N. Dorn. Part 2 Specification: translator tool for ASN.1 into LOTOS, M. Thomas
- incremental processing of Z specifications, A.M.L. de Vasconcelos and J.A. Mc Dermid. Part 3 Time and performance: queueing network model for Estelle, P. Dembinski
- a timed LOTOS supporting a dense time domain and including new timed operator, G. Leduc and L. Leonard
- extending LOTOS towards performance evaluation, C. Miguel et al. Part 4 Verification I: towards efficient parallelization of equivalence checking algorithms, S. Zhang and S.A. Smolka
- on improving reduced reachability analysis, L. Ciacciari and O. Rafiq
- design of a formal Estelle semantics for verification, J. Bredereke et al. Part 5 Industrial usage reports II: specification and implementation of an ISDN telephone system using LOTOS, P. Ernberg et al
- analyzing a space-protocol - from specification simulation to experimentation, C. Jard et al
- formal specification in the development of industrial applications - subway speed control system, C. da Silva et al. Part 6 Invited presentation: formal methods for actor systems - a progress report, G. Agha. Part 7 Design: protocol design using LOTOS - a critical synthesis of a standardization experience, H. Kremer et al
- a method for specifying and validating communication protocols in LOTOS, F.J. Carrasco and J.J. Gil
- using VDM to specify managed object relationship, L.S. Marshall and L. Simon. Part 8 Executing LOTOS: generating transition graphs from LOTOS specifications, G. Karjoth
- symbolic execution of LOTOS specifications, H. Eertink and D. Wolz
- goal-oriented execution for LOTOS, M. Haj-Hussein et al. Part 9 True concurrency: bundle event structures - a non-interleaving semantics for LOTOS, R. Langerak
- a true concurrency semantics for LOTOS, R.J. Coelho da Costa and J.P. Courtiat
- a constraint-oriented real-time process calculus, C.J. Fidge. Part 10 Testing: test derivation for SDL based on ACTs, F. Kristoffersen et al
- combination of conformance and interoperability testing, N. Arakawa et al
- using FDTs in the development of a PICS editor, J.I. Sanz. Invited presentation: the electric power of LOTOS - results of a joint academic/industrial experiment, T. Bolognesi. Part 11 Verification II: generality in design and compositional verification using Tav, A. Borjesson et al
- verification by consecutive projections, E. Haghverdi and K. Inan
- shared-state design modulo weak and strong process fairness, K. Stolen.
by "Nielsen BookData"