Intelligent Process Modeling Based on π-calculus
LI Wei-cui · Computer Technology and Development · 2012
In order to meet the customer's individual requirements under the current cloud computing environment,a new concept called intelligent processes is proposed.In this paper,intelligent process platform architecture was proposed,the intelligent process generation module,the community cloud service management module and intelligent process execution module of the platform were described.π-calculus can describe the dynamic changes in communication topology with strong expression skills.Then used π-calculus to describe the intelligence process.Described the user requirements change description model to meet the changeable requirements,and introduced the formal expression.Verification based on bisimulation showed that π-calculus described customer's changeable individual requirements perfectly.