Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Front Matter....Pages i-xiv
Front Matter....Pages 1-1
Specification and Verification of Timed Systems....Pages 3-3
Stabilizing client/server protocols without the tears....Pages 5-19
Front Matter....Pages 21-21
Distributed System Specification in VDM++....Pages 23-37
OMT, Bridging the Gap between Analysis and Design....Pages 39-55
Formal support for design techniques: a Timethreads-LOTOS approach....Pages 57-72
Front Matter....Pages 73-73
Using PO Methods for Verifying Behavioural Equivalences....Pages 75-89
Formal Verification of a Protocol for Communications over faulty channels....Pages 91-108
Specifying properties of Basic LOTOS processes using temporal logic....Pages 109-116
A Reachability Analysis of RT-LOTOS Specifications....Pages 117-124
Front Matter....Pages 125-125
Towards a mobile LOTOS....Pages 127-142
Type Specifications with Processes....Pages 143-158
A Unified Model for CSP-like Languages with Specifications....Pages 159-166
Front Matter....Pages 167-167
Secrets of call forwarding: A specification case study....Pages 169-184
A formal method for event-triggered sequential systems....Pages 185-200
An Extension of GDMO for Formalizing Managed Objects Behaviour....Pages 201-217
Front Matter....Pages 219-219
Experiences of using SDL collected in IskraTEL SDL Methodology....Pages 221-236
Development of broadband ISDN telecommunication services using SDL’92, ASN.1 and automatic code generation....Pages 237-252
Supporting evolution of SDL-based systems: industrial experience....Pages 253-268
Front Matter....Pages 269-269
A LOTOS Compiler Generating Multi-threaded Object Codes....Pages 271-286
A Comparison between the Service Addition language SAL and the ITU-T recommendation Z.120....Pages 287-294
Front Matter....Pages 269-269
Combining Formal Methods: An Exercise in Integration....Pages 295-302
Formal Specification of a Framework for Groupware Development....Pages 303-310
Front Matter....Pages 311-311
Selexpert — a knowledge-based tool for test case selection....Pages 313-328
Mutation testing applied to validate specifications based on Petri Nets....Pages 329-337
A new approach for distributing Estelle specifications....Pages 339-348
Front Matter....Pages 311-311
Critical time distributed systems : qualitative and quantitative analysis based on Stochastic Timed Petri Nets....Pages 351-366
Testing Semantics for Probabilistic LOTOS....Pages 367-382
Real-time LOTOS and timed observations....Pages 383-397
Front Matter....Pages 399-399
Assertional Verification of a connection management protocol....Pages 401-416
Sharing trees for “on-the-fly” verification....Pages 417-432
Verification of Liveness Property for Communicating FSM’s with Conditional Transitions depending on State Visiting Numbers....Pages 433-440
A New Approach for Protocols Performance Evaluation using Annotated Estelle Specifications....Pages 441-448
Back Matter....Pages 499-452