系统仿真学报
繫統倣真學報
계통방진학보
JOURNAL OF SYSTEM SIMULATION
2005年
z1期
193-196
,共4页
Petri网%AUML%智能代理%系统开发
Petri網%AUML%智能代理%繫統開髮
Petri망%AUML%지능대리%계통개발
统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证.
統一建模型語言(UML)已經成為軟件繫統的分析與設計的標準工具,但由它擴充而成的代理統一建模型語言(AUML)還沒變成一箇標準,目前的AUML規格說明還有很多的跼限性,還不能勝任多代理繫統的開髮.Petri網是倣真、驗證軟件繫統執行的正確性與有效性的形式化工具.本文主要分析噹前AUML規格說明和Petri網概唸,找齣它們之間的結閤點,提齣用Petri網擴充AUML的方法.將其應用于多代理繫統的開髮,就能實施之前運用Petri網進行繫統的正確性與有效性驗證.
통일건모형어언(UML)이경성위연건계통적분석여설계적표준공구,단유타확충이성적대리통일건모형어언(AUML)환몰변성일개표준,목전적AUML규격설명환유흔다적국한성,환불능성임다대리계통적개발.Petri망시방진、험증연건계통집행적정학성여유효성적형식화공구.본문주요분석당전AUML규격설명화Petri망개념,조출타문지간적결합점,제출용Petri망확충AUML적방법.장기응용우다대리계통적개발,취능실시지전운용Petri망진행계통적정학성여유효성험증.
