Title :
Design of a parser for real-time process algebra
Author :
Zhao, Jianhua ; Wang, Yingxu
Author_Institution :
Inst. of Comput. Sci. & Technol., Nanjing Univ., China
Abstract :
The real-time process algebra (RTFA) is a set of new mathematical notations for formally describing software system architectures, and static and dynamic behaviors. To bring RTPA into industrial software development practice, tools are needed for analyzing and visualizing RTPA specifications. The first step to develop the supporting tools is to build a grammar parser for recognizing the RTPA notation system. In this paper, a parser of RTPA is described. The parser takes a textual RTPA specification as input, and generates an abstract syntax tree (AST) as its output. The generated AST represents RTPA tokens and lexical information in a structured format, which provides a foundation for further semantic analysis, code generation, visualization, and validation.
Keywords :
grammars; process algebra; real-time systems; software architecture; software tools; AST; RTFA; abstract syntax tree; grammar parser; real-time process algebra; software engineering; software system architecture; software tools; Algebra; Computer architecture; Computer industry; Computer science; Drives; Java; Real time systems; Software engineering; Software systems; Visualization;
Conference_Titel :
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
Print_ISBN :
0-7803-7781-8
DOI :
10.1109/CCECE.2003.1226128