History Abstractions of an Interactive Frequency Table

摘要

We model a software component for an interactive frequency table 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 models by state transition machines with input and output. The case study exemplifies a formal method how to transform a behavioural specification into a state-based implementation.