Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/40012
DC Field | Value | |
---|---|---|
dc.title | HighSpec: A tool for building and checking OZTA models | |
dc.contributor.author | Dong, J.S. | |
dc.contributor.author | Hao, P. | |
dc.contributor.author | Zhang, X. | |
dc.contributor.author | Qin, S.C. | |
dc.date.accessioned | 2013-07-04T07:54:41Z | |
dc.date.available | 2013-07-04T07:54:41Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | Dong, J.S.,Hao, P.,Zhang, X.,Qin, S.C. (2006). HighSpec: A tool for building and checking OZTA models. Proceedings - International Conference on Software Engineering 2006 : 775-778. ScholarBank@NUS Repository. | |
dc.identifier.isbn | 1595933751 | |
dc.identifier.issn | 02705257 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/40012 | |
dc.description.abstract | HighSpec is an interactive system for composing and checking OZTA specifications. The integrated high level specification language, OZTA, is a combination of Object-Z (OZ) and Timed Automata (TA). Building on the strength of Object-Z's in specifying data structures and Timed Automata's in modelling dynamic and real-time behaviors, OZTA is well suited for presenting complete and coherent requirement models for complex real-time systems. HighSpec supports editing, type-checking as well as projecting OZTA models into TA models and Alloy Models so that TA model checkers-UPPAAL and the Alloy Analyzer can be utilized for verification. Most importantly, HighSpec supports a novel yet effective mechanism advocated by OZTA for structural TA design, i.e., using a set of composable timed patterns to capture high level timing requirements and process behaviors and generate the TA part of model in a top-down way. HighSpec can also generate LATEX ent as an alternative media for the spread and read of established OZTA models. | |
dc.source | Scopus | |
dc.subject | Object-Z | |
dc.subject | Structural design | |
dc.subject | Timed automata | |
dc.subject | Verification | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.sourcetitle | Proceedings - International Conference on Software Engineering | |
dc.description.volume | 2006 | |
dc.description.page | 775-778 | |
dc.description.coden | PCSED | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.