A reactive system is a program that interacts with an environment and reacts to certain types of events. Typically reactive systems are modelled as nonterminating programs. The environment is often described in the programming notation used. An operating system is an example of a reactive system. Its job is to react to commands from its users. Although an operating system may have been terminated, it still has a state that lives on, e.g. the file system.
展开▼
