GRAPHIC SPECIFICATION OF ABSTRACT DATA TYPES

formally specifying software requirements using algebraic specifications has all the advantages of formal specifications. this type of specifications is usually textual. most modern specification languages have a graphical representation in an attempt to improve usability. this is also the case for algebraic specifications .here we present a survey on how abstract data types are represented graphically. we propose a structure containing a superset of all elements surveyed. we also show an application example, and we report some experimental results when using this graphical representation