Title :
On History-Sensitive Models of Interactive Queues
Author :
Dosch, Walter ; Ruanthong, Wuttipong
Author_Institution :
Inst. of Software Technol., Univ. of Lubeck
Abstract :
We characterize different implementations of interactive queues in the setting of history functions. 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. For each implementation, we discuss the possibilities of inverting the interaction history with undo commands
Keywords :
finite state machines; history; interactive systems; component internal state; history functions; history-sensitive models; input history abstractions; interaction history inversion; interactive queues; state transition machines; undo commands; Application software; Computational modeling; Conferences; History; Information science; Interactive systems; Message passing; Software architecture; Software engineering; State-space methods;
Conference_Titel :
Computer and Information Science, 2006 and 2006 1st IEEE/ACIS International Workshop on Component-Based Software Engineering, Software Architecture and Reuse. ICIS-COMSAR 2006. 5th IEEE/ACIS International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-7695-2613-6
DOI :
10.1109/ICIS-COMSAR.2006.65
