文献类型：会议论文

英文题名：Formally modeling enterprise intelligence component based on π-calculus

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

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

会议论文集：International Conference on Informational Technology and Environmental System Science

会议日期：MAY 15-17, 2008

会议地点：Henan Polytechn Univ, Jiaozuo, PEOPLES R CHINA

主办单位：Henan Polytechn Univ

语种：英文

外文关键词：enterprise intelligent component; enterprise entity component; intelligent connector; pi-calculus; P2P

外文摘要：The large-granularity software component is base for structuring complex software system. Currently, not only component's coupling is close, but also they are broken up and distributed in tiers which different entity's pieces are intertwined. All of these limitations lead component boundary-is unclear, internal structure is complication, and their interaction is inflexibility, which increase difficulties for component to update, replace and maintain. This paper proposes a formal method based on pi-calculus, which Definition formally enterprise entity component model and intelligent connector model. A case is given to show properties of assembly and interaction about enterprise intelligent component in P2P nodes.