A Denotational Semantics of Real-Time Process Algebra (RTPA)

Real-time process algebra (RTPA) is a form of denotational mathematics for dealing with fundamental system behaviors such as timing, interrupt, concurrency, and event/time/interrupt-driven system dispatching. Because some key RTPA processes cannot be described adequately in conventional denotational semantic paradigms, a new framework for modeling time and processes is sought in order to represent RTPA in denotational semantics. Within this framework, time is modeled by the elapse of process execution. The process environment encompasses states of all variables represented as mathematical maps, which project variables to their corresponding values. Duration is introduced as a pair of time intervals and the environment to represent the changes of the process environment during a time interval. Temporal ordered durations and operations on them are used to denote process executions. On the basis of these means, a comprehensive set of denotational semantics for RTPA are systematically developed and formally expressed.

[1]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

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

[3]  Xinming Tan.  Toward automatic code generation based on real-time process algebra (rtpa) , 2006 .

[4]  Yingxu Wang,et al.  An Operational Semantics of Real-Time Process Algebra (RTPA) , 2008, Int. J. Cogn. Informatics Nat. Intell..

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

[6]  Steve A. Schneider,et al.  Concurrent and Real-time Systems: The CSP Approach , 1999 .

[7]  Yingxu Wang,et al.  Specification of the RTPA grammar and its recognition , 2004 .

[8]  G. Winskel.  The formal semantics of programming languages , 1993 .

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

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

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

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

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

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

[15]  Takuya Maekawa,et al.  The Event Search Engine , 2010, Int. J. Cogn. Informatics Nat. Intell..

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

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

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

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

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

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

[22]  Anne Elisabeth Haxthausen,et al.  The Raise Specification Language , 1992 .

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

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

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

[26]  Lee Flax.  Cognitive Modelling Applied to Aspects of Schizophrenia and Autonomic Computing , 2007, Int. J. Cogn. Informatics Nat. Intell..

[27]  Weibin Liu,et al.  3D Object Classification Based on Volumetric Parts , 2008, Int. J. Cogn. Informatics Nat. Intell..