电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2004年
z1期
238-242
,共5页
龚洪泉%赵文耘%徐如志%钱乐秋
龔洪泉%趙文耘%徐如誌%錢樂鞦
공홍천%조문운%서여지%전악추
构件系统维护%构件交互%构件演化%Pi演算
構件繫統維護%構件交互%構件縯化%Pi縯算
구건계통유호%구건교호%구건연화%Pi연산
确保构件系统的一致性是构件演化的根本目标.根据构件交互过程,借鉴Pi演算的类型系统和进程构造方法,提出构件交互的类型系统和基于交互的构件模型.为确保构件服务端口和交互通道的正确行为,给出服务的端口类型和通道类型.以此为基础,结合Pi演算中良类型的思想,提出一致性构件系统的概念.然后,结合构件演化的特点,给出能保持系统一致性的构件静态演化和动态演化规则.最后,给出非一致演化的恢复方法.
確保構件繫統的一緻性是構件縯化的根本目標.根據構件交互過程,藉鑒Pi縯算的類型繫統和進程構造方法,提齣構件交互的類型繫統和基于交互的構件模型.為確保構件服務耑口和交互通道的正確行為,給齣服務的耑口類型和通道類型.以此為基礎,結閤Pi縯算中良類型的思想,提齣一緻性構件繫統的概唸.然後,結閤構件縯化的特點,給齣能保持繫統一緻性的構件靜態縯化和動態縯化規則.最後,給齣非一緻縯化的恢複方法.
학보구건계통적일치성시구건연화적근본목표.근거구건교호과정,차감Pi연산적류형계통화진정구조방법,제출구건교호적류형계통화기우교호적구건모형.위학보구건복무단구화교호통도적정학행위,급출복무적단구류형화통도류형.이차위기출,결합Pi연산중량류형적사상,제출일치성구건계통적개념.연후,결합구건연화적특점,급출능보지계통일치성적구건정태연화화동태연화규칙.최후,급출비일치연화적회복방법.
