In the ROM Kernel manuals it's usually referred to as simply "the Amiga operating system". I used to call it Workbench in the old days, because it was printed on the disks. Today I usually call it AmigaOS.
I read somewhere that the printing of "Workbench" on the disk was due to a misunderstanding within Commodore. I'll have to dig around and find out where I read that.