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
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Object oriented programming in Concurrent Prolog
Concurrent Prolog: collected papers
Parallel Programming Using Shared Objects and Broadcasting
Computer - Special issue on sharing: high performance at low cost
Simulation of communications architecture specifications using Prolog
ACM SIGAPP Applied Computing Review
Using formalized temporal message-flow diagrams
Software—Practice & Experience
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
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
A Formalization of Temporal Message-Flow Diagrams
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
| Hi-index | 0.00 |
Due to the unique requirements of a series of projects to specify communications architectures using graphical representations (Cara and MFD), we have developed the communications-oriented rule-based language Carla (Cara Rule Language), which provides an executable specification of the architecture being developed. Carla is designed to provide the ability to specify and simulate high-level, possibly incomplete, specifications of communications architectures, and to allow the developer to refine the specification through the addition of behavior-describing rules. Carla is also well-suited to creating black-box specifications of any system whose behavior depends on input/output history. We describe the features of the language, discuss various design issues, and provide examples of various communications protocols specified in Carla.