Title :
Specifying and reasoning about generic architecture in TCOZ
Author :
Sun, Jing ; Dong, Jin Song
Author_Institution :
Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore
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.
Keywords :
communicating sequential processes; formal specification; formal verification; software architecture; TCOZ; Timed Communicating Object Z; formal modeling techniques; formal verification; generic architecture; integrated formal specification technique; software architectures; Computer architecture; Computer science; Connectors; Formal specifications; Logic; Measurement standards; Software architecture; Software systems; Sun; Timing;
Conference_Titel :
Software Engineering Conference, 2002. Ninth Asia-Pacific
Print_ISBN :
0-7695-1850-8
DOI :
10.1109/APSEC.2002.1183010