An implementation of the state transition event model
| dc.contributor.author | O'Connell, Gordon Wayne | en_US |
| dc.date.accessioned | 2024-08-15T16:35:29Z | |
| dc.date.available | 2024-08-15T16:35:29Z | |
| dc.date.copyright | 1997 | en_US |
| dc.date.issued | 1997 | |
| dc.degree.department | Department of Computer Science | |
| dc.degree.level | Master of Science M.Sc. | en |
| dc.description.abstract | This thesis describes the design and implementation of a state transition event machine (STEM) A STEM is an abstract machine which combines the operations of a finite state machine with certain synchronization primitives in attempt to control the execution of a collection of mutually cooperating tasks. The declaration of a STEM can describe an abstract machine requiring hundreds of individual operations. To address this problem, a precompiler was developed to convert STEM declarations into compilable implementations. The synchronization requirements of a STEM are provided by low-level primitives called cl-operations The state transition event machine generated by our precompiler can be verified by embedding the code into an event-driven simulator and analyzing the output of the simulation log. | |
| dc.format.extent | 175 pages | |
| dc.identifier.uri | https://hdl.handle.net/1828/19161 | |
| dc.rights | Available to the World Wide Web | en_US |
| dc.title | An implementation of the state transition event model | en_US |
| dc.type | Thesis | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- OCONNELL_Gordon_Wayne_MSc_1997_742780.pdf
- Size:
- 36.88 MB
- Format:
- Adobe Portable Document Format