Open Property Data Association
Smart Property Data Trust Framework
Become a member Join a working group
    Logical tier Module: transaction

    Transaction module

    The Transaction Relator (which founds Buyer and Seller Roles), its lifecycle Milestones (instruction / offer-accepted / exchange / completion / registration), and the TransactionChain aggregate that groups dependent Transactions linked by buyer-also-seller participant overlap.

    Entity inventory

    EntityUFO meta-categoryNotes
    MilestoneEvent particularPROV-O Activity; hybrid instant/interval typing per S007 Q2
    TransactionRelatorFIBO Arrangement precedent; founds Seller + Buyer Roles
    TransactionChainAggregateRecursive predicate + Chain-with-members dual modelling per S007 Q4

    Enumerations bound by this module

    SchemeUsed by attributeClosed/Open
    MilestoneKindSchemeMilestone kind notationClosed (5 members)
    TransactionStatusSchemeTransaction lifecycle phaseClosed (5 members)

    ER diagram

    %%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E1BEE7", "primaryTextColor": "#4A148C", "primaryBorderColor": "#6A1B9A", "lineColor": "#37474F"}}}%% erDiagram accTitle: Transaction Module — Entity-Relationship Diagram accDescr: Transaction Relator, lifecycle Milestones, and TransactionChain aggregate with intra-module relationships and cross-module ties to Seller, Buyer, and LegalEstate. Transaction ||--o{ Milestone : "hasMilestone" Transaction ||--o{ Seller : "founds" Transaction ||--o{ Buyer : "founds" Transaction }o--o| TransactionChain : "hasChainPosition" TransactionChain ||--o{ Transaction : "chainMembers" Transaction }o--o{ LegalEstate : "concerns" Milestone }o--o| Plan : "qualifiedAssociation hadPlan (plannedAtTime)"

    Source file: ../diagrams/transaction-er.mmd.

    Class hierarchy

    OWL/RDFS subclass relationships. Transaction specialises foundation Relator. Milestone specialises prov:Activity. TransactionChain is an Aggregate.

    %%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E1BEE7", "primaryTextColor": "#4A148C", "primaryBorderColor": "#6A1B9A", "lineColor": "#37474F"}}}%% classDiagram accTitle: Transaction Module — Class Hierarchy accDescr: OWL/RDFS subclass relationships — Transaction as Relator subclass, Milestone as PROV-O Activity, TransactionChain as Aggregate, plus FIBO Arrangement precedent for Transaction. class Relator class provActivity["prov:Activity"] class fiboArrangement["fibo-fnd-agr:Arrangement"] class Transaction { occurredAtTime hasChainPosition founds Seller and Buyer concerns LegalEstate } class Milestone { occurredAtTime plannedAtTime hasVarianceStatus (derived) hasVarianceDays (derived) } class TransactionChain { chainMembers : 1..* chain-length cap 7 chain-status (derived) } Relator <|-- Transaction fiboArrangement <|.. Transaction : precedent provActivity <|-- Milestone

    Identity-key summary

    %%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E1BEE7", "primaryTextColor": "#4A148C", "primaryBorderColor": "#6A1B9A", "lineColor": "#37474F"}}}%% flowchart LR accTitle: Transaction Module — Identity-Key Summary accDescr: Identity Criterion key surfaces for the three transaction-module entities — 5-tuple Relator IC for Transaction, MilestoneKind tuple for Milestone, unordered member set for TransactionChain. classDef icCell fill:#F8BBD9,stroke:#AD1457,stroke-width:2px,color:#880E4F classDef entityCell fill:#B3E5FC,stroke:#0277BD,stroke-width:2px,color:#01579B TransactionE[Transaction]:::entityCell -->|"IC"| TIC["5-tuple:
    (LegalEstate-concerned,
    Sellers-set, Buyers-set,
    transaction-id-lineage,
    founding-event)"]:::icCell MilestoneE[Milestone]:::entityCell -->|"IC"| MIC["(Transaction, MilestoneKind)"]:::icCell TransactionChainE[TransactionChain]:::entityCell -->|"IC"| CIC["unordered set of
    Transaction members"]:::icCell

    Comments

    Loading comments…