Program Promises

TL;DR

This paper explores promise theory as a novel framework for understanding programming models, particularly in distributed systems, demonstrating its ability to express constructs and improve interface design with simpler concepts.

Contribution

It introduces promise theory as an alternative to UML for programming models, simplifying interface design in distributed systems.

Findings

Promise theory can express familiar programming constructs.

Promise theory resolves interface design problems.

It uses fewer concepts than UML.

Abstract

The framework of promise theory offers an alternative way of understanding programming models, especially in distributed systems. We show that promise theory can express some familiar constructs and resolve some problems in program interface design, using fewer and simpler concepts than the Unified Modelling Language (UML).