| 面向对象建模语言AML的代数语义 |
| |
| 引用本文： | 戴桂兰,徐宝文. 面向对象建模语言AML的代数语义[J]. 武汉大学学报(理学版), 1999, 0(5) |
| |
| 作者姓名： | 戴桂兰 徐宝文 |
| |
| 作者单位： | 东南大学计算机科学与工程系!南京210096 |
| |
| 基金项目： | 江苏省青蓝跨世纪人才基金 |
| |
| 摘 要： | ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言，其兼具形式化语言和面向对象图形语言的特点，并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术，着重讨论ＡＭＬ语言中与Ａｄａ９５ 中有明显不同的成份的语义，即类程序包、结构程序包的代数语义．
|
| 关 键 词： | 建模语言 面向对象方法 类程序包 结构程序包 行为程序包 |
Algebraic Semantics of Modeling Language AML |
| |
| DAI Gui|lan,XU Bao|wen. Algebraic Semantics of Modeling Language AML[J]. JOurnal of Wuhan University:Natural Science Edition, 1999, 0(5) |
| |
| Authors: | DAI Gui|lan XU Bao|wen |
| |
| Abstract: | 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. |
| |
| Keywords: | modeling language object-orientation class package structure package behavior package |
| 本文献已被 CNKI 等数据库收录！ |
