Abstract
To construct autonomous, dynamic evolvement software entity, and dynamically assemble them under the Internet environment for the complex software system, a novel intelligent software model is critical. Although there is significant literature on implementation of enterprise software systems, there are fewer contributions that give rigorous formal analyzing. In this paper, we present formal model of intelligent connector for constructing enterprise intelligent applications. As a core of the enterprise intelligence component, our model is presented at different levels of abstraction and formalism by π-calculus, and the characters of dynamic rebuilding, intelligent controlling business chains are formally analyzed. A case is given to illustrate its dynamic properties.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
