Paper Info
Title
Carla: A rule language for specifying communications architectures
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.
Year
DOI
Venue
1995
10.1016/0096-0551(95)00009-7
Comput. Lang.
Keywords
DocType
Volume
output history,communications-oriented rule-based language,Cara Rule Language,communications architecture,graphical representation,behavior-describing rule,communication protocols,rule language,rule-based languages,specification languages,various design issue,black-box specification,various communications protocol,executable specification
Journal
21
Issue
ISSN
Citations 
3-4
Computer Languages
0
PageRank 
References 
Authors
0.34
10
2
Name
Order
Citations
PageRank
Wayne Citrin114331.61
Alistair Cockburn21823197.14