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

面向对象建模语言AML的设计与实现 Design and Implementation of Modeling Language AML 戴桂兰 DAI Gui\|lan 1 first-author 徐宝文 XU Bao\|wen 1 东南大学计算机科学与工程系,南京,210096 东南大学计算机科学与工程系,南京,210096 Department of Computer Science & Engineering, Southeast University Department of Computer Science & Engineering, Southeast University ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题． 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. 建模语言 面向对象方法 类程序包 结构程序包 行为程序包 AML语言 modeling language object-orientation class package structure package behavior package AML language TP312 江苏省青蓝跨世纪人才基金 1999-05-01 2021-04-01 5