Specification of a Software Architecture and Protocols for Automated VLSI Manufacturing System Operation