{- ============================== 
   Copyright (c) 2025 SysFEAT - Systemic Framework for Enterprise Architecture & Transformation
   This work is released under the MIT License.
   framework.sysfeat.com

SOF -  Business Hardware Operating Model: 


Documentation : https://framework.sysfeat.com/pages/c80a74e46785ad9f.htm

 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
module SysFEAT.EA.sysfeat-domain-c80a74e46785ad9f where -- ========== SOF -  Business Hardware Operating Model

open import SysFEAT.EA.sysfeat-domain-e2ef086d62147802 public -- SOF - Resource System Operating Pattern (R-SOF)
open import SysFEAT.EA.sysfeat-domain-75ef50ab620fb787 public -- EA Pattern - Physical Data Domain
open import SysFEAT.EA.sysfeat-domain-d5e6d6c25c464906 public -- Application Deployment Architecture
open import SysFEAT.EA.sysfeat-domain-d5e6d6b05c4648d8 public -- Application Functional Architecture
open import SysFEAT.EA.sysfeat-domain-c2dbe1db5b026b30 public -- Software Technology ArcOps
open import SysFEAT.EA.sysfeat-domain-70ba83a464213bcf public -- EA Pattern - Physical Software Operating Pattern
open import SysFEAT.EA.sysfeat-domain-d670b6155ffe8bb1 public -- SOF - Business Resource Operating Pattern (B-SOF)
open import SysFEAT.EA.sysfeat-domain-d160039d62e081a5 public -- EA Pattern - Technology Operating Pattern
open import SysFEAT.EA.sysfeat-domain-255cd30862aa0da8 public -- SOF - Business System Operating Pattern
open import SysFEAT..sysfeat-domain-c80a73ed6785aac2 public -- Hardware Technology Architecture
open import SysFEAT.EA.sysfeat-domain-c80a10c167853bca public -- EA Pattern - Physical Resource Agent

open import SysFEAT.EA.a502ba136229fe24 public -- Physical Service Interface
open import SysFEAT.EA.c30bf4015a5da72b public -- Concrete Hardware System
open import SysFEAT.EA.d160042562e08353 public -- Network Interface
open import SysFEAT.EA.c334e2925ecb8db4 public -- Physical Outcome Event
open import SysFEAT.EA.df118f995d5f65f1 public -- Computer Device
open import SysFEAT.EA.df118f645d5f65bb public -- Computer Server
open import SysFEAT.EA.26b8384f5eeae33c public -- Networking System
open import SysFEAT.EA.9788a552661766c9 public -- Hardware Configuration
open import SysFEAT.EA.9788a1fe661765ee public -- Hardware Equipment
open import SysFEAT.EA.02f51209641c7ea4 public -- Computing Device
open import SysFEAT.EA.c80a7be56785c09b public -- Deployed Hardware System
open import SysFEAT.EA.c80a7d7a6785c1ff public -- Deployed Hardware Configuration
open import SysFEAT.EA.c80a7ee56785c3b2 public -- Deployed Hardware Equipment
open import SysFEAT.EA.2191367d6786268d public -- Deployed Computer Device