public:99_annexes:annex-b-terms-and-definitions:f:formal_semantics

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
public:99_annexes:annex-b-terms-and-definitions:f:formal_semantics [2026/09/12 17:42] – ↷ Page moved from private:99_annexes:annex-b-terms-and-definitions:f:formal_semantics to public:99_annexes:annex-b-terms-and-definitions:f:formal_semantics nick_didopublic:99_annexes:annex-b-terms-and-definitions:f:formal_semantics [2026/09/12 17:43] (current) – ↷ Links adapted because of a move operation nick_dido
Line 1: Line 1:
 ====== Formal Semantics ====== ====== Formal Semantics ======
  
-[[private:99_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]]+[[public:99_annexes:annex-b-terms-and-definitions:start|Go up to Terms and Definitions]]
  
 ===== Discussion ===== ===== Discussion =====
Line 9: Line 9:
 Formal semantics separates meaning from implementation syntax, storage technology, programming language, exchange mechanism, deployment environment, or runtime platform. Formal semantics separates meaning from implementation syntax, storage technology, programming language, exchange mechanism, deployment environment, or runtime platform.
  
-Formal semantics supports consistent interpretation across implementations, tools, organizations, and governance contexts. It provides a basis for traceability, conformance evaluation, controlled interpretation, and semantic consistency within the [[private:99_annexes:annex-b-terms-and-definitions:r:reference_architecture]].+Formal semantics supports consistent interpretation across implementations, tools, organizations, and governance contexts. It provides a basis for traceability, conformance evaluation, controlled interpretation, and semantic consistency within the [[public:99_annexes:annex-b-terms-and-definitions:r:reference_architecture]].
  
 ===== Definition ===== ===== Definition =====
Line 17: Line 17:
 ===== Source ===== ===== Source =====
  
-Structured Information Processing [[private:99_annexes:annex-b-terms-and-definitions:r:reference_architecture]]+Structured Information Processing [[public:99_annexes:annex-b-terms-and-definitions:r:reference_architecture]]
  
 ===== Note ===== ===== Note =====
Line 25: Line 25:
 ===== Example ===== ===== Example =====
  
-A [[private:99_annexes:annex-b-terms-and-definitions:r:reference_architecture]] defines the meaning of an [[private:99_annexes:annex-b-terms-and-definitions:a:attachment_point]], [[private:99_annexes:annex-b-terms-and-definitions:c:conformance_point]], lifecycle state, or governed artifact independently of the software mechanism that implements it.+A [[public:99_annexes:annex-b-terms-and-definitions:r:reference_architecture]] defines the meaning of an [[public:99_annexes:annex-b-terms-and-definitions:a:attachment_point]], [[public:99_annexes:annex-b-terms-and-definitions:c:conformance_point]], lifecycle state, or governed artifact independently of the software mechanism that implements it.
  
 ---- ----
  • public/99_annexes/annex-b-terms-and-definitions/f/formal_semantics.1789260147.txt.gz
  • Last modified: 2026/09/12 17:42
  • by nick_dido