Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:00:05 UTC
ME.7:4.1 - Pattern-Use Unfolding
Name the receiving use. State the result or preserved condition, situation family, intended users or performers, consuming decision, configuration or edition, and time window.
Recover whole semantics. State the reusable operations or invariant, entry and exit, applicability, participants, permitted variation, bounds, stops, and reidentification rule. If these cannot be stated, return the missing-account question.
Preserve participant statuses. Identify each Method under A.3.1 where supported. Keep candidate accounts and other subjects at their existing statuses.
Name the relation sets. State every load-bearing proposed or obtaining relation, including Method composition, Work order or overlap, result use, allocation, support/provider access, authority, and description correspondence as applicable. Do not infer one relation from another.
Test the positive branch. Record an obtaining composition only when the whole and parts are identified as Methods and the required B.1.5 relations are shown to obtain within the bounded claim.
Return the prospective branch when needed. State the candidate whole, participant statuses, proposed relation sets, guards, adapters, alternatives, recovery, variation points, burdens and unresolved conditions needed for the receiving use. A traceable proposal can answer that use while its stronger whole claim remains unresolved.
Lower independently. When whole semantics, identity, or one relation remains too weak even for a useful candidate, return the supported fragment, relation claim, WorkPlan question, or stop. Do not pad the account to look complete.
Choose a useful continuation when needed. Use C.11.DUA to compare the result a realizable implementation or trial could add with its full burden, including access, allocation, authority and the available window. When that Work is selected, name its observations, acceptance and failure conditions, authority and reconsideration rule; prepare a WorkPlan where coordination needs one. Otherwise finish with the supported account or lower result and the limitation that matters to its recipient.