{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/23454"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/23454","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Modular specification of interaction policies in distributed computing","abstract":"Software executing on distributed systems consists of many asynchronous, autonomous components which interact in order to coordinate local activity. The need for such coordination, as well as requirements such as heterogeneity, scalability, security and availability, considerably increase the complexity of code in distributed applications. Moreover, changing requirements, as well as changes in hardware platforms, lead to software that is constantly evolving and complicates reuse. To support development and evolution of distributed applications requires techniques which allow coordination code to be specified, customized, and maintained independently of application components; goals which cannot be realized solely through object-oriented techniques.","abstract_html":"Software executing on distributed systems consists of many asynchronous, autonomous components which interact in order to coordinate local activity. The need for such coordination, as well as requirements such as heterogeneity, scalability, security and availability, considerably increase the complexity of code in distributed applications. Moreover, changing requirements, as well as changes in hardware platforms, lead to software that is constantly evolving and complicates reuse. To support development and evolution of distributed applications requires techniques which allow coordination code to be specified, customized, and maintained independently of application components; goals which cannot be realized solely through object-oriented techniques.","abstract_has_math":false,"creators":["Sturman, Daniel Charles"],"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":2011,"date_issued":"2011-05-07T14:14:47Z","date_published":"2011-05-07T14:14:47Z","updated_at":"2026-07-22T22:25:22Z","subjects":["Computer Science"],"languages":["eng"],"rights":["Copyright 1996 Sturman, Daniel Charles"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["9780591088953","AAI9702675","(UMI)AAI9702675"],"render_values":[{"text":"9780591088953","href":null,"code":true},{"text":"AAI9702675","href":null,"code":true},{"text":"(UMI)AAI9702675","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/23454","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":["Sturman, Daniel Charles"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T14:14:47Z","10000-01-01","1996"]},{"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"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1996 Sturman, Daniel Charles"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["9780591088953","AAI9702675","(UMI)AAI9702675","http://hdl.handle.net/2142/23454"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Software executing on distributed systems consists of many asynchronous, autonomous components which interact in order to coordinate local activity. The need for such coordination, as well as requirements such as heterogeneity, scalability, security and availability, considerably increase the complexity of code in distributed applications. Moreover, changing requirements, as well as changes in hardware platforms, lead to software that is constantly evolving and complicates reuse. To support development and evolution of distributed applications requires techniques which allow coordination code to be specified, customized, and maintained independently of application components; goals which cannot be realized solely through object-oriented techniques.","This thesis demonstrates that meta-level specification of interaction policies enables modular description of component interaction policies, as well as customization of policy implementations. We present the high-level language D scIL for specification of protocols. The language identifies the abstractions and concepts required for modular specification of interaction policies. The abstractions developed in D scIL are then realized through a meta-level architecture. We provide several D scIL protocols implementing policies for reliable communication, atomicity, and dependability in a multi-media application.","The implementation techniques necessary to realize the meta-architecture are discussed in the context of Broadway, a run-time system for distributed C++ objects. This meta-architecture provides access to the system-level features necessary to support the modularity mechanisms defined in D scIL. We provided examples of protocol translation from D scIL to Broadway C++ classes that utilize the meta-architecture. Measurements show that these techniques may be implemented with minimal performance overhead. A formal semantics for reasoning about the approach is also developed.","Made available in DSpace on 2011-05-07T14:14:47Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9702675.pdf: 4366086 bytes, checksum: ad0d6cd054b23f0c6c4089cd354de497 (MD5) Previous issue date: 1996","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T15:04:35Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:30:52-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"]},{"key":"dc:title","label":"Title","values":["Modular specification of interaction policies in distributed computing"]}]}],"canonical_facts":{"dc:contributor":["Agha, Gul A."],"dc:creator":["Sturman, Daniel Charles"],"dc:date":["2011-05-07T14:14:47Z","10000-01-01","1996"],"dc:description":["Software executing on distributed systems consists of many asynchronous, autonomous components which interact in order to coordinate local activity. The need for such coordination, as well as requirements such as heterogeneity, scalability, security and availability, considerably increase the complexity of code in distributed applications. Moreover, changing requirements, as well as changes in hardware platforms, lead to software that is constantly evolving and complicates reuse. To support development and evolution of distributed applications requires techniques which allow coordination code to be specified, customized, and maintained independently of application components; goals which cannot be realized solely through object-oriented techniques.","This thesis demonstrates that meta-level specification of interaction policies enables modular description of component interaction policies, as well as customization of policy implementations. We present the high-level language D scIL for specification of protocols. The language identifies the abstractions and concepts required for modular specification of interaction policies. The abstractions developed in D scIL are then realized through a meta-level architecture. We provide several D scIL protocols implementing policies for reliable communication, atomicity, and dependability in a multi-media application.","The implementation techniques necessary to realize the meta-architecture are discussed in the context of Broadway, a run-time system for distributed C++ objects. This meta-architecture provides access to the system-level features necessary to support the modularity mechanisms defined in D scIL. We provided examples of protocol translation from D scIL to Broadway C++ classes that utilize the meta-architecture. Measurements show that these techniques may be implemented with minimal performance overhead. A formal semantics for reasoning about the approach is also developed.","Made available in DSpace on 2011-05-07T14:14:47Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9702675.pdf: 4366086 bytes, checksum: ad0d6cd054b23f0c6c4089cd354de497 (MD5) Previous issue date: 1996","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T15:04:35Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:30:52-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"],"dc:identifier":["9780591088953","AAI9702675","(UMI)AAI9702675","http://hdl.handle.net/2142/23454"],"dc:language":["eng"],"dc:rights":["Copyright 1996 Sturman, Daniel Charles"],"dc:subject":["Computer Science"],"dc:title":["Modular specification of interaction policies in distributed computing"],"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:25:22Z"}