{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/81905"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/81905","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"An Actor-Based Framework for Real-Time Coordination","abstract":"This research uses both theoretical and experimental methods. Specifically, an operational semantics based on RTsynchronizers and regular computational objects (modeled as actors) is defined. RTsynchronizers are implemented as C++ objects which are used by system schedulers in deciding the appropriate messages to be invoked at message destination computational objects. The implementation demonstrates the feasibility of making the existence of RTsynchronizers transparent to computational objects. Furthermore, an algorithm for detecting infeasible real-time coordination constraints at source code level is developed.","abstract_html":"This research uses both theoretical and experimental methods. Specifically, an operational semantics based on RTsynchronizers and regular computational objects (modeled as actors) is defined. RTsynchronizers are implemented as C++ objects which are used by system schedulers in deciding the appropriate messages to be invoked at message destination computational objects. The implementation demonstrates the feasibility of making the existence of RTsynchronizers transparent to computational objects. Furthermore, an algorithm for detecting infeasible real-time coordination constraints at source code level is developed.","abstract_has_math":false,"creators":["Ren, Shangping"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Agha, Gul A."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-09-25T20:20:56Z","date_published":"2015-09-25T20:20:56Z","updated_at":"2026-07-22T22:26:17Z","subjects":["Computer Science"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(MiAaPQ)AAI9812749"],"render_values":[{"text":"(MiAaPQ)AAI9812749","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/81905","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Agha, Gul A."]},{"key":"dc:creator","label":"Author","values":["Ren, Shangping"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-09-25T20:20:56Z","10000-01-01","1997"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"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":["Computer Science"]}]},{"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/81905","(MiAaPQ)AAI9812749"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["This research uses both theoretical and experimental methods. Specifically, an operational semantics based on RTsynchronizers and regular computational objects (modeled as actors) is defined. RTsynchronizers are implemented as C++ objects which are used by system schedulers in deciding the appropriate messages to be invoked at message destination computational objects. The implementation demonstrates the feasibility of making the existence of RTsynchronizers transparent to computational objects. Furthermore, an algorithm for detecting infeasible real-time coordination constraints at source code level is developed.","Made available in DSpace on 2015-09-25T20:20:56Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 9812749.pdf: 4658982 bytes, checksum: 1e40c697f22fe448387eb7534033efef (MD5) Previous issue date: 1997","Embargo set by: Seth Robbins for item 83186 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","98 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1997."]},{"key":"dc:title","label":"Title","values":["An Actor-Based Framework for Real-Time Coordination"]}]}],"canonical_facts":{"dc:contributor":["Agha, Gul A."],"dc:creator":["Ren, Shangping"],"dc:date":["2015-09-25T20:20:56Z","10000-01-01","1997"],"dc:description":["This research uses both theoretical and experimental methods. Specifically, an operational semantics based on RTsynchronizers and regular computational objects (modeled as actors) is defined. RTsynchronizers are implemented as C++ objects which are used by system schedulers in deciding the appropriate messages to be invoked at message destination computational objects. The implementation demonstrates the feasibility of making the existence of RTsynchronizers transparent to computational objects. Furthermore, an algorithm for detecting infeasible real-time coordination constraints at source code level is developed.","Made available in DSpace on 2015-09-25T20:20:56Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 9812749.pdf: 4658982 bytes, checksum: 1e40c697f22fe448387eb7534033efef (MD5) Previous issue date: 1997","Embargo set by: Seth Robbins for item 83186 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","98 p.","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1997."],"dc:identifier":["http://hdl.handle.net/2142/81905","(MiAaPQ)AAI9812749"],"dc:language":["eng"],"dc:subject":["Computer Science"],"dc:title":["An Actor-Based Framework for Real-Time Coordination"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:17Z"}