Algebraic Semantics of Modeling Language AML
Dai Gui · Wuhan University Journal · 1999
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.