International Conference on Information Technology (ITNG'07)
On Irregular Behaviours of Interactive Stacks
Las Vegas, Nevada, USA
April 02-April 04
ISBN: 0-7695-2776-0
An interactive stack is a software component which stores data in a last in / first out strategy. The regular behaviour of an interactive stack captures all input streams of push and pop commands which do not lead to a stack underflow. We investigate the behaviour of interactive stacks for input streams outside the service domain. We specify a fault sensitive stack, a fault tolerant stack, a robust stack, and a fault correcting stack. We subsequently implement them by state transition machines introducing a control state and a data state. Beyond the case study, we phrase general conditions and adequate notions for modelling partial services of interactive components.