Differences

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

--- public:00-sip-ra:06-specific-requirements-on-proposals:06-4-required-submission-content:06-4-2-platform-independent-model-definition:start [2026/09/12 18:33] – ↷ Page moved from dido:00-sip-ra:06-specific-requirements-on-proposals:06-4-required-submission-content:06-4-2-platform-independent-model-definition:start to public:00-sip-ra:06-specific-requirements-on-proposals:06-4-required-submission-content:06-4-2-pl nick_dido
+++ public:00-sip-ra:06-specific-requirements-on-proposals:06-4-required-submission-content:06-4-2-platform-independent-model-definition:start [2026/09/14 18:39] (current) – nick_dido
@@ Line 1: / Line 1: @@
 ====== 6.4.2 Platform-Independent Model Definition ======
-[[dido:00-sip-ra:06-specific-requirements-on-proposals:06-4-required-submission-content:start|Return to Required Submission Content]]
+[[public:00-sip-ra:06-specific-requirements-on-proposals:06-4-required-submission-content:start|Return to Required Submission Content]]
-The [[public:99_annexes:annex-b-terms-and-definitions:p:platform_independent_model|Platform Independent Model]] formalizes the [[public:99_annexes:annex-b-terms-and-definitions:r:reference_architecture|Reference Architecture]] by defining its architectural constructs, relationships, and governance abstractions using abstract syntax and formally defined semantics.
+The [[public:99_annexes:annex-b-terms-and-definitions:p:platform_independent_model|Platform Independent Model (PIM)]] formalizes the proposed [[public:99_annexes:annex-b-terms-and-definitions:r:reference_architecture|Reference Architecture]] by defining its architectural constructs, relationships, constraints, and [[public:99_annexes:annex-b-terms-and-definitions:g:governance|Governance]] abstractions using abstract syntax and formally defined [[public:99_annexes:annex-b-terms-and-definitions:s:semantic|Semantics]].
-  - Proposals SHALL define the Platform Independent Model that formalizes the Reference Architecture.
+===== Requirements =====
-  - Proposals SHALL define the abstract syntax of the Platform Independent Model, including the structural constructs and constraints that govern architectural elements and relationships.
-  - Proposals SHALL define the formal semantics of the Platform Independent Model, independent of any specific implementation technology.
+^ Requirement ^ Statement ^
-  - Proposals SHALL define the Platform Independent Model with sufficient formal precision to permit independent implementation and conformance assessment.
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-046-platform-independent-model-abstract-syntax|SIP-046 — Platform Independent Model Abstract Syntax]] | {{section>public:00-sip-ra:99-annexes:annex-c-requirements:sip-046-platform-independent-model-abstract-syntax#Statement&noheader&nofooter&noeditbtn}} |
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-047-platform-independent-model-formal-semantics|SIP-047 — Platform Independent Model Formal Semantics]] | {{section>public:00-sip-ra:99-annexes:annex-c-requirements:sip-047-platform-independent-model-formal-semantics#Statement&noheader&nofooter&noeditbtn}} |
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-048-platform-independent-model-formal-precision|SIP-048 — Platform Independent Model Formal Precision]] | {{section>public:00-sip-ra:99-annexes:annex-c-requirements:sip-048-platform-independent-model-formal-precision#Statement&noheader&nofooter&noeditbtn}} |
+===== Required Coverage =====
+The Platform Independent Model definition includes the architectural information governed by the following requirements:
+^ Requirement ^ Required Model Information ^
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-002-formal-platform-independent-model|SIP-002 — Formal Platform Independent Model]] | A formal Platform Independent Model of the proposed Reference Architecture |
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-003-reference-architecture-constituents|SIP-003 — Reference Architecture Constituents]] | Architectural elements, roles, relationships, and interaction constructs |
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-022-technology-independent-conformance-points|SIP-022 — Technology-Independent Conformance Points]] | Conformance points supporting inspection and verification independently of implementation technology |
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-039-platform-independent-modeling|SIP-039 — Platform-Independent Modeling]] | Platform-independent architectural modeling without requiring a specific modeling language or notation |
+| [[public:00-sip-ra:99-annexes:annex-c-requirements:sip-040-representation-independent-architectural-constructs|SIP-040 — Representation-Independent Architectural Constructs]] | Architectural meaning independent of a particular modeling syntax or diagrammatic representation |
+===== Notes for Editors =====
+The requirement identifiers and short titles link to the authoritative requirement records in Annex C.
+The Statements for SIP-046 through SIP-048 are transcluded from their corresponding Annex C requirement pages and are not independently maintained copies.
+Make changes to a Statement on its Annex C requirement page.
+SIP-002 already requires the Submission to include a formal PIM. It is not repeated or renumbered in this section.
+SIP-046 defines the required abstract syntax. SIP-047 defines the required formal Semantics. SIP-048 establishes the degree of precision needed to support independent implementation and conformance assessment.
+The Required Coverage table provides a nonnormative summary of the model information governed by the referenced requirements. Their corresponding Annex C records remain authoritative.
 ----
@@ Line 15: / Line 42: @@
 © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.
 </WRAP>