Action Notation(AN) is a general notation for expressing the actions that are used as semantic entities in Action Semantics. Action Notation 1 was the original verson (refered as AN-1) of this notation and was formally defined in the Action Semantics Book at 1992. AN-1 was a rich notation, however itīs not easy to follow. It uses "Unified Algebras" that difficults the interest for the notation. Because of the difficulty of using AN-1, a new notation, AN-2, has been suggested to take place of it. AN-2 has been developed by the authors of original Action Notation and was presented in 2000. So, AN-2 arises as a new generation of Action Notation and should increase the interest of using it. ABACO also uses AN-2 and give its users the oportunity to handle it. |