Extending EFSMs to specify and test timed systems with action durations and timeouts
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
| Hi-index | 0.00 |
In this paper we apply a new model to formally represent complex information systems. We show how this formalism, based on finite state machines, has been used as the basis to develop a real information system. This exercise convinced us that a formal approach to develop complex systems can facilitate some of the development phases.