论文部分内容阅读
从软件体系结构这一全新的角度研究了ＭＡＳ（Ｍｕｌｔｉ－Ａｇｅｎｔ Ｓｙｓｔｅｍｓ），并采用了进程演算π演算作为ＭＡＳ的形式化手段，为了建立动态的ＭＡＳ体系结构，首先提出了一种ＭＡＳ模型，并用多价π演算进行了形式化的描述，然后根据Ａｇｅｎｔ在ＭＡＳ中所扮演的角色及地位，建立了一种与ＣＯＲＢＡ相似的ＭＡＳ体系结构ＣＡＲＢＡ，并分析了该体系结构的动态性。