文献类型：会议论文

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

作者：范锐[1];刘小辉[2];fan rui[3];liu xiaohui[3];

机构：[1]广东海洋大学软件学院;[2];

语种：英文

外文关键词：enterprise intelligent component; enterprise entity component

外文摘要：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 , 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.