Legierung Terminologie: Unterschrift „Erklärung“ und Unterschrift „stellt“ Atome

Question

diese Bedenken Sie:

sig A{} 

Was ist das?

Antwort: Es ist eine Signatur Erklärung.

Was macht es?

Antwort: Es führt eine Reihe von Atomen. (Siehe Seite 93 Software Abstraktionen)

Ist Erklärung und führt Standardterminologie in der leichten formalen Modellierung Gemeinschaft?

Warum ist nicht die Terminologie dieses:

Was ist das? Antwort: Es ist eine Signatur Definition.

Was macht es? Antwort: Es schafft eine Reihe von Atomen.

Oder eine andere Terminologie.

Answer 1

"Deklaration" ist ein Standardbegriff in Programmier- oder Spezifikationssprachen für die Einführung von (-;) einer Variablen ohne Angabe eines Werts. Ich habe den Begriff "introduces" statt "creates" verwendet, um die Implikation zu vermeiden, dass es einen sofortigen operationellen Effekt gibt (da die Menge der Atome durch Constraint-Solving bestimmt wird).