By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Guo-You Zhang ; Div. of Syst. Simulation & Comput. Application, Taiyuan Heavy Machinery Inst., China ; Yin-Zhang Guo

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.

Published in:

Systems, Man and Cybernetics, 2004 IEEE International Conference on  (Volume:7 )

Date of Conference:

10-13 Oct. 2004