Volume 4 Number 1 (Feb. 2009)
Home > Archive > 2009 > Volume 4 Number 1 (Feb. 2009) >
JSW 2009 Vol.4(1): 34-41 ISSN: 1796-217X
doi: 10.4304/jsw.4.1.34-41

Real Time Process Algebra with Urgency Executing Policy

Wenbo Chen1, Guang Zheng1, 3, Lian Li1, and Jinzhao Wu2
1School of Information Science and Engineering, Lanzhou University, Lanzhou, China 730000
22School of Computer and Information Technology, Beijing Jiaotong University, Beijing, China, 100044
33Chengdu Institute of Computer Applications Chinese Academy of Sciences, Chengdu, China, 610054

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.

[PDF]

Cite: Wenbo Chen, Guang Zheng, Lian Li1, and Jinzhao Wu, "Real Time Process Algebra with Urgency Executing Policy," Journal of Software vol. 4, no. 1, pp. 34-41, 2009.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Aug 21, 2019 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 8 have been indexed by DBLP     [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]

  • Aug 01, 2018 News!

    [CFP] 2019 the annual meeting of JSW Editorial Board, ICCSM 2019, will be held in Barcelona, Spain, July 14-16, 2019.   [Click]

  • Jul 10, 2019 News!

    Vol 14, No.8 has been published with online version 4 original aritcles from 2 countries are published in this issue.    [Click]

  • Jul 22, 2019 News!

    Welcome Prof Ferhat Khendek from Canada to join the Editorial board of JSW    [Click]