Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques

Front Matter....Pages i-xiv
Front Matter....Pages 1-1
Proving Performance Properties (even Probabilistic Ones)....Pages 3-20
Front Matter....Pages 21-21
Semantic-Oriented Description Techniques for Network Management Information Modeling....Pages 23-36
A Service Request Description Language....Pages 37-52
Front Matter....Pages 53-53
Modelling and Verification of a Multiprocessor Realtime OS Kernel....Pages 55-70
Design of operating systems using the F.D.T. ESTELLE....Pages 71-86
The Formalization and Analysis of CCR Protocol and Service....Pages 87-99
On the Formal Specification and Verification of Network Routing Algorithms....Pages 100-115
Front Matter....Pages 117-117
Validation of Supplementary Services in the Context of Interoperability....Pages 119-134
FDT based development of an interworking unit between LANs and X.25 networks....Pages 135-150
Using formal specification and simulation: Practical experience with distributed applications....Pages 151-162
Front Matter....Pages 163-163
Representation of Process-Gate Nets in LOTOS and Verification of LOTOS Laws: the Boolean Algebra Approach....Pages 165-180
Reachable state space analysis of LOTOS specifications....Pages 181-196
An Improvement in Formal Verification....Pages 197-211
A Modal Based Verification for LOTOS (abstract)....Pages 215-217
Tableau methods to decide Strong Bisimilarity on LOTOS processes involving pure interleaving and enabling....Pages 218-220
Simulator for Lotos to study the Independence and Causality of Events....Pages 221-223
Front Matter....Pages 225-225
Verifying ET-LOTOS programs with KRONOS....Pages 227-242
Automatic Verification of Real-Time Communicating Systems by Constraint-Solving....Pages 243-258
Verifying Timing Properties of Concurrent Algorithms....Pages 259-273
Formal Specification and Analysis of an ISO Communications Protocol....Pages 277-279
Front Matter....Pages 225-225
Verification Model Reduction through Abstractions....Pages 280-282
Visual Animation of Lotos using Solve....Pages 283-285
How Good is Your Specification Method?....Pages 289-289
Front Matter....Pages 291-291
Relating Maximality-based Semantics to Action Refinement in Process Algebras....Pages 293-308
An Abstract Interpreter for the specification language LOTOS....Pages 309-323
An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus....Pages 324-339
Delayed choice: an operator for joining Message Sequence Charts....Pages 340-354
Four Issues Concerning the Semantics of Message Flow Graphs....Pages 355-369
Towards a Formal Computational Model for Distributed Multimedia Applications....Pages 373-375
Specification, Detection and Resolution of IN Feature Interactions with Estelle....Pages 376-378
Application of Protocol Synthesis Technique to Resolution of the Service Interaction Problem....Pages 379-381
Proving the Value of Formal Methods....Pages 385-396
Front Matter....Pages 397-397
A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing....Pages 399-414
Test sequence generation using Estelle or SDL structure information....Pages 415-430
Derivation of efficient implementations from formal descriptions — issues, methods and conformance....Pages 431-446
Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling....Pages 449-451
A new Approach to Performance Evaluation of Formally Specified Protocols....Pages 452-454
Integrated Analysis of Concurrent Distributed Systems using Markovian Process Algebra....Pages 455-457
Front Matter....Pages 459-459
Modelling Techniques for Evolving Distributed Applications....Pages 461-476
A Synthesis Algorithm of a Protocol Model from a Single Entity....Pages 477-492
Front Matter....Pages 459-459
A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous....Pages 493-504
Stepwise Transformations for Fault-Tolerant Design of CCS Processes....Pages 505-520
Back Matter....Pages 521-522