'AIDA is a programming/modeling language where pictures and moving pictures are used as super-characters to define computational models and algorithms. In this language, pictures related to units-of-measure can be assigned to each variable as declarations of their dimension units and as annotations which enhance user's perception of application computation and can also be used for checking consistency of formulas involved. In this paper, a set of the super-characters for these declarations/annotations, as well as an algorithm for units-of-measure analysis and its implementation within 'AIDA language are presented. The approach is based on dimensional analysis (of variables and formulas) which employs checking not only dimensions but also units of them. Some practical details of the algorithm and its implementation are presented. Special attention is paid to parsing processes of C++ expressions, which are behind the picture-based expressions, and to automatic checking the units-of-measure consistency.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com