Transforming RTPA Mathematical Models of System Behaviors Into C++

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

[1]  Yingxu Wang,et al.  Process-Based Software Engineering: Building the Infrastructures , 2002, Ann. Softw. Eng..

[2]  Yingxu Wang,et al.  Specification of the RTPA grammar and its recognition , 2004, Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004..

[3]  Yingxu Wang,et al.  Using Process Algebra to Describe Human and Software Behaviors , 2003 .

[4]  Yingxu Wang.  On Cognitive Informatics , 2003 .

[5]  Yingxu Wang,et al.  On the mathematical laws of software , 2005, Canadian Conference on Electrical and Computer Engineering, 2005..

[6]  Conclusions , 1989 .

[7]  Yingxu Wang,et al.  The Real-Time Process Algebra (RTPA) , 2002, Ann. Softw. Eng..

[8]  Yingxu Wang,et al.  The real-time task scheduling algorithm of RTOS+ , 2004 .

[9]  Yingxu Wang,et al.  On the informatics laws and deductive semantics of software , 2006, IEEE Trans. Syst. Man Cybern. Syst..

[10]  Shushma Patel,et al.  A layered reference model of the brain (LRMB) , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[11]  Yingxu Wang,et al.  Design and Implementation of an Automatic RTPA Code Generator , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.