Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40054
Title: Integrating Object-Z with Timed Automata
Authors: Dong, J.S. 
Duke, R.
Hao, P.
Keywords: Object-Z
Specification
Timed Automata
Issue Date: 2005
Source: Dong, J.S.,Duke, R.,Hao, P. (2005). Integrating Object-Z with Timed Automata. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 488-497. ScholarBank@NUS Repository.
Abstract: When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for capturing timed control behaviour of the system. This paper presents an effective combination of the two techniques with novel composition and communication mechanisms. The combined notation enhances Object-Z with real-time modeling capability and also extends Timed Automata with enhanced structure and state modeling features. © 2005 IEEE.
Source Title: Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
URI: http://scholarbank.nus.edu.sg/handle/10635/40054
Appears in Collections:Staff Publications

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

Page view(s)

44
checked on Dec 16, 2017

Google ScholarTM

Check


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