文献类型：会议

作　　者：范锐 刘小辉

作者单位：[1]广东海洋大学软件学院 [2]广东海洋大学财务处

会议文献：2009中国控制与决策会议论文集（3）

会议名称：2009中国控制与决策会议

会议日期：20090617

会议地点：中国广西桂林

主办单位：Northeastern University,China;IEEE Industrial Electronics (IE) Chapter,Singapore;Guilin University of Electronic Technology,China

出版日期：20090617

学会名称：《控制与决策》编辑部

语　　种：中文

摘　　要：建造具有自治、动态演化特性的大粒度软件实体,在Internet开放环境下动态装配它们,形成复杂的企业级软件系统是新的趋势。本文应用形式化方法,在企业智能构件模型的基础上,进一步深入分析企业智能构件核心要素之一的企业实体构件的动态演化性质,建立了企业实体构件形式化模型。一个实例展示了企业实体构件的独立自治、动态演化特性。

关 键 词：企业实体构件  动态演化  形式化分析

分 类 号：TP311.5]