FPF Reference

    F.1:12.2 Method quartet with types & measurement (model state graph)

    Preface node heading:f-1-12-2-method-quartet-with-types-measurement-model-state-graph:72088

    What this page is

    This is generated FPF reference text from the specification preface or supporting sections. It helps interpret FPF; it is not FPF Reference product documentation.

    Methodology

    Use it to understand how the specification wants to be read, then return to a route, pattern, or work packet for active work. Cite generated IDs only when the wording changes the task decision.

    Content

    Unification line. Method‑CAL + Kind-CAL + KD‑CAL.

    Contexts (five Cards).

    1. SPEM 2.0 / ISO 24744 — methods family; design; Method and MethodDescription language.
    2. OWL 2 (profiles) — types family; design; class, subclass, equivalent class.
    3. FCA corpus — types family; design; concept lattices.
    4. SOSA/SSN (2017) — sensing family; run; Observation / Procedure.
    5. ISO 80000‑1 (2022) — metrology family; design; quantity kinds, units.

    Thinking pay‑off.

    • You keep Method (abstract how‑to) separate from MethodDescription (epistemic recipe) and Execution (run) because the Contexts already split design vs run.
    • You avoid treating FCA “concept” as a U.Type; later F.9 can bridge OWL classes to FCA concepts with cautions.

    Last Updated: 2026-06-17 — upstream FPF commit 646b0b9b (github.com/ailev/FPF)