DocumentCode
3549560
Title
Integrating Object-Z with timed automata
Author
Dong, J.S. ; Duke, R. ; Hao, P.
Author_Institution
National Univ. of Singapore, Singapore
fYear
2005
fDate
16-20 June 2005
Firstpage
488
Lastpage
497
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 realtime modeling capability and also extends timed automata with enhanced structure and state modeling features.
Keywords
finite automata; formal specification; graph theory; logic programming languages; object-oriented programming; Object-Z; formal specification; graph-based notation; logic-based language; realtime modeling; system design; system state aspect modeling; system timed control behaviour; timed automata; Automata; Automatic control; Communication system control; Control systems; Europe; North America; Power system modeling; Real time systems; Software engineering; Software systems; Object-Z; Specification; Timed Automata;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN
0-7695-2284-X
Type
conf
DOI
10.1109/ICECCS.2005.56
Filename
1467931
Link To Document