Stochastic Extension for Real Time Process Algebra with Urgency Executing Policy

Author

Li, Xifu ; Zheng, Guang ; Li, Lian ; Wu, Jinzhao ; Chen, Wenbo

Author_Institution

Coll. of Accounting, Lanzhou Univ. of Finance & Econ., Lanzhou, China

fYear

2009

fDate

11-13 Dec. 2009

Firstpage

1

Lastpage

4

Abstract

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.

Keywords

exponential distribution; process algebra; real-time systems; stochastic processes; exponential distribution; real time process algebra; real time systems; stochastic process algebras; urgency executing policy; Algebra; Equations; Exponential distribution; Finance; Information science; Information technology; Joining processes; Real time systems; Stochastic processes; Stochastic systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-4507-3

Electronic_ISBN

978-1-4244-4507-3

Type

conf

DOI

10.1109/CISE.2009.5362871

Filename

5362871