A Unified Mathematical Model of Programs

Despite the rich depository of empirical knowledge on programming and software engineering, the theoretical model of programs is still unknown. This paper presents an embedded relational model (ERM) for describing the nature of programs. ERM provides a unified mathematical treatment of programs, which reveals that a program is a large and finite set of embedded binary relations between a given current statement and all previous ones that formed the semantic context or environment of computing. According to the ERM model, a program is a composed listing and a logical combination of multiple statements according to certain composing rules. A set of 17 meta statements and a set of 17 compositional relations in computing are elicited in real-time process algebra (RTPA). Based on the ERM model, a set of mathematical laws of programming is formally established

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

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

[3]  Yingxu Wang.  On the Big-R Notation for Describing Iterative and Recursive Behaviors , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[4]  Yingxu Wang.  On the informatics laws and deductive semantics of software , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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

[6]  Yingxu Wang,et al.  On the Big-R Notation for Describing Iterative and Recursive Behaviors , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

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

[8]  C. A. R. Hoare,et al.  Laws of programming , 1987, CACM.