期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2012
卷号：12
期号：12
页码：129-135
出版社：International Journal of Computer Science and Network Security
摘要：This paper presents an approach showing how first order predicate logic sentences can be used creating Estelle specifications. Some knowledge based techniques for creation of specifications are briefly introduced. Knowledge about Estelle specifications and its application are given too. An approach for application of first order predicate logic formulas to construct Estelle specifications is discussed ? predicates and relations used to describe elements of an extended finite state machine and the specification language are described in detail. A mapping between predicate logic formulas and specification language constructs is defined for the use during specification construction process. In order to illustrate the approach explained in the paper, an alternating bit protocol model is used.
关键词：Estelle specification; first order predicates; alternating bit protocol
