Implementing Services by Partial State Machines
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Formal specification of bounded buffer using stream functions
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
| Hi-index | 0.00 |
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.