Deductive Semantics of RTPA

Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic function to the concrete semantics embodied by the changes of status of a finite set of variables constituting the semantic environment of the program. There is a lack of a generic semantic function and its unified mathematical model in conventional semantics, which may be used to explain a comprehensive set of programming statements and computing behaviors. This article presents a complete paradigm of formal semantics that explains how deductive semantics is applied to specify the semantics of real-time process algebra (RTPA) and how RTPA challenges conventional formal semantic theories. Deductive semantics can be applied to define abstract and concrete semantics of programming languages, formal notation systems, and large-scale software systems, to facilitate software comprehension and recognition, to support tool development, to enable semantics-based software testing and verification, and to explore the semantic complexity of software systems. Deductive semantics may greatly simplify the description and analysis of the semantics of complicated software systems specified in formal notations and implemented in programming languages.

[1]  Carl A. Gunter.  Semantics of programming languages: structures and techniques , 1993, Choice Reviews Online.

[2]  Noam Chomsky,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

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

[4]  Dines Bjørner,et al.  Pinnacles of software engineering: 25 years of formal methods , 2000, Ann. Softw. Eng..

[5]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[6]  John A. McDermid,et al.  Software Engineer's Reference Book , 1993 .

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

[8]  Ajantha Dahanayake,et al.  Service-Oriented Software System Engineering: Challenges and Practices , 2004 .

[9]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[10]  Witold Kinsner,et al.  Amplification of signal features using variance fractal dimension trajectory , 2009, 2009 8th IEEE International Conference on Cognitive Informatics.

[11]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[12]  C. I. Lewis,et al.  The Semantic Conception of Truth and the Foundations of Semantics , 1944 .

[13]  James J. Horning,et al.  The algebraic specification of abstract data types , 1978, Acta Informatica.

[14]  Christopher Strachey,et al.  Toward a mathematical semantics for computer languages , 1971 .

[15]  Jozef Gruska.  Foundations of Computing , 1997 .

[16]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[17]  Joseph A. Goguen,et al.  Algebraic semantics of imperative programs , 1996, Foundations of computing series.

[18]  David A. Schmidt,et al.  Programming language semantics , 1996, CSUR.

[19]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[20]  Peter Wegner,et al.  The Vienna Definition Language , 1972, CSUR.

[21]  Yingxu Wang,et al.  RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors , 2008, Int. J. Cogn. Informatics Nat. Intell..

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

[23]  Aurora Vizcaíno,et al.  An Agent System to Manage Knowledge in CoPs , 2009, Int. J. Cogn. Informatics Nat. Intell..

[24]  Alexander Ollongren,et al.  Definition of programming languages by interpreting automata , 1974 .

[25]  Manuel Núñez,et al.  Cognitive Processes by Using Finite State Machines , 2007, Int. J. Cogn. Informatics Nat. Intell..

[26]  David A. Schmidt.  The structure of typed programming languages , 1994, Foundations of computing series.

[27]  D. Davis.  Visions of mind : architectures for cognition and affect , 2005 .

[28]  Manuel Núñez,et al.  A Formal Specification of the Memorization Process , 2007, Int. J. Cogn. Informatics Nat. Intell..

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

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

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

[32]  Kenneth Slonneger,et al.  Formal syntax and semantics of programming languages , 1994 .

[33]  I. Mackenzie.  The Semantic Conception of Truth , 1997 .

[34]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[35]  Joseph A. Goguen,et al.  Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[36]  Bertrand Meyer,et al.  Introduction to the Theory of Programming Languages , 1990 .

[37]  Alaa A. Kharbouch,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[38]  Matthias Rauterberg,et al.  Kansei Experience: Aesthetic, Emotions and Inner Balance , 2009, Int. J. Cogn. Informatics Nat. Intell..

[39]  Yingxu Wang,et al.  The Cognitive Processes of Formal Inferences , 2007, Int. J. Cogn. Informatics Nat. Intell..

[40]  Model-Driven Software Migration : Process Model , Tool Support , and Application , .

[41]  Ake Wikstrom,et al.  Functional programming using standard ML , 1987 .

[42]  Guoyin Wang,et al.  Important Attributes Selection Based on Rough Set for Speech Emotion Recognition , 2009, Int. J. Cogn. Informatics Nat. Intell..

[43]  Yingxu Wang.  Novel Approaches in Cognitive Informatics and Natural Intelligence , 2008 .

[44]  Noam Chomsky.  Some Concepts and Consequences of the Theory of Government and Binding , 1982 .

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

[46]  Michael Marcotty,et al.  The programming language landscape , 1981 .

[47]  Gerald Kotonya,et al.  A Method for Formulating and Architecting Component- and Service-Oriented Systems , 2005 .