Specification of the RTPA grammar and its recognition

被引：7
作者：
Tan, XM [1 ]
Wang, YX [1 ]
Ngolah, CF [1 ]
机构：
[1] Univ Calgary, Dept Elect & Comp Engn, Theoret & Empir Software Engn Res Ctr, Calgary, AB T2N 1N4, Canada
来源：
PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS | 2004年
关键词：
cognitive informatics; software engineering; formal methods; RTPA; descriptive mathematics; grammar recognition; system behaviors; human behaviors; LL(k); parser; type checker;
D O I：
10.1109/COGINF.2004.1327459
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A new type of descriptive mathematics, Real-Time Process Algebra (RTPA), is developed for describing complicated behaviors of human beings and software systems. This paper describes the key syntax of RTPA defined by a set of 280 LL(k) grammar rules and their recognition techniques. The LL(k) grammar of RTPA is formally described by using the EBNF notations. The design of the RTPA parser and type checker are presented on the basis of the RTPA grammar. To deal with the special non-LL(k) grammar rules of RTPA, the ANTLR syntactic predicates are used to create guarded and extended rules. The tasks of type checking in RTPA recognition can be classified into three categories: (a) identifier type compliancy, (b) expression type compliancy, and (c) process constraint consistency. The implementation of the RTPA parser and type checker provides an important tool for RTPA recognition and for generating executable code for formal specifications of system architectures and behaviors in RTPA.
引用
收藏
页码：54 / 63
页数：10
相关论文
共 11 条
  • [1] Aho Alfred V., 1986, ADDISON WESLEY SERIE
  • [2] [Anonymous], 2000, MODERN COMPILER DESI
  • [3] PARR T, 2003, ANTLR
  • [4] TAN X, 2004, P 2004 CAN C EL COMP, P1549
  • [5] WANG Y, 2003, BRAIN MIND TRANSDISC, V4, P199, DOI DOI 10.1023/A:1025457612549
  • [6] WANG Y, 2003, LECT NOTES COMPUT SC, V2757, P322
  • [7] WANG Y, 2002, P 2002 IEEE CAN C EL, V2, P669
  • [8] Wang Yingxu., 2003, BRAIN MIND, V4, P151, DOI DOI 10.1023/A:1025401527570
  • [9] Wang YX, 2003, CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS, P1247
  • [10] The real-time process algebra (RTPA)
    Wang, YX
    [J]. ANNALS OF SOFTWARE ENGINEERING, 2002, 14 (1-4) : 235 - 274
12