Stochastic extension for real time process algebra with urgency executing policy

doi:10.1109/CISE.2009.5362871

LZUFE-KMS > 长青学院

	Stochastic extension for real time process algebra with urgency executing policy
	Li, Xifu1 ; Zheng, Guang 2; Li, Lian 2; Wu, Jinzhao 3; Chen, Wenbo 2
	2009
会议名称	2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009
会议录名称	Proceedings - 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009
会议日期	2009-12-11 - 2009-12-13
会议地点	Wuhan, China
出版者	IEEE Computer Society
摘要	Real time process algebra with urgency executing policy can specify the behaviors of real time systems. But in reality, the executing time of real time systems' behavior is not determined to an accurate value. As executing time obey the exponential distribution, stochastic process algebras equip their actions with exponential variable λ. In order to specify real time systems behaviors more accurately, we propose a stochastic extension for real time process algebra with urgency executing policy. ©2009 IEEE.
关键词	Algebra Artificial intelligence Interactive computer systems Random processes Software engineering Stochastic systems Exponential distributions Process algebras Real time Real-time process algebra Stochastic extension Stochastic process algebras Urgency
DOI	10.1109/CISE.2009.5362871
收录类别	EI
语种	英语
EI入藏号	20101212798942
文献类型	会议论文
条目标识符	http://ir.lzufe.edu.cn/handle/39EH0E1M/9892
专题	长青学院
作者单位	1.College of Accounting, Lanzhou University of Finance and Economics, Lanzhou 730000, China; 2.School of Information Science and Engineering, Lanzhou University, Lanzhou 730000, China; 3.School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China
推荐引用方式 GB/T 7714	Li, Xifu,Zheng, Guang,Li, Lian,et al. Stochastic extension for real time process algebra with urgency executing policy[C]:IEEE Computer Society,2009.