Specification of the RTPA grammar and its recognition

Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004

Volumn , Issue , 2004, Pages 54-63

  Tan, Xinming ^a   Wang, Yingxu ^a   Ngolah, Cyprian F ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

Cognitive informatics; Descriptive mathematics; Formal methods; Grammar recognition; Human behaviors; LL(k); Parser; RTPA; Software engineering; System behaviors; Type checker

Indexed keywords

ABSTRACTING; BEHAVIORAL RESEARCH; COMPUTER ARCHITECTURE; INFORMATION SCIENCE; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SPECIFICATIONS;

COGNITIVE INFORMATICS; DESCRIPTIVE MATHEMATICS; FORMAL METHODS; GRAMMAR RECOGNITION; HUMAN BEHAVIOR; LL(K); PARSER; REAL-TIME PROCESS ALGEBRA (RTPA); SYSTEM BEHAVIOR; TYPE CHECKER;

COGNITIVE SYSTEMS;

EID: 13944282567     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Aho, A.V., R. Sethi, and J.D. Ullman (1986), Compilers: Principles, Techniques, and Tools. Addison Wesley.
2. Grune, D., H.E. Bal, C.J.H. Jacobs, and K.G. Langendoen (2000), Modern Compiler Design, John Wiley & Sons, Ltd, England.
3. Parr, T. (2003), ANTLR, http://www.antlr.org/, Jan.
4. Tan, X. and Y. Wang (2004), A Novel Type Checker for Software System Specifications in RTPA, Proc. of the 2004 Canadian Conference on Electrical and Computer Engineering (CCECE'04), IEEE CS Press, Niagara Falls, Canada, May, pp.1549-1552.
5. Wang, Y. (2002), The Real-Time Process Algebra (RTPA), The International Journal of Annals of Software Engineering, Vol.14, USA, Oct., pp. 235-274.
6. Wang, Y. (2003), Real-Time Process Algebra (RTPA) and Its Applications, in B.K. Aichernig and T. Maibaum eds., Formal Methods at the Cross Roads: From Panacea to Foundational Support, Springer LNCS 2757, Berlin, pp.322-336.
7. Wang, Y. (2003), On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp.151-167.
8. Wang, Y. (2003), Using Process Algebra to Describe Human and Software Behaviors, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, Vol.4, No.2, pp.199-213.
9. Wang, Y. and C.F. Noglah (2003), Formal Description of Real-Time Operating Systems using RTPA, Proc. of the 2003 Canadian Conference on Electrical and Computer Engineering (CCECE'03), IEEE CS Press, Montreal, Canada, May, pp. 1247-1250.
10. Wang, Y. and C.F. Noglah (2002), Formal Specification of a Real-Time Lift Dispatching System, Proc. of the 2002 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE'02), Winnipeg, Manitoba, Canada, Vol. 2, pp. 669-674.
11. Zhao, J. and Y. Wang (2003), Design of a Parser for Real-Time Process Algebra (RTPA), Proc. of the 2003 Canadian Conference on Electrical and Computer Engineering (CCECE'03), IEEE CS Press, Montreal, Canada, May, pp. 1259-1262.