SIE.3:4 - Solution
Select or develop only the semantic content needed for the named use. Qualify it through discriminating cases and make its maintained edition accessible to the consumers who will rely on it.
SIE.3:4.1 - Pattern-Use Unfolding
- State the questions and answer distinctions. Use competency questions or an equivalent plain description. Name the subject, grain, configuration or interval where relevant, expected answer, and a counterexample. Work with domain participants at a level where they can explain the distinction. Separate a useful model question from a request to choose a storage or diagramming tool.
- Recover the available meanings. Use the relevant SIE.2 results or directly supplied source meanings. Inspect candidate models’ definitions, relations, constraints, examples, edition, access, and maintenance conditions where those can affect the use. Source labels alone cannot settle suitability.
- Try sufficient reuse. Replay the required questions and counterexamples against an available model. When its content and applicable conditions suffice, return that model and the qualification. This completes the Method. Leave an uncovered question explicit if a permitted narrower use can continue.
- Locate the actual gap. Identify the missing distinction, relation, constraint, or incompatible commitment. Extend a module when the addition can preserve the existing commitments that consumers still use. Construct a different model when reuse or such an extension cannot supply the required content. Keep the reason tied to the gap.
- Develop the meaning before encoding it. Define the needed concepts and relations, their domains of application, and the grain or temporal interpretation required by the question. Show examples and counterexamples to domain participants. Preserve a source disagreement that affects use; SIE.4 can establish a qualified correspondence between different meanings.
- Choose sufficient formalization. A maintained vocabulary and relation description can be enough for some uses. Select a formal language or profile when exchange, constraints, or inference require its semantics. Check the properties claimed under that choice as well as the domain cases. Repair or qualify a model that passes an encoding check but answers the domain question incorrectly.
- Return a maintained, use-qualified model. Identify the edition or stable content, covered questions, material limits, and the access and maintenance arrangement its consumers need. Return its meanings to correspondence or mapping work and its cases and qualifications to validation. A missing authoritative definition can leave one question unresolved while independently supported questions finish.
A small model can express these obligations in one short maintained description. Formalization adds the assurance required by the selected language and use. It does not change which domain question the model must answer.
SIE.3:4.2 - Record the Result
| Result position | Content needed by the receiver |
|---|---|
| Named use | Questions, expected answer distinctions, and applicable subject, grain, time, or configuration. |
| Selected model | Reused model or developed module, its edition, definitions, relation meanings, and required commitments. |
| Reuse or development decision | The adequacy evidence, or the gap that justified an extension or different model. |
| Qualification | Covered cases, counterexamples, limits, unresolved questions, and any selected formal checks. |
| Continued reliance | Access, maintenance responsibility, relied-on source conditions, and change conditions that can reopen the result. |
The result can refer to an existing qualified model instead of reproducing it. Record a reason only where it helps a consumer interpret or rely on the selection.
SIE.3:4.3 - What Changes in Practice
The integrator can explain why the model distinguishes two answers, or why an existing distinction is sufficient. A mapping author receives meanings and cases rather than an unexplained class list. Model construction becomes a response to a demonstrated gap.