Domain Analysis & Description - The Implicit and Explicit Semantics Problem
arXiv:1805.05516v16 citations
Originality Synthesis-oriented
AI Analysis
This work addresses the issue of implicit semantics in domain analysis, which is incremental as it builds on existing formal description methods.
The paper tackles the problem of implicit semantics by introducing a domain analysis and description calculus, which provides an explicit semantics for domains that would otherwise remain implicit.
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.