Abstract
Formal modeling techniques can be used to define and verify software architectures precisely. This paper applies the recently developed integrated formal specification technique, Timed Communicating Object Z (TCOZ), to the generic software architecture modeling and verification.