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.

关键词： Cognitive informatics software engineering formal methods RTPA descriptive mathematics system behaviors human behaviors code generator.

作者: Xinming Tan Yingxu Wang

作者单位: Theoretical and Empirical Software Engineering Research Centre Department of Electrical and Computer Engineering University of Calgary 2500 University Drive NW, Calgary, Alberta, Canada T2N 1N4

会议类型: 国际会议

会议名称: Firth IEEE International Conference on Cognitive Informatics(第五届认知信息国际会议)

会议地点: 北京

会议语种:英文

页码: 362-369

在线出版日期: 2006-07-17（万方平台首次上网日期，不代表论文的发表时间）