1. A method for controlling a distributed automation system, which method comprises: determining global constraint rules in accordance with cooperative relationships between function blocks in the distributed automation system, and establishing a mathematical model based on Membrane Calculus; performing instantiation of the established mathematical model based on Membrane Calculus in accordance with an executor corresponding to each of the function blocks in the distributed automation system; generating control logics for output to the distributed automation system; and if disturbance information is received from the distributed automation system, altering parameters of the instantiation of the mathematical model based on the Membrane Calculus by using the disturbance information, and generating control logics for output to the distributed automation system.