Carla: A rule language for specifying communications architectures |
| |
Authors: | Wayne Citrin Alistair Cockburn |
| |
Affiliation: | 1 Department of Electrical and Computer Engineering, University of Colorado, Boulder, Colo., U.S.A. 2 Humans and Technology Inc., Salt Lake City, Utah, U.S.A. |
| |
Abstract: | 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. |
| |
Keywords: | rule-based languages specification languages communication protocols |
本文献已被 ScienceDirect 等数据库收录! |
|