A formal description of self-controlling software based on pi-calculus

Self-controlling system can evaluate its behavior, and decide the change of system state to control its behaviors. Self-controlling system can be divided into three levels: feedback, adaptation and reconfiguration. Among these levels, the adaptation part is the key issue to research. It needs to be treated uniquely to analyze the properties. Dynamism, atomic operation and dependability on its operating environment are its key issues. Based on this, we formalize the meta-model of self-controlling software using the pi-calculus. Our method is separates the component and the connector and views self-controlling software as the combination of the adaptation part and the computation part. By using pi-calculus, validation and evolvement analysis is available, which is critical in the stage of self-controlling software development.