面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．

Design and Implementation of Modeling Language AML

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.