dc.contributor.advisor | Alexander, Warren P | |
dc.contributor.author | Peck, Megan Elizabeth | |
dc.date.accessioned | 2013-01-20T16:29:02Z | |
dc.date.available | 2013-01-20T16:29:02Z | |
dc.date.issued | 2012-08-31 | |
dc.date.submitted | 2012 | |
dc.identifier.other | http://dissertations.umi.com/ku:12441 | |
dc.identifier.uri | http://hdl.handle.net/1808/10657 | |
dc.description.abstract | The Rosetta specification language aims to enable system designers to abstractly design complex heterogeneous systems. To this end, Rosetta allows for compositional design to facilitate modularity, separation of concerns, and specification reuse. The behavior of Rosetta components and facets can be viewed as systems, which are well suited for coalgebraic denotation. The previous semantics of Rosetta lacked detail in the denotational work, and had no firm semantic basis for the composition operators. This thesis refreshes previous work on the coalgebraic denotation of Rosetta. It then goes on to define the denotation of the composition operators. A real-world Rosetta example using all types of composition serves as a demonstration of the power of composition as well as the clean, modular abstractness it affords the designer. | |
dc.format.extent | 100 pages | |
dc.language.iso | en | |
dc.publisher | University of Kansas | |
dc.rights | This item is protected by copyright and unless otherwise specified the copyright of this thesis/dissertation is held by the author. | |
dc.subject | Computer science | |
dc.subject | Coalgebra | |
dc.subject | Composition | |
dc.subject | Denotational semantics | |
dc.subject | Rosetta specification language | |
dc.title | Composition Semantics of the Rosetta Specification Language | |
dc.type | Thesis | |
dc.contributor.cmtemember | Gill, Andrew | |
dc.contributor.cmtemember | Kulkarni, Prasad | |
dc.thesis.degreeDiscipline | Electrical Engineering & Computer Science | |
dc.thesis.degreeLevel | M.S. | |
kusw.oastatus | na | |
kusw.oapolicy | This item does not meet KU Open Access policy criteria. | |
kusw.bibid | 8085587 | |
dc.rights.accessrights | openAccess | |