Formal modeling techniques can be used to define and verify software architectures precisely. The paper applies the integrated formal specification technique, Timed Communicating Object Z (TCOZ), to generic software architecture modeling and verification.
['Jing Sun', 'Jin Song Dong']
Specifying and reasoning about generic architecture in TCOZ