Notions of Equivalence in Software Design

06/16/2004
by   David King, et al.
0

Design methods in information systems frequently create software descriptions using formal languages. Nonetheless, most software designers prefer to describe software using natural languages. This distinction is not simply a matter of convenience. Natural languages are not the same as formal languages; in particular, natural languages do not follow the notions of equivalence used by formal languages. In this paper, we show both the existence and coexistence of different notions of equivalence by extending the no-tion of oracles used in formal languages. This allows distinctions to be made between the trustworthy oracles assumed by formal languages and the untrust-worthy oracles used by natural languages. By examin-ing the notion of equivalence, we hope to encourage designers of software to rethink the place of ambiguity in software design.

READ FULL TEXT
research
10/15/2022

A Theory of Formal Choreographic Languages

We introduce a meta-model based on formal languages, dubbed formal chore...
research
03/27/2018

Facets of Software Doping

This paper provides an informal discussion of the formal aspects of soft...
research
06/09/2020

An axiomatization of verdict equivalence over regular monitors

Monitors are a key tool in the field of runtime verification, where they...
research
12/07/2022

Why the equivalence problem for unambiguous grammars has not been solved back in 1966?

In 1966, Semenov, by using a technique based on power series, suggested ...
research
09/11/2022

Information content in formal languages

Motivated by creating physical theories, formal languages S with variabl...
research
07/07/2015

A Survey and Classification of Controlled Natural Languages

What is here called controlled natural language (CNL) has traditionally ...
research
01/13/2022

The Combinatorics of Salva Veritate Principles

Various concepts of grammatical compositionality arise in many theories ...

Please sign up or login with your details

Forgot password? Click here to reset