Please use this identifier to cite or link to this item:
https://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 | Citation: | 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.
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.