文献类型：会议论文

英文题名：Modeling Enterprise Information System by Pi Calculus

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

机构：[1]Guangdong Ocean Univ, Sch Software, Zhanjiang, Peoples R China;[2]Guangdong Ocean Univ, Dept Finance, Zhanjiang, Peoples R China

会议论文集：International Conference on Computer Science and Artificial Intelligence (ICCSAI)

会议日期：NOV 16-17, 2013

会议地点：Chengdu, PEOPLES R CHINA

语种：英文

外文关键词：Enterprise Information System; Intelligent Service Component; Formal Modeling; Pi Calculus

外文摘要：In order to construct Independent autonomous, flexible software entity, and dynamically assemble them under the Internet environment for enterprise information system, a novel service component model is critical. We present agent-based intelligent service component, which is a novel model of intelligent service software entity. Our model is presented at different levels of abstraction and formalism by Pi-calculus, for guaranteeing their reliability, and is described and analyzed about the characters of independent autonomous, dynamic evolvement, dynamic rebuilding, intelligence controlling. A case of enterprise information system is given to illustrate its dynamic flexible properties