{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/80729"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/80729","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Formal Specification of the Moebius Modeling Framework","abstract":"In this thesis, we describe the Mobius framework and illustrate its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism to illustrate many of the features developed for Mobius but not found in any previously existing formalisms.","abstract_html":"In this thesis, we describe the Mobius framework and illustrate its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism to illustrate many of the features developed for Mobius but not found in any previously existing formalisms.","abstract_has_math":false,"creators":["Deavours, Daniel Duane"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Electrical Engineering","degree_department":null,"school":null,"contributors":["Sanders, William H."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-09-25T20:07:51Z","date_published":"2015-09-25T20:07:51Z","updated_at":"2026-07-22T22:26:14Z","subjects":["Engineering, Electronics and Electrical"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(MiAaPQ)AAI3023042"],"render_values":[{"text":"(MiAaPQ)AAI3023042","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/80729","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Sanders, William H."]},{"key":"dc:creator","label":"Author","values":["Deavours, Daniel Duane"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-09-25T20:07:51Z","10000-01-01","2001"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Engineering, Electronics and Electrical"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/80729","(MiAaPQ)AAI3023042"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["In this thesis, we describe the Mobius framework and illustrate its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism to illustrate many of the features developed for Mobius but not found in any previously existing formalisms.","Made available in DSpace on 2015-09-25T20:07:51Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3023042.pdf: 10906833 bytes, checksum: b4b23d7fe6c7279a7776bed7162975ed (MD5) Previous issue date: 2001","Embargo set by: Seth Robbins for item 82011 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","170 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2001."]},{"key":"dc:title","label":"Title","values":["Formal Specification of the Moebius Modeling Framework"]}]}],"canonical_facts":{"dc:contributor":["Sanders, William H."],"dc:creator":["Deavours, Daniel Duane"],"dc:date":["2015-09-25T20:07:51Z","10000-01-01","2001"],"dc:description":["In this thesis, we describe the Mobius framework and illustrate its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event systems, namely an efficient well-specified checker and a general, structured execution policy. Finally, we have developed a formalism to illustrate many of the features developed for Mobius but not found in any previously existing formalisms.","Made available in DSpace on 2015-09-25T20:07:51Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3023042.pdf: 10906833 bytes, checksum: b4b23d7fe6c7279a7776bed7162975ed (MD5) Previous issue date: 2001","Embargo set by: Seth Robbins for item 82011 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","170 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2001."],"dc:identifier":["http://hdl.handle.net/2142/80729","(MiAaPQ)AAI3023042"],"dc:language":["eng"],"dc:subject":["Engineering, Electronics and Electrical"],"dc:title":["Formal Specification of the Moebius Modeling Framework"],"dc:type":["text"],"thesis:degree_discipline":["Electrical Engineering"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:14Z"}