doi: 10.4304/jsw.6.9.1688-1695
Process Algebra with Timed-Priority Executing Policy
- 1 School of Information Science-Engineering, Lanzhou University, Lanzhou, 730000, China
- 2 Institute of Basic Research in Clinical Medicine, China Academy of Chinese Medical Sciences, Dongzhimen, Beijing 100700, China
- 3 Life Science School, Hubei University, Wuhan 430062, China
- 4 Data 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 <em>t</em> and priority <em>w</em>. We present a process algebra with timed-priority executing policy which can specify the behaviors of web servers.
Keywords
- process algebra
- executing policy
- web s
How to Cite
Zhongxian Li, Miao Jiang, Gao Chen, Qinglin Zha, and Guang Zheng, "Process Algebra with Timed-Priority Executing Policy," Journal of Software, vol. 6, no. 9, pp. 1688-1695, 2011. https://doi.org/ 10.4304/jsw.6.9.1688-1695
Copyright & License
Copyright © 2011 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).