Title :
Transforming RTPA Mathematical Models of System Behaviors Into C++
Author :
Tan, Xinming ; Wang, Yingxu
Author_Institution :
Dept. of Electr. & Comput. Eng., Calgary Univ., Alta.
Abstract :
Real-time process algebra (RTPA) is an expressive mathematical means for describing cognitive behaviors and processes of human beings and software systems. This paper presents the strategies and patterns for transforming mathematical models of system behaviors in RTPA into C++. An RTPA code generator towards the simulation of system behaviors and processes is implemented, which transforms system architectures and behaviors into C++ based on the RTPA-to-C++ mappings strategies and patterns, as well as the RTPA runtime library. The generated code in C++ is executable and effective for simulating system behaviors specified in RTPA
Keywords :
C++ language; process algebra; program compilers; C++; RTPA code generator; RTPA mathematical model; RTPA-to-C++ mapping; real-time process algebra; system behaviors; Algebra; Computer architecture; Humans; Kernel; Mathematical model; Operating systems; Real time systems; Runtime library; Software engineering; Software systems; Cognitive informatics; RTPA; code generator; descriptive mathematics; formal methods; human behaviors; software engineering; system behaviors;
Conference_Titel :
Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
1-4244-0475-4
DOI :
10.1109/COGINF.2006.365518
