Specifying and Reasoning about Generic Architecture in TCOZ

J Sun,JS Dong
DOI: https://doi.org/10.1109/apsec.2002.1183010
2002-01-01
Abstract: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.
What problem does this paper attempt to address?