Executable description of the OSI transport service in Prolog
Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Concurrent Prolog
Channels: A generalization of streams
Concurrent Prolog
Parallel program design: a foundation
Parallel program design: a foundation
Computer Networks
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Use of Prolog for building protocol design tools
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Runnable protocol specifications using the logic interpreter SLOG
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Executable LOTOS: Using PARLOG to Implement an FDT
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
Experiences with a Verification and Simulation Tool for Behavioural Languages
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
An environment for interactive design of communications architectures
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Actors: a model of concurrent computation in distributed systems (parallel processing, semantics, open, programming languages, artificial intelligence)
Carla: A rule language for specifying communications architectures
Computer Languages
Hi-index | 0.00 |
The design of the Cara simulator, a Prolog-based simulator for communications architecture specifications, is described. Unlike other Prolog-based simulation methods, the Cara simulator supports “exploratory simulation”, in which high-level, incomplete specifications may be simulated, and various specification alternatives and elaborations added to the specification during the course of the simulation. Unlike other simulation methods, which construct Prolog procedures whose behavior models that of the specification, our simulator maintains execution traces of simulated protocol behavior and adds to these traces through the application of rules of inference reflecting the protocol behavior. This method provides a flexibility not found in other approaches.