AOSE中Agent行为的形式化定义与描述方法.pdf

年 月 系统工程与电子技术 !# $$ 657 8 !# 第 卷 第 期 !% $$ ’()*+( ,-./-**0/-. 1-2 ,3*4)05-/4( 953 :!% 65 : $$ !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 文章编号： （ ） $$B=%C !# $$B$%#B; !#$ 中!%’( 行为的形式化定义与描述方法 曹军海，张和明，熊光楞 （清华大学自动化系DEF 中心，北京 $# ） 摘 要：为了支持多?.*-) 软件系统的设计与开发，提出了一种基于形式化方法的?.*-) 行为的定义与描述方 法。该方法从?.*-) 的状态、动作、动作序列到活动，采用形式化描述语言，逐步建立对?.*-) 行为的定义和描述，该 方法结构清晰，可理解性和可操作性强，能够有效地表棕并发性的?.*-) 行为，为在基于?G, 的多?.*-) 软件系统设 计中，进行?.*-) 行为特征的分析、定义和描述提供了一套有效方法。 关键词：面向?.*-) 的软件工程；行为；形式化；软件 中图分类号： 文献标识码： HI$ ? )*+,-./0-(/*’ ,(1*2 3*+ 23/’/(/*’ -’2 245+/6(/*’ *3 !%’( 71-8/*+4 /’ !#$97-42 ,:.(/9!%’( 4*3(;-+ 28.*6,’( ， ， D?G JK-BL1/ MN?6O N*B+/-. CEG6O OK1-.B3*-. （ ， ， ， ） !# $%’( )* +,)’$-)( ./-(01,$ 2(-3%/-4 5-6 -(0 78889: ;1-($ ： ， !74(+-5( H5 (KPP50) )L* 2*(/.- 1-2 2*7*35P+*-) 5Q FK3)/B?.*-) (5Q)R10* 1 Q50+13/S1)/5- +*)L52 /( PK) Q50R102 ， ， Q50 2*Q/-/)/5- 1-2 2*(40/P)/5- 5Q ?.*-) T*L17/50( 8 HL* +*)L52 R/)L Q50+13/S1)/5- 2*(40/P)/5- 31-.K1.* 40*1)*( 2*Q/-/B ， ， )/5- 1-2 2*(40/P)/5- 5Q ?.*-) T*L17/50( ()*P T’ ()*P Q05+ )L* 1(P*4)( 5Q ()1)* 14)/5- 14)/5- (*UK*-4* 1-2 14)/7/)’ 8 HL* ， +*)L52 L1( 1 3*./T3* ()0K4)K0* 1-2 /( *1(’ )5 K-2*0()1-2 1-2 /+P3*+*-) 8 E) 41- *QQ*4)/7*3’ 2*(50/ T* )L* 45-4K00*-