DocumentCode :
397089
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
Volume :
2
fYear :
2003
fDate :
4-7 May 2003
Firstpage :
1259
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
ISSN :
0840-7789
Print_ISBN :
0-7803-7781-8
Type :
conf
DOI :
10.1109/CCECE.2003.1226128
Filename :
1226128
Link To Document :
بازگشت