摘要
ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．
AML is an Ada\|based object\|oriented modeling language. AML uses three packages (i.e., the class package, structure package and behavior package) to describe the given module from different viewpoints so as to detect early errors or inconsistency in the modeling process. AML uses the two\|level concurrency model and the restriction facility to address modeling concurrency and nondeterminism of systems. In this paper we firstly discuss the design philosophies of the language. We then analyze AML fundamental constructs and their inherent relations. Finally, we briefly discuss its implementation method and summarize the main characteristics of the language.
出处
《武汉大学学报（自然科学版）》
CSCD
1999年第5期654-657,共4页
Journal of Wuhan University(Natural Science Edition)
基金
江苏省青蓝跨世纪人才基金
关键词
建模语言
面向对象
类程序包
AML语言
modeling language
object-orientation
class package
structure package
behavior package
AML language
