Simulation of communications architecture specifications using Prolog

15 January 1993

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGAPP Applied Computing Review

Vol. 1 (1) , 10-17
https://doi.org/10.1145/152535.152537

Abstract

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.

Keywords

This publication has 1 reference indexed in Scilit:

Introduction to the ISO specification language LOTOS
Published by Elsevier ,2003