| Both sides previous revision Previous revision | |
| 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:35] – 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 |
|---|
| ===== Requirements ===== | ===== Requirements ===== |
| |
| * **[[public:00-sip-ra:99-annexes:annex-c-requirements:sip-046-platform-independent-model-abstract-syntax|SIP-046 — Platform Independent Model Abstract Syntax]]:** The Platform Independent Model SHALL define an abstract syntax for its architectural constructs, relationships, and constraints | ^ 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]]:** The Platform Independent Model SHALL define the formal Semantics of its architectural constructs, relationships, and constraints independently of any specific implementation technology | | [[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}} | |
| * **[[public:00-sip-ra:99-annexes:annex-c-requirements:sip-048-platform-independent-model-formal-precision|SIP-048 — Platform Independent Model Formal Precision]]:** The Platform Independent Model SHALL be defined with sufficient formal precision to support independent implementation and conformance assessment | |
| |
| ===== Required Coverage ===== | ===== Required Coverage ===== |
| ===== Notes for Editors ===== | ===== Notes for Editors ===== |
| |
| The links to SIP-046 through SIP-048 provide temporary access to their individual Annex C requirement pages while those records are being created and reviewed. | 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. |
| |
| After those records are complete, replace each locally maintained Statement with a transclusion of its authoritative Statement. | 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-002 already requires the Submission to include a formal PIM. It is not repeated or renumbered in this section. |