====== 6.4.2 Platform-Independent Model Definition ====== [[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 (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]]. ===== Requirements ===== ^ Requirement ^ Statement ^ | [[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. ---- © 2026 Dido Solutions, Inc. and Jackrabbit Consulting, Inc.