Carnegie Mellon University
Browse

Halo: A Framework for End-User Architecting

Download (5.29 MB)
thesis
posted on 2023-01-06, 21:53 authored by Vishal DwivediVishal Dwivedi

A large number of domains today require end users to compose various heterogeneous computational entities to perform their professional activities. However, writing such enduser compositions is hard and error-prone. Compared to the capabilities of modern programming environments, end users have relatively few tools for things like composition analysis, compilation into efficient deployments, interactive testing and debugging (e.g., setting breakpoints, monitoring intermediate results, etc.), history tracking, and graceful handling of run-time errors.

To overcome these limitations, we pose this thesis: "It is possible to build an end-user composition framework that can be instantiated to provide high-quality composition environments at relatively low cost compared to existing hand-crafted environments for a broad class of composition domains." 

As a solution to this problem, we have designed a new technique called "end-user architecting" that associates end-user specifications in a particular domain as instances of architectural styles. This allows cross-domain analyses, systematic support for reuse and adaptation, powerful auxiliary services (e.g., mismatch repair), and support for execution, testing, and debugging. 

To allow a wider adoption of this technique, we have designed the "Halo framework" that can be instantiated across a large number of domains, with composition models varying from data flows, publish-subscribe, and workflows. The Halo framework supports most of the common compositions tasks such as Search, Reuse, Construction, Analysis, Execution, and Debugging support and provides general and reusable infrastructures with well-defined customization points to build composition environments with these common features. Halo also provides adapters that can be customized for different user interfaces, runtime environments, and various analyses based on domain-specific constraints. This allows developers to systematically customize Halo and develop composition environments by using Halo’s building blocks. 

This approach can reduce the cost of development of end-user composition platforms (compared to developing them from scratch) and improve the quality of end-user compositions. 

Funding

The Department of Defense (DOD) under Contract No. FA8721-05-C-0003

Office of Naval Research (ONR) under grant ONR-N000140811223

Army Research Office (ARO) under Award No. W911NF1310155

The National Security Agency (NSA) under grant H9823018D0008.

History

Date

2022-12-20

Degree Type

  • Dissertation

Department

  • Software and Societal Systems (S3D)

Degree Name

  • Doctor of Philosophy (PhD)

Advisor(s)

David Garlan