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

EA Pattern - Physical Resource Agent: 


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

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

{-# OPTIONS --cubical --guardedness #-}
module SysFEAT.EA.sysfeat-domain-c80a10c167853bca where -- ========== EA Pattern - Physical Resource Agent

open import SysFEAT.EA.sysfeat-domain-e2ef086d62147802 public -- SOF - Resource System Operating Pattern (R-SOF)
open import SysFEAT.EA.sysfeat-domain-d670b6155ffe8bb1 public -- SOF - Business Resource Operating Pattern (B-SOF)
open import SysFEAT.EA.sysfeat-domain-c80a74e46785ad9f public -- SOF -  Business Hardware Operating Model

open import SysFEAT.EA.be94e82f655c90e7 public -- Physical Business Agent
open import SysFEAT.EA.a502ba136229fe24 public -- Physical Service Interface
open import SysFEAT.EA.c334e2925ecb8db4 public -- Physical Outcome Event
open import SysFEAT.EA.9b089d1868a45ed3 public -- Physical Capability