排序方式: 共有2条查询结果,搜索用时 0 毫秒
1
1.
面向对象建模语言AML的设计与实现 总被引:1,自引:0,他引:1
AML语言吸取了Ada95 基本原理和思想,引进它的基本数据类型、语句等设施,对其作更高层次的抽象和扩充.用3 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型,提高了系统的完整性和一致性;同时运用二级并发模型和限制设施,详述了系统的并发性和不确定性的描述问题. 相似文献
2.
AML语言是一种基于Ada的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论AML语言中与Ada95 中有明显不同的成份的语义,即类程序包、结构程序包的代数语义. 相似文献
1