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
Full Text: PDF (157 KB)
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.
process algebra, chaos, executing policy, equivalent relation.