Title :
On History-Sensitive Models of Interactive Stacks
Author_Institution :
Inst. of Software Technol. & Programming Languages, Lubeck Univ.
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;
Conference_Titel :
Information Technology: New Generations, 2006. ITNG 2006. Third International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7695-2497-4
DOI :
10.1109/ITNG.2006.101
