RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors

Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent algebraic system for intelligent and software system modeling, specification, refinement, and implementation. RTPA encompasses 17 metaprocesses and 17 relational process operations. RTPA can be used to describe both logical and physical models of software and intelligent systems. Logic views of system architectures and their physical platforms can be described using the same set of notations. When a system architecture is formally modeled, the static and dynamic behaviors performed on the architectural model can be specified by a three-level refinement scheme at the system, class, and object levels in a top-down approach. RTPA has been successfully applied in real-world system modeling and code generation for software systems, human cognitive processes, and intelligent systems.

[1]  Jordi Vallverd,et al.  Thinking Machines and the Philosophy of Computer Science: Concepts and Principles , 2010 .

[2]  Simon Colton,et al.  Applying Lakatos-style reasoning to AI domains , 2010 .

[3]  Yingxu Wang,et al.  The Theoretical Framework and Cognitive Process of Learning , 2007, 6th IEEE International Conference on Cognitive Informatics.

[4]  Yingxu Wang,et al.  Cognitive informatics models of the brain , 2006, IEEE Trans. Syst. Man Cybern. Syst..

[5]  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).

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

[7]  Yingxu Wang,et al.  Formal Description of the Cognitive Process of Memorization , 2009, Trans. Comput. Sci..

[8]  Yingxu Wang,et al.  Formal description of an ATM system by RTPA , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[9]  Yingxu Wang.  On the Latest Development in Cognitive Informatics: Conference Summary of the First IEEE International Conference on Cognitive Informatics (ICCI '02) , 2003, SOEN.

[10]  Kenji Sugawara,et al.  Interactive Design Method of Agent System for Symbiotic Computing , 2007, 6th IEEE International Conference on Cognitive Informatics.

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[12]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[13]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[14]  Yingxu Wang,et al.  Formal specification of a real-time lift dispatching system , 2002, IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373).

[15]  Yingxu Wang,et al.  The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain , 2007, Int. J. Cogn. Informatics Nat. Intell..

[16]  John C. Mitchell,et al.  Type Systems for Programming Languages , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[17]  Yingxu Wang,et al.  On Cognitive Informatics , 2002, Proceedings First IEEE International Conference on Cognitive Informatics.

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

[19]  Patricia Adams,et al.  Programming Languages: Principles and Practice , 1993 .

[20]  Lisa Fan,et al.  Reducing Cognitive Overload by Meta-Learning Assisted Algorithm Selection , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[21]  Yingxu Wang,et al.  Formal description of a real-time operating system using RTPA , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[22]  Harald Fecher,et al.  A Real-Time Process Algebra with Open Intervals and Maximal Progress , 2001, Nord. J. Comput..

[23]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[24]  Jan Joris Vereijken.  A Process Algebra for Hybrid Systems , 1999 .

[25]  Yingxu Wang,et al.  Software Engineering Foundations: A Software Science Perspective , 2007 .

[26]  Jan A. Bergstra,et al.  Real time process algebra , 1991, Formal Aspects of Computing.

[27]  J. Heijenoort.  From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .

[28]  Antonio Cerone,et al.  Process Algebra versus Axiomatic Specification of a Real-Time Protocol , 2000, AMAST.

[29]  A. Steven Klusener,et al.  Abstraction in Real Time Process Algebra , 1991, REX Workshop.

[30]  Henning Dierks,et al.  A Process Algebra for Real-Time Programs , 2000, FASE.

[31]  Angelo Montanari,et al.  Dealing with different time granularities in formal specifications of real-time systems , 1991, Real-Time Systems.

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

[33]  Yingxu Wang,et al.  The Theoretical Framework of Cognitive Informatics , 2007, Int. J. Cogn. Informatics Nat. Intell..

[34]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[35]  Yingxu Wang,et al.  Deductive Semantics of RTPA , 2008, Int. J. Cogn. Informatics Nat. Intell..

[36]  P. Martin-Löf.  An Intuitionistic Theory of Types: Predicative Part , 1975 .

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

[38]  Hermann Weyl,et al.  The Philosophy of Bertrand Russell. , 1946 .

[39]  Steve A. Schneider,et al.  An Operational Semantics for Timed CSP , 1995, Inf. Comput..

[40]  Bertrand Russell,et al.  The Basic Writings of Bertrand Russell , 1961 .

[41]  Alan Jeffrey,et al.  Translating Timed Process Algebra into Prioritized Process Algebra , 1992, FTRTFT.

[42]  Daniel F. Stubbs,et al.  Data structures with abstract data types and Pascal: 2nd edition , 1989 .

[43]  Tetsuya Murai,et al.  An Evaluation Method of Relative Reducts Based on Roughness of Partitions , 2010, Int. J. Cogn. Informatics Nat. Intell..

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

[45]  Yingxu Wang,et al.  A novel type checker for software system specifications in RTPA , 2004, Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513).

[46]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

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

[48]  A. W. Roscoe,et al.  A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..

[49]  Edmund Taylor Whittaker,et al.  The Philosophy of Bertrand Russell , 1945, Nature.

[50]  R. F. Churchhouse,et al.  A Comparative Study of Programming Languages , 1969, The Mathematical Gazette.

[51]  Bryan Higman,et al.  A Comparative Study of Programming Languages. , 1969 .

[52]  Graham King,et al.  Software Engineering Processes: Principles and Applications , 2000 .