Domain Analysis & Description - The Implicit and Explicit Semantics Problem

TL;DR

This paper introduces a domain analysis and description calculus to explicitly capture semantics, addressing the challenge of implicit semantics in domain descriptions, whether informal or formal.

Contribution

It presents a formal calculus for domain analysis that makes implicit semantics explicit, improving clarity and understanding of domain descriptions.

Findings

The calculus effectively clarifies implicit semantics.

Formal domain descriptions provide explicit semantic representations.

Addresses issues of ambiguity in domain analysis.

Abstract

A domain analysis & description calculus is introduced. It is shown to alleviate the issue of implicit semantics. The claim is made that domain descriptions, whether informal, or as also here, formal, amount to an explicit semantics for what is otherwise implicit if not described.