Please use this identifier to cite or link to this item:
|Title:||The semantics and tool support of OZTA|
|Authors:||Dong, J.S. |
Tool and Verification
|Source:||Dong, J.S.,Hao, P.,Qin, S.,Zhang, X. (2005). The semantics and tool support of OZTA. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3785 LNCS : 66-80. ScholarBank@NUS Repository. https://doi.org/10.1007/11576280_6|
|Abstract:||In this work, we firstly enhance OZTA, a combination of Object-Z and Timed Automata, by introducing a set of timed patterns as language constructs that can specify the dynamic and timing features of complex real-time systems in a systematic way. Then we present the formal semantics in Unifying Theories of Programming for the enhanced OZTA. Furthermore, we develop an OZTA tool which can support editing, type-checking of OZTA models as well as projecting OZTA models into TA models so that we can utilize TA model checkers, e.g., Uppaal for verification. © Springer-Verlag Berlin Heidelberg 2005.|
|Source Title:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jan 15, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.