DocumentCode
302856
Title
Extending Z with state transition constraints
Author
Taguchi, Kenji ; Araki, Keijiro
Author_Institution
Graduate Sch. of Inf. Sci., Nara Inst. of Sci. & Technol., Japan
fYear
1996
fDate
21-23 Aug 1996
Firstpage
254
Lastpage
260
Abstract
The paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyse the operational behavior of Z. We mainly focus on the semantic framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantic framework
Keywords
computational linguistics; formal specification; specification languages; extended Z notation; global constraints; intended behavior specification; labeled transition system; local constraints; operation schemas; semantic framework; state transition constraints; Computer science; History; Information science; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location
Seoul
ISSN
0730-3157
Print_ISBN
0-8186-7579-9
Type
conf
DOI
10.1109/CMPSAC.1996.544174
Filename
544174
Link To Document