Abstract
A black box specification of a deterministic software or hardware component refers to the function mapping input histories to output histories. An important refinement step amounts to designing a state transition machine which correctly implements the specified behaviour. We present a formal method for implementing stream transformers by Moore state transition machines. First we construct a canonical Moore state transition machine whose state space is based on input histories. Then we identify output equivalent states for achieving a reduced Moore state transition machine. We illustrate the formal method with various applications.
Originalsprache | Englisch |
---|---|
Titel | Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'06) |
Seitenumfang | 8 |
Band | 2006 |
Herausgeber (Verlag) | IEEE |
Erscheinungsdatum | 22.12.2006 |
Seiten | 65-72 |
Aufsatznummer | 1640668 |
ISBN (Print) | 0-7695-2611-X |
DOIs | |
Publikationsstatus | Veröffentlicht - 22.12.2006 |
Veranstaltung | 7th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Las Vegas, USA / Vereinigte Staaten Dauer: 19.06.2006 → 20.06.2006 Konferenznummer: 68800 |