A type-checker for real-time Object-Z

dc.contributor.authorThiruvillamalai, Varadarajanen_US
dc.date.accessioned2007-05-15T15:19:45Z
dc.date.available2007-05-15T15:19:45Z
dc.date.issued1997-05-01T00:00:00Zen_US
dc.degree.disciplineComputer Scienceen_US
dc.degree.levelMaster of Science (M.Sc.)en_US
dc.description.abstractSpecification 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.extent3824470 bytes
dc.format.extent184 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.identifier.urihttp://hdl.handle.net/1993/870
dc.language.isoengen_US
dc.rightsopen accessen_US
dc.titleA type-checker for real-time Object-Zen_US
dc.typemaster thesisen_US
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
mq23526.pdf
Size:
3.65 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
184 B
Format:
Plain Text
Description: