Z++a: An AOP Extension to Z++
Jin Chen · 2000
In order to accommodate the requirements of agent oriented technology developments and associated system designs, the significant meanings, both in theoretical and practical view, to put forward a formal specification language based on agent oriented programming(AOP) paradigm is analyzed. The problem of AOP extensions to Z++ is discussed, and a formal specification language named Z++a, possessing AOP paradigm, is presented. A highly intelligentized and impersonated biologic robot description is given in the formal specification language Z++a.