JOURNAL OF COMPUTERS (JCP)
ISSN : 1796-203X
Volume : 4    Issue : 1    Date : January 2009

Process Algebra with Chaos Executing Policy for Unhealthy Systems
Guang Zheng, Lian Li, Wenbo Chen, Anping He, and Jinzhao Wu
Page(s): 86-93
Full Text:
PDF (157 KB)


Abstract
Healthy systems are important for us, but unhealthy systems exist everywhere. Healthy systems
behave the manner they are designed, but not the unhealthy ones. It is a meaningful thing for us to
turn an unhealthy system into a healthy one. We propose a process algebra with chaos executing
policy to specify the behavior of unhealthy systems. For unhealthy systems, we also propose the
equivalent relationships which are vital for the cure of them.

Index Terms
process algebra, chaos, executing policy, equivalent relation.