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

MicroService: 
A MicroService is a small autonomous unit of software, emphasizing self-management and lightweightness as the means to improve software agility, scalability, and autonomy.1) MicroServices are automous or assembled and orchestrated as components of Applications.2) MicroServices can be directly deployed to Computing Systems. MicroServices are both a logical unit of software and a Deployable Package.3) MicroServices owns their own data store and dot not have any shared stores with other components.MicroService is a Micro enterprise asset that sits at the lower level of Business Software System decomposition.
 - ============================== -}

{-# OPTIONS --cubical --guardedness #-}
{-# OPTIONS --cubical-compatible #-}

module d6a956495a395d28 where -- ========== MicroService

open import Agda.Primitive
open import Relation.Binary.PropositionalEquality
open import Data.Product renaming (_×_ to _⊗_)
open import 4c7883cd5fca4d5b public -- Deployable Package
open import c30bdac25a5d9eaf public -- Software Module

postulate
  MicroService : ClassOfClassOfBoundedIndividual

postulate --  MicroService is subTypeOf DeployablePackage
  st-cd7a3a435ff3d167 : MicroService ⊏⋆ₑ DeployablePackage

postulate --  MicroService is subTypeOf SOftwareModule
  st-c30bdce95a5d9f65 : MicroService ⊏⋆ₑ SOftwareModule

-- == Relationships =======================