Transforming RTPA Mathematical Models of System Behaviors Into C++

Author

Tan, Xinming ; Wang, Yingxu

Author_Institution

Dept. of Electr. & Comput. Eng., Calgary Univ., Alta.

Volume

1

fYear

2006

fDate

17-19 July 2006

Firstpage

362

Lastpage

369

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on

Conference_Location

Beijing

Print_ISBN

1-4244-0475-4

Type

conf

DOI

10.1109/COGINF.2006.365518

Filename

4216435