JOURNAL OF SOFTWARE (JSW)
ISSN : 1796-217X
Volume : 4    Issue : 1    Date : February 2009

Real Time Process Algebra with Urgency Executing Policy
Wenbo Chen, Guang Zheng, Lian Li, and Jinzhao Wu
Page(s): 34-41
Full Text:
PDF (146 KB)


Abstract
Real time systems have a natural executing policy of urgency. However, real time process algebras
of nowadays cannot specify this basic executing policy which limits their expressiveness. There is
only one default policy called “maximal progress” in process algebras which is not enough to
specify the behaviors of real time systems. Based on this, we propose a real time process algebra
with urgency executing policy which can specify the behaviors of real time systems.

Index Terms
process algebra, executing policy, real time, urgency