论文部分内容阅读
该文描述了一个新的面向对象建模集成环境AML－Tools是一个基于Ada95的建模语言，它吸取了Ada95的基本原理和思想，利用支持面向对象建模的设施对其进行扩充和改造，使之适用于软件建模的各个阶段，引进了程序包，任务等程序单元的概念并使之成为AML的核心成份，吸取了多视点模型的思想，将描述同一实体不同侧面特征的信息分别装在相应的程序单元声明，程序单元体和程序单元描述中，利用新的并发模型，同步设施和限制设施，有效地解决了系统并发性，不确定性等非功能特性的描述问题。