Volume 6 Number 9 (Sep. 2011)
Home > Archive > 2011 > Volume 6 Number 9 (Sep. 2011) >
JSW 2011 Vol.6(9): 1688-1695 ISSN: 1796-217X
doi: 10.4304/jsw.6.9.1688-1695

Process Algebra with Timed-Priority Executing Policy

Zhongxian Li1, Miao Jiang2, Gao Chen3, Qinglin Zha4, Guang Zheng1, 2

1School of Information Science-Engineering, Lanzhou University, Lanzhou, 730000, China
2Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China
3Life Science School, Hubei University, Wuhan 430062, China
4Data Analysis Center, Jiangxi University of Traditional Chinese Medicine Nanchang 330006, Jiangxi Province, China


Abstract—Equipped with powerful machines and complex softwares, web servers providing services are widely used all over the Internet. But, how to specify their behaviors are interesting and meaningful. However, process algebras nowadays cannot specify the behaviors of web servers with time limitations and different groups of clients who are belong to different groups/priorities. The behaviors of web servers can be expressed by actions equipped with parameters of time t and priority w. We present a process algebra with timed-priority executing policy which can specify the behaviors of web servers.

Index Terms—process algebra, executing policy, web server, time limitation, priority.

[PDF]

Cite: Zhongxian Li, Miao Jiang, Gao Chen, Qinglin Zha, Guang Zheng, "Process Algebra with Timed-Priority Executing Policy," Journal of Software vol. 6, no. 9, pp. 1688-1695, 2011.

General Information

  • ISSN: 1796-217X (Online)

  • Abbreviated Title: J. Softw.

  • Frequency:  Quarterly

  • APC: 500USD

  • DOI: 10.17706/JSW

  • Editor-in-Chief: Prof. Antanas Verikas

  • Executive Editor: Ms. Cecilia Xie

  • Abstracting/ Indexing: DBLP, EBSCO,
           CNKIGoogle Scholar, ProQuest,
           INSPEC(IET), ULRICH's Periodicals
           Directory, WorldCat, etc

  • E-mail: jsweditorialoffice@gmail.com

  • Oct 22, 2024 News!

    Vol 19, No 3 has been published with online version   [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Apr 01, 2024 News!

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

  • Jun 12, 2024 News!

    Vol 19, No 2 has been published with online version   [Click]