面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言，其兼具形式化语言和面向对象图形语言的特点，并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术，着重讨论ＡＭＬ语言中与Ａｄａ９５中有明显不同的成份的语义，即类程序包，结构程序包的代数语义。