DocumentCode
3472718
Title
On History-Sensitive Models of Interactive Stacks
Author
Dosch, Walter
Author_Institution
Inst. of Software Technol. & Programming Languages, Lubeck Univ.
fYear
2006
fDate
10-12 April 2006
Firstpage
96
Lastpage
103
Abstract
We model the behaviour of an interactive stack in the setting of history functions on different levels of abstraction. The component´s internal state is systematically introduced as an abstraction of the input history. We explore different history abstractions and describe the corresponding history-sensitive models by state transition machines with input and output. The case study exemplifies a formal method how to derive history-sensitive implementations of interactive data structures in a correctness-preserving way
Keywords
data structures; finite state machines; formal specification; interactive systems; software reviews; formal method; history-sensitive models; interactive data structures; interactive stacks; state transition machines; Communication system software; Computational modeling; Computer languages; Data structures; Hardware; History; Interactive systems; Interconnected systems; Software systems; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology: New Generations, 2006. ITNG 2006. Third International Conference on
Conference_Location
Las Vegas, NV
Print_ISBN
0-7695-2497-4
Type
conf
DOI
10.1109/ITNG.2006.101
Filename
1611577
Link To Document