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

Real-time process algebra (RIM) is a form of denotational mathematics far dealing with fundamental system behaviors such as timing, internfp', concurrency, and event/time/interrupt-driven system dispatching. Because some key RIPilproce.sses cannot be described adequately in conventional denotational semantic paradigms, a new frameworkfOrmodeling time and processes is sought in order to represent RTP4 in denotational semantics. Within this framework, time is modeled by the elapse ofprocess execution. The process environment encompasses states ofall 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 ofthe.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.