Abstract:This paper describes an Ada based object oriented modeling language AML which takes a unique and innovative approach to import the fundament and philosophies of Ada95, and extends it with some facilities for the support of object oriented modeling so that AML is suitable to model large software systems. AML adopts the package concept from Ada95 and makes it become the core construct of AML. At the same time, AML introduces the facilities such as the task unit and the protect unit to describe concisely positive control com-ponents and resource protect compoents.Absorbing the idea of multiple viewpoint models,AML disjoints the information describing different characteristics of the given entity.AML uses the new concurrency model and the restriction facility to address modling concurrencyand nonfunctional characteristics of systems.Also AML has good extensibility and can be applied to all kined to all kinds of domains.In short,AML is user-oriented,developer-oriented,and system-oriented modeling,and overcomes some limitations such as insufficient expressive capability and limited application domain of some other modeling languages.