面向对象建模语言AML的代数语义

面向对象建模语言AML的代数语义 Algebraic Semantics 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 has advantages of formal languages and object\|oriented graph languages, and overcomes the limits of existing modeling languages in modeling concurrency and nondeterminism of systems. In this paper we give its algebraic semantics of the class package and structure package which have explicit distinctness from Ada95. 建模语言 面向对象方法 类程序包 结构程序包 行为程序包 modeling language object-orientation class package structure package behavior package TP312 江苏省青蓝跨世纪人才基金 1999-05-01 2021-04-01 5