The proceedings of FORTE 92, held in Perros-Guirec, France, address the development and use of formal description techniques (FDTs) that are applicable to distributed systems. The approaches considered are standard FDTs 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. Research papers and industrial reports cover areas of FDT-based software engineering including methodology and architecture, design and implementation, comparative analyses of FDTs, practical usage experience, and case studies. No index. Annotation copyright Book News, Inc. Portland, Or.
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.
