文献类型：会议论文

英文题名：Dynamic Modeling of Intelligent Connector

作者：Fan, Rui[1];Liu, Xiaohui[1]

机构：[1]Guangdong Ocean Univ, Software Sch, Zhanjiang 524088, Guangdong, Peoples R China

会议论文集：International Conference on Advanced Measurement and Test (AMT 2010)

会议日期：MAY 15-16, 2010

会议地点：Sanya, PEOPLES R CHINA

语种：英文

外文关键词：Intelligent Connector; Dynamic Rebuilding; Intelligent Controlling; pi-calculus

外文摘要：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 pi-calculus, and the characters of dynamic rebuilding, intelligent controlling business chains are formally analyzed. A case is given to illustrate its dynamic properties.