SPECIFICATIONS OF DISTRIBUTED SYSTEMS IN PROLOG

被引：1
作者：
URAL, H [1 ]
机构：
[1] UNIV OTTAWA,DEPT COMP SCI,PROTOCOLS RES GRP,OTTAWA K1N 9B4,ONTARIO,CANADA
来源：
JOURNAL OF SYSTEMS AND SOFTWARE | 1990年 / 11卷 / 02期
基金：
加拿大自然科学与工程研究理事会;
关键词：
D O I：
10.1016/0164-1212(90)90058-T
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A specification in Prolog coded as a collection of Horn clauses is a system description specifying externally observable system behavior. These system descriptions can be executed for both generating and recognizing possible sequences of valid externally observable system interactions. Thus, they aid in the dynamic analysis of the system functionality captured by subsequent designs and implementations of the specified systems. This paper proposes a comprehensive structure for Prolog-based specifications which supports descriptions of system functionality at various levels of abstraction. The paper also discusses how these executable descriptions are used for validation purposes. © 1990.
引用
收藏
页码：143 / 154
页数：12
相关论文
共 16 条
[1]  
Clocksin W. F., 1984, PROGRAMMING PROLOG
[2]  
Kowalski R.A., 1979, LOGIC PROBLEM SOLVIN
[3]  
LOGRIPPO L, 1984, PROTOCOL SPECIFICATI, V4, P279
[4]  
SARIKAYA B, 1985, OCT P COMNET 85 BUD
[5]  
Schwartz R. L., 1981, 2nd International Conference on Distributed Computing Systems, P446
[6]  
SIDHU DP, 1983, PROTOCOL SPECIFICATI, V3, P237
[7]   STEP-WISE VALIDATION OF COMMUNICATION PROTOCOLS AND SERVICES [J].
URAL, H ;
PROBERT, RL .
COMPUTER NETWORKS AND ISDN SYSTEMS, 1986, 11 (03) :183-202
[8]  
URAL H, 1986, AUG P ACM SIGCOMM 86, P241
[9]  
URAL H, 1985, TR8517 U OTT DEP CSI
[10]  
URAL H, 1983, PROTOCOL SPECIFICATI, V3, P421
12