A type-checker for real-time Object-Z
| dc.contributor.author | Thiruvillamalai, Varadarajan | en_US |
| dc.date.accessioned | 2007-05-15T15:19:45Z | |
| dc.date.available | 2007-05-15T15:19:45Z | |
| dc.date.issued | 1997-05-01T00:00:00Z | en_US |
| dc.degree.discipline | Computer Science | en_US |
| dc.degree.level | Master of Science (M.Sc.) | en_US |
| dc.description.abstract | Specification languages are extensively used for capturing the requirements of safety-critical and real-time applications. Most of the specification languages reported in the literature for real-time appli ations are functional; there are few object-oriented real-time specification languages such as TRIO+. Recently, Alagar and Periyasamy have extended the Object-Z specification language, an object-oriented extension of the Z specification language, towards specifying real-time constraints. This language is called Real-Time Object-Z (RTOZ). One of the problems in using formal specification languages is the lack of tool support for developing and using the specifications. Tool support for a specification language is necessary at all levels: syntax checking, type checking and semantic checking. A number of type checkers are available for Z. In addition, a few theorem provers have also been developed for Z. There is only one tool for Object-Z reported in the literature for type checking and pretty-printing. There is no tool available for RTOZ. In this thesis, a type checker for RTOZ is described. The major contributions include the development of a grammar for RTOZ and the implementation of the type checker. An interesting feature of the type checker is that it can also be used to type-check Z specifications as well as Object-Z specifications. | en_US |
| dc.format.extent | 3824470 bytes | |
| dc.format.extent | 184 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | text/plain | |
| dc.identifier.uri | http://hdl.handle.net/1993/870 | |
| dc.language.iso | eng | en_US |
| dc.rights | open access | en_US |
| dc.title | A type-checker for real-time Object-Z | en_US |
| dc.type | master thesis | en_US |