Please use this identifier to cite or link to this item: https://doi.org/10.1007/11576280_6
Title: The semantics and tool support of OZTA
Authors: Dong, J.S. 
Hao, P.
Qin, S.
Zhang, X.
Keywords: Semantics
Timed Patterns
Tool and Verification
Issue Date: 2005
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)
URI: http://scholarbank.nus.edu.sg/handle/10635/40066
ISBN: 3540297979
ISSN: 03029743
DOI: 10.1007/11576280_6
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

36
checked on Jan 15, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.