µ-Charts and Z: Extending the translation

Simple item page
dc.contributor.authorReeve, Greg
dc.contributor.authorReeves, Steve
dc.date.accessioned2008-10-13T03:53:40Z
dc.date.available2008-10-13T03:53:40Z
dc.date.issued2000-08
dc.description.abstractThis paper describes extensions and modifications to the µ-charts as given in earlier papers of Philipps and Scholz. The charts are extended to include a command language, integer-valued signals and local integer variables. The command language is based on the syntax presented in Scholz’ thesis and the integer-valued signals and local variables are based loosely on Scholz’ earlier work. After presenting the new semantics we turn to extending the µ-charts-to-Z translation that we developed in previous work. The extensions to the translation process describe both the changes due to the extensions to the µ-charts and a modification to the translation method to more fully capture the beneficial modularisation encouraged by the µ-charts formalism. We finish by giving three complete translation examples. The paper should be read as a record of our gradual development of a Z semantics for µ-charts–hence its sometimes exploratory character or laborious explanations as we come to terms (thinking out loud) with the (sometimes very subtle) meaning of µ-charts, especially with regard to pathological and unusual examples of their use.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationReeve, G. & Reeves, S. (2000). µ-Charts and Z: Extending the translation. (Working paper 00/11). Hamilton, New Zealand: University of Waikato, Department of Computer Science.en_US
dc.identifier.issn1170-487X
dc.identifier.urihttps://hdl.handle.net/10289/1027
dc.language.isoen
dc.publisherUniversity of Waikato, Department of Computer Scienceen_US
dc.relation.ispartofseriesComputer Science Working Papers
dc.subjectcomputer scienceen_US
dc.subjectu-chartsen_US
dc.titleµ-Charts and Z: Extending the translationen_US
dc.typeWorking Paperen_US
pubs.elements-id55138
pubs.place-of-publicationUniversity of Waikato, Hamiltonen_NZ
uow.relation.series00/11
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
uow-cs-wp-2000-11.pdf
Size:
6.66 MB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: uow-cs-wp-2000-11.pdf
Size: 6.66 MB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.8 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.8 KB
Kind: License
Collections
2000 Working Papers