tasatelliteartifacts-hierachies.gel - MultiDimPalette: MultiDim-SatelliteArtifacts - localhost:4001srjava.awt.DimensionA׬_DIheightIwidthxphsq~FXsq~@srjava.lang.Integer⠤8Ivaluexrjava.lang.Number xp)wsrjava.util.HashMap`F loadFactorI thresholdxp?@ wt AttributetATTRDEDUCED_TP_GTt IndividualtINDIVIDUAL_TP_GTtIsAt ISADEDUCED_GTt InstanceOftINSTOFDEDUCED_MDP_GTtLinkt ATTR_TP_GTxsq~?@0w@t INSTOF_TP_GTti5.cb.graph.cbeditor.CBLinkt INSTOF_MDP_GTti5.cb.graph.cbeditor.CBLinktQUERYCLASS_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtINSTOFDEDUCED_MDP_GTti5.cb.graph.cbeditor.CBLinktImplicitInstanceOfGTti5.cb.graph.cbeditor.CBLinkt SimpleClassGTt!i5.cb.graph.cbeditor.CBIndividualt VALUE_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtClassGTt!i5.cb.graph.cbeditor.CBIndividualt ATTR_TP_GTti5.cb.graph.cbeditor.CBLinktDefaultIndividualGTt!i5.cb.graph.cbeditor.CBIndividualt STRING_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtINDIVIDUAL_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtISADEDUCED_TP_GTti5.cb.graph.cbeditor.CBLinkt QueryClassGTt!i5.cb.graph.cbeditor.CBIndividualtATTRDEDUCED_TP_GTti5.cb.graph.cbeditor.CBLinktINSTOFDEDUCED_TP_GTti5.cb.graph.cbeditor.CBLinkt ISADEDUCED_GTti5.cb.graph.cbeditor.CBLinktASSERTION_TP_GTt!i5.cb.graph.cbeditor.CBIndividualt MetaClassGTt!i5.cb.graph.cbeditor.CBIndividualt DefaultIsAGTti5.cb.graph.cbeditor.CBLinktDefaultAttributeGTti5.cb.graph.cbeditor.CBLinkt DefaultLinkGTti5.cb.graph.cbeditor.CBLinkt ISA_TP_GTti5.cb.graph.cbeditor.CBLinkt ImplicitIsAGTti5.cb.graph.cbeditor.CBLinkt MetametaGTt!i5.cb.graph.cbeditor.CBIndividualtDefaultInstanceOfGTti5.cb.graph.cbeditor.CBLinkt CLASS_TP_GTt!i5.cb.graph.cbeditor.CBIndividualtImplicitAttributeGTti5.cb.graph.cbeditor.CBLinkt ISA_MDP_GTti5.cb.graph.cbeditor.CBLinkxsq~?@`wFq~sr+i5.cb.graph.cbeditor.CBGraphTypePropertySet-xLm_GraphTypePropertiestLjava/util/HashSet;xpsrjava.util.HashSetD4xpw ?@sr(i5.cb.graph.cbeditor.CBGraphTypePropertypoLm_PropertyNametLjava/lang/String;Lm_PropertyValueq~Vxpt edgeheadshapetCaretxsq~Utbgcolort0,180,0xsq~Ut edgewidtht2xsq~Ut textcolort0,0,0xsq~Utlabeltxsq~Ut edgestyletldashedxsq~Ut edgecolort0,180,0xxxt **Artifactssq~Psq~Sw @?@sq~Utalignttopxsq~Utalignttopxsq~Utalignttopxsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utalignttopxsq~Utsizet resizablexsq~Utalignttopxsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utalignttopxsq~Utalignttopxsq~Utbgcolort 240,240,255xsq~Ut nodelevelt-103xsq~Utalignttopxsq~Ut nodelevelt-103xsq~Utalignttopxxxt**SatelliteModelsq~Psq~Sw @?@$sq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utsizetwrapxsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Ut labellengtht800xsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utlabelt][b]SatelliteModel[/b][hr][/hr] plannedmass: Integer[br][/br] potency/Satellites: 2[br][/br] xxxt**(PeterS->Person)sq~Psq~Sw ?@ sq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xxxt**SimulationModelsq~Psq~Sw @?@$sq~UtfonttArialxsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~UtlabeltX[b]SimulationModel[/b][hr][/hr] purpose: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xxxq~sq~Psq~Sw ?@sq~Ut edgeheadshapetCaretxsq~Ut edgewidtht1xsq~Ut textcolort0,0,0xsq~Utlabeltxsq~Ut edgestyletldashedxsq~Utbgcolort255,0,0xsq~Ut edgecolort0,0,0xxxq~sq~Psq~Sw ?@sq~Ut edgecolort 120,120,120xsq~Utlabeltxsq~Ut edgewidtht1xsq~Utbgcolort255,0,0xsq~Ut edgeheadshapetCaretxsq~Ut textcolort0,0,0xsq~Ut edgestyletldashedxxxt **SatCtrlcommsq~Psq~Sw @?@$sq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~Utsizetwrapxsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~Utlabelt}[b]SatCtrlcomm[/b][hr][/hr] version: V32.7.06[br][/br] lastupdate: 2023-12-07 13:01[br][/br] potency/Artifacts: 0[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xxxt**(GioveA1_v1->DigitalArtifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxt**(GioveA1=>Satellite)sq~Psq~Sw ?@ sq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xxxt**LegalEntitiessq~Psq~Sw @?@sq~Utalignttopxsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utbgcolort 255,230,230xsq~Utalignttopxsq~Ut nodelevelt-103xsq~Ut nodelevelt-103xsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utalignttopxsq~Ut nodelevelt-103xsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utalignttopxsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utalignttopxsq~Utalignttopxsq~Utalignttopxsq~Utalignttopxsq~Utsizet resizablexsq~Utsizet resizablexsq~Utalignttopxsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utsizet resizablexsq~Utsizet resizablexsq~Ut nodelevelt-103xxxq~sq~Psq~Sw ?@sq~Ut fontstyletboldxsq~Ut textcolort0,0,0xsq~Utbgcolort 255,192,203xsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut linecolort255,0,0xxxt **LegalEntitysq~Psq~Sw @?@$sq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utsizetwrapxsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~Utsizetwrapxsq~Utlabelt>[b]LegalEntity[/b][hr][/hr] potency/LegalEntities: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xxxt**ESPACsq~Psq~Sw @?@$sq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtfonttArialxsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~Utsizetwrapxsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtlabeltV[b]ESPAC[/b][hr][/hr] headquarter: Munich[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xxxq~'sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut linecolort0,0,0xsq~Utshapeti5.cb.graph.shapes.Rectxsq~Utbgcolort 210,210,210xxxt**PeterSsq~Psq~Sw @?@$sq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~UtlabeltX[b]PeterS[/b][hr][/hr] nationality: Austria[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xxxq~+sq~Psq~Sw ?@sq~Ut linecolort0,0,0xsq~Utbgcolort 255,255,255xsq~Ut linewidtht1xsq~Ut textcolort0,0,0xsq~UtshapetRectxsq~Utsizet resizablexxxq~-sq~Psq~Sw ?@sq~Ut edgestyletdashedxsq~Ut textcolort0,0,0xsq~Ut edgeheadcolort 255,255,255xsq~Utbgcolort 0,150,255xsq~Utlabeltxsq~Ut edgecolort0,50,255xsq~Ut edgewidtht1xsq~Ut edgeheadshapetArrowxxxq~/sq~Psq~Sw ?@sq~Ut linecolort0,0,255xsq~Ut fontstyletitalicxsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Utbgcolort255,0,0xsq~Ut textcolort 255,255,255xxxq~1sq~Psq~Sw ?@sq~Ut edgewidtht2xsq~Utbgcolort255,255,255,240xsq~Ut edgestyletdashedxsq~Utfontsizet10xsq~Ut textcolort0,0,0xsq~Ut edgecolort0,0,0xxxq~7sq~Psq~Sw ?@ sq~Ut labellengtht1000xsq~Ut fontstyletitalicxsq~Ut textcolort0,0,0xsq~Utfontsizet11xsq~Utsizetwrapxsq~Ut linewidtht1xsq~Ut linecolort0,0,0xsq~UtshapetRectxsq~Utbgcolort 250,250,250xxxt**(GioveA1->DigitalArtifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~9sq~Psq~Sw ?@sq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Utbgcolort 135,206,235xsq~Ut fontstyletboldxsq~Ut linecolort 65,105,225xsq~Ut textcolort0,0,0xxxq~;sq~Psq~Sw ?@sq~Utlabeltxsq~Ut linecolort 0,205,255xsq~Utbgcolort 0,205,255xsq~Ut edgecolort 0,205,255xsq~Ut textcolort0,0,0xsq~Ut edgewidtht3xsq~Ut edgeheadcolort 255,255,255xxxq~=sq~Psq~Sw ?@sq~Ut edgecolort0,0,0xsq~Ut textcolort0,0,0xsq~Ut edgewidtht2xxxt**(ACME->Institution)sq~Psq~Sw ?@ sq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xxxt **DetumbA1v1sq~Psq~Sw @?@$sq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~Utlabelt[b]DetumbA1v1[/b][hr][/hr] version: V2.01[br][/br] purpose: minimize detumbling time[br][/br] lastupdate: 2023-12-01 9:23[br][/br] potency/Artifacts: 0[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xxxq~Csq~Psq~Sw ?@sq~Ut edgestyletdashedxsq~Utlabeltxsq~Ut textcolort0,0,0xsq~Utbgcolort 0,150,255xsq~Ut linecolort 0,205,255xsq~Ut edgewidtht3xsq~Ut edgecolort 0,205,255xsq~Ut edgeheadcolort 255,255,255xxxq~Esq~Psq~Sw ?@sq~Ut fontstyletboldxsq~Utbgcolort 127,255,212xsq~Ut textcolort0,0,0xsq~Utshapeti5.cb.graph.shapes.Ellipsexsq~Ut linecolort 32,178,170xxxq~Gsq~Psq~Sw ?@sq~Ut edgewidtht2xsq~Utbgcolort0,210,0xsq~Ut edgecolort0,210,0xsq~Ut textcolort0,0,0xsq~Ut linecolort0,210,0xsq~Utlabeltxxxq~Ksq~Psq~Sw ?@sq~Ut edgestyletdashedxsq~Ut edgecolort20,20,20xsq~Ut edgewidtht2xsq~Ut textcolort20,20,20xxxt**DigitalArtifactsq~Psq~Sw @?@$sq~Utsizetwrapxsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabeltu[b]DigitalArtifact[/b][hr][/hr] lastupdate: String[br][/br] version: String[br][/br] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxxxt**(GioveA1_v1->GioveA1)sq~Psq~Sw ?@ sq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xxxq~Msq~Psq~Sw ?@sq~Utlabeltxsq~Ut edgeheadshapetArrowxsq~Utbgcolort255,0,0xsq~Ut textcolort0,0,0xsq~Ut edgewidtht1xsq~Ut edgeheadcolort 255,255,255xsq~Ut edgecolort0,0,0xxxt**(GioveA1->GalileoModel)sq~Psq~Sw ?@ sq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xxxt **Satellitesq~Psq~Sw @?@$sq~UtfonttArialxsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~Utsizetwrapxsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt[b]Satellite[/b][hr][/hr] actualorbit: String[br][/br] actualmass: Integer[br][/br] position: String[br][/br] potency/Satellites: 1[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Ut labellengtht800xxxt **(GioveA1_r1->PhysicalArtifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxt**Personsq~Psq~Sw @?@$sq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtfonttArialxsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~UtlabeltW[b]Person[/b][hr][/hr] nationality: String[br][/br] potency/LegalEntities: 1[br][/br] xxxt **Satellitessq~Psq~Sw @?@sq~Utbgcolort 230,255,230xsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utsizet resizablexsq~Utalignttopxsq~Ut nodelevelt-103xsq~Utalignttopxsq~Utalignttopxsq~Utsizet resizablexsq~Utalignttopxsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utalignttopxsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Ut nodelevelt-103xsq~Utalignttopxsq~Utsizet resizablexsq~Ut nodelevelt-103xsq~Utalignttopxsq~Ut nodelevelt-103xsq~Utalignttopxsq~Ut nodelevelt-103xsq~Utsizet resizablexsq~Utsizet resizablexsq~Utalignttopxxxt **GioveA1_v1sq~Psq~Sw @?@$sq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~UtfonttArialxsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt[b]GioveA1_v1[/b][hr][/hr] lastupdate: 2023-12-07 18:31[br][/br] version: A1-v443.1.771[br][/br] potency/Artifacts: 0[br][/br] actualmass: 4719[br][/br] position: 7.41S-99.65W-421.31[br][/br] actualorbit: O461[br][/br] potency/Satellites: 0[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxxxt **Artifactsq~Psq~Sw @?@$sq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utlabelt7[b]Artifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xxxt **GioveA1_r1sq~Psq~Sw @?@$sq~UtfonttArialxsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~Ut labellengtht800xsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~UtfonttArialxsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt[b]GioveA1_r1[/b][hr][/hr] potency/Artifacts: 0[br][/br] actualmass: 4721[br][/br] position: 29.4N-69.2W-421.31[br][/br] actualorbit: O461a[br][/br] potency/Satellites: 0[br][/br] xsq~Ut labellengtht800xxxq~sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut linecolort0,0,0xsq~Ut fontstyletitalicxsq~Utbgcolort 255,245,245xsq~UtshapetRectxsq~Ut linewidtht1xsq~Utsizet resizablexxxq~sq~Psq~Sw ?@sq~Ut edgewidtht2xsq~Ut linecolort0,180,0xsq~Ut textcolort0,0,0xsq~Utbgcolort0,180,0xsq~Ut edgecolort0,180,0xsq~Utlabeltxsq~Ut edgestyletdashedxxxq~!sq~Psq~Sw ?@sq~Utbgcolort 250,250,250xsq~Utfontsizet11xsq~Ut textcolort0,0,0xsq~Ut linecolort 100,100,100xsq~Ut fontstyletitalicxsq~Ut linewidtht0.3xsq~UtshapetRectxxxq~#sq~Psq~Sw ?@sq~Utbgcolort 0,206,209xsq~Ut linecolort0,0,0xsq~Ut textcolort0,0,0xsq~Utshapeti5.cb.graph.shapes.Rectxxxt **(GalileoModel=>SatelliteModel)sq~Psq~Sw ?@ sq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xxxq~%sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut edgecolort0,0,0xsq~Utfontsizet10xsq~Utbgcolort255,255,255,240xsq~Ut edgewidtht2xxxt!**(SatCtrlcomm->SoftwareArtifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxt%**(SoftwareArtifact=>DigitalArtifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxt**GalileoModelsq~Psq~Sw @?@$sq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utsizetwrapxsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utsizetwrapxsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabeltx[b]GalileoModel[/b][hr][/hr] plannedorbit: String[br][/br] frequency: Integer[br][/br] potency/Satellites: 2[br][/br] xxxt**ACMEsq~Psq~Sw @?@$sq~Ut labellengtht800xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~UtfonttArialxsq~UtlabeltY[b]ACME[/b][hr][/hr] headquarter: Copenhagen[br][/br] potency/LegalEntities: 0[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxxxt**(Person=>LegalEntity)sq~Psq~Sw ?@ sq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xxxt$**(SimulationModel=>DigitalArtifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~)sq~Psq~Sw ?@ sq~Ut fontstyletitalicxsq~Ut linewidtht0.3xsq~Utbgcolort 250,250,250xsq~Ut linecolort 100,100,100xsq~Ut textcolort0,0,0xsq~Utfontsizet11xsq~UtshapetRectxsq~Ut labellengtht1000xsq~Utsizetwrapxxxt**(Institution=>LegalEntity)sq~Psq~Sw ?@ sq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xxxt **GioveA1sq~Psq~Sw @?@$sq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt[b]GioveA1[/b][hr][/hr] potency/Artifacts: 0[br][/br] lastupdate: 2022-03-18 9:37[br][/br] version: A1-v443.1[br][/br] plannedmass: 4820[br][/br] plannedorbit: O461[br][/br] frequency: 1200[br][/br] potency/Satellites: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xxxq~3sq~Psq~Sw ?@sq~Ut edgewidtht1xsq~Utbgcolort0,180,0xsq~Ut textcolort0,0,0xsq~Ut edgestyletdashedxsq~Ut edgeheadshapetCaretxsq~Ut edgecolort0,180,0xsq~Utlabeltxxxt**(PhysicalArtifact=>Artifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~5sq~Psq~Sw ?@sq~Ut edgewidtht1xsq~Ut edgeheadshapetArrowxsq~Ut textcolort0,0,0xsq~Ut edgeheadcolort 255,255,255xsq~Utbgcolort255,0,0xsq~Ut edgecolort 120,120,120xsq~Utlabeltxxxt **Institutionsq~Psq~Sw @?@$sq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtfonttArialxsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt\[b]Institution[/b][hr][/hr] headquarter: String[br][/br] potency/LegalEntities: 1[br][/br] xsq~UtfonttArialxxxt**(GioveA1_r1->GioveA1)sq~Psq~Sw ?@ sq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xsq~Ut edgecolort 20,130,20xxxt**(DigitalArtifact=>Artifact)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxq~?sq~Psq~Sw ?@sq~Ut textcolort0,0,0xsq~Ut edgewidtht2xsq~Ut edgecolort0,0,0xxxq~Asq~Psq~Sw ?@sq~Utlabeltxsq~Utbgcolort 0,150,255xsq~Ut edgewidtht2xsq~Ut edgeheadshapetArrowxsq~Ut edgeheadcolort 255,255,255xsq~Ut textcolort0,0,0xsq~Ut edgecolort0,50,255xxxq~Isq~Psq~Sw ?@sq~Utsizet resizablexsq~Ut linecolort0,0,0xsq~Utbgcolort 250,250,250xsq~Ut textcolort0,0,0xsq~UtshapetRectxsq~Ut linewidtht1xxxt**(DetumbA1v1->SimulationModel)sq~Psq~Sw ?@ sq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xsq~Ut edgecolort0,0,210xxxt**(ESPAC->Institution)sq~Psq~Sw ?@ sq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xsq~Ut edgecolort 130,20,20xxxt**PhysicalArtifactsq~Psq~Sw @?@$sq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~UtfonttArialxsq~Utsizetwrapxsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Ut labellengtht800xsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Utlabelt?[b]PhysicalArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xxxt**SoftwareArtifactsq~Psq~Sw @?@$sq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~Utsizetwrapxsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~UtfonttArialxsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utsizetwrapxsq~Utsizetwrapxsq~Utsizetwrapxsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~Ut labellengtht800xsq~UtfonttArialxsq~Utsizetwrapxsq~Ut labellengtht800xsq~Utlabelt?[b]SoftwareArtifact[/b][hr][/hr] potency/Artifacts: 1[br][/br] xsq~UtfonttArialxsq~Ut labellengtht800xsq~UtfonttArialxsq~UtfonttArialxsq~Utsizetwrapxxxxsr i5.cb.telos.object.Instantiationwݗ׿xri5.cb.telos.object.TelosLink::̴g2Z bImplicitL destinationt Li5/cb/telos/object/TelosObject;Lsourceq~#xri5.cb.telos.object.TelosObjectC,1xpsri5.cb.telos.object.IndividualA5 AILsLabelq~Vxq~$tDigitalArtifactsq~&tGioveA1t INSTOF_MDP_GTsrjava.awt.RectangleðjjtIheightIwidthIxIyxpsr!i5.cb.telos.object.SpecializationundZxq~"sq~&tArtifactsq~&tPhysicalArtifactt ISA_MDP_GTsq~,sq~.sq~&t LegalEntitysq~&tPersont ISA_MDP_GTsq~,q~7tINDIVIDUAL_TP_GTsq~,4?Osq~.q~7sq~&t Institutiont ISA_MDP_GTsq~,Usq~&t DetumbA1v1tINDIVIDUAL_TP_GTsq~,eXzsq~!sq~&tSimulationModelq~Dt INSTOF_MDP_GTsq~,jsq~.q~0q~'t ISA_MDP_GTsq~,lsq~.q~'q~It ISA_MDP_GTsq~,sq~.q~'sq~&tSoftwareArtifactt ISA_MDP_GTsq~,>sq~!q~)sq~&t GioveA1_r1t INSTOF_MDP_GTsq~,9[sq~&tACMEtINDIVIDUAL_TP_GTsq~,Asq~!q~@q~]t INSTOF_MDP_GTsq~,&q~TtINDIVIDUAL_TP_GTsq~,7Jsq~&t SatCtrlcommtINDIVIDUAL_TP_GTsq~,Q;psq~!q~Tq~ft INSTOF_MDP_GTsq~,^q~9tINDIVIDUAL_TP_GTsq~,=sq~!q~9sq~&tPeterSt INSTOF_MDP_GTsq~,"q~'tINDIVIDUAL_TP_GTsq~,Usq~!q~'sq~&t GioveA1_v1t INSTOF_MDP_GTsq~,Zsq~!sq~&t GalileoModelq~)t INSTOF_MDP_GTsq~,nq~ItINDIVIDUAL_TP_GTsq~,?q~@tINDIVIDUAL_TP_GTsq~,Bsq~&tESPACtINDIVIDUAL_TP_GTsq~,@Ssq~!q~@q~t INSTOF_MDP_GTsq~,q~0tINDIVIDUAL_TP_GTsq~,3dBsq~&tSatelliteModeltINDIVIDUAL_TP_GTsq~,EE.q~|tINDIVIDUAL_TP_GTsq~,WFsq~.q~q~|t ISA_MDP_GTsq~,q~wtINDIVIDUAL_TP_GTsq~,Dsq~!q~)q~wt INSTOF_MDP_GTsq~,Rsq~&t SatellitetINDIVIDUAL_TP_GTsq~,fq~)tINDIVIDUAL_TP_GTsq~,sq~.q~q~)t ISA_MDP_GTsq~,q~2tINDIVIDUAL_TP_GTsq~,4|q~YtINDIVIDUAL_TP_GTsq~,Csq~!q~2q~Yt INSTOF_MDP_GTsq~,q~ptINDIVIDUAL_TP_GTsq~,Bsq~&t LegalEntitiestINDIVIDUAL_TP_GTsq~,5>1sq~&t SatellitestINDIVIDUAL_TP_GTsq~,B($sq~&t ArtifactstINDIVIDUAL_TP_GTsq~,?$sq~t32t0t18t34t1t25t16t2t3t22t4q~t5t6t21q~t7q~q~t8q~t13t9q~t35t10q~t11t12q~t14t15q~t37t17q~t29t19q~q~t20t27t23t24q~q~t28t26q~t30q~q~t33t31q~t36q~srjava.awt.Color3uFfalphaIvalueLcstLjava/awt/color/ColorSpace;[ frgbvaluet[F[fvalueq~xppppsrjava.lang.Floatɢ<Fvaluexq~?t localhostt4001t(System-oHome-MultiDim-SatelliteArtifactst*MultiDimPalettetMultiDimPalettesq~ur[Ljava.lang.String;V{Gxptt+rwt!oHome-MultiDim-SatelliteArtifactstR{ * Module: System-oHome * --------------------------------------------------------- * Listed for: jeusfeld@gluon_amd64_Linux at 2025-04-25,06:55:12.613 (UTC) * CBserver version: 8.5.06 (2025-04-24) * } { 2025-03-05,15:29:25.903 } jeusfeld in CB_User end {---} { 2025-04-25,06:44:19.975 } Proposition in Proposition with attribute revsingle : Proposition; revnecessary : Proposition end AdditionalConstraints in Class with constraint singleConstraintV : $ forall c,d/Proposition p/Proposition!single x,m/VAR P(p,c,m,d) and (x in c) ==> (forall y1,y2/VAR (x m y1) and (x m y2) ==> (y1=y2)) $; necConstraint : $ forall c,d/Proposition p/Proposition!necessary x,m/VAR P(p,c,m,d) and (x in c) ==> exists y/VAR (y in d) and (x m y) $; revsingleConstraint : $ forall c,d/Proposition p/Proposition!revsingle y,m/VAR P(p,c,m,d) and (y in d) ==> ( forall x1,x2/VAR (x1 in c) and (x2 in c) and (x1 m y) and (x2 m y) ==> (x1=x2) ) $; revnecConstraint : $ forall c,d/Proposition p/Proposition!necessary y,m/VAR P(p,c,m,d) and (y in d) ==> exists x/VAR (x in c) and (x m y) $ end AdditionalConstraints!singleConstraintV with comment hint : "The attribute/relation {m} of {c} is single-valued (right-unique). Any instance of {c} may have at most one attribute of category {m}!" end AdditionalConstraints!necConstraint with comment hint : "The attribute/relation {m} of {c} is defined necessary (left-total). Any instance of {c} must have at least one instance of {d} for the attribute {m}!" end AdditionalConstraints!revsingleConstraint with comment hint : "The attribute/relation {m} of {c} is reverse single-valued (left-unique). Any instance of {d} may have at most one instance of {c} connected to it via an attribute of category {m}!" end AdditionalConstraints!revnecConstraint with comment hint : "The attribute/relation {m} of {c} is defined reverse necessary (right-total). Any instance of {d} must have at least one instance of {c} for the attribute {m}!" end Proposition in Proposition with attribute injective : Proposition; surjective : Proposition; reflexive : Proposition; transitive : Proposition; symmetric : Proposition; antisymmetric : Proposition; asymmetric : Proposition; total : Proposition; inv_injective : Proposition; makeTransitive : Proposition; makeReflexive : Proposition; makeSymmetric : Proposition end RelationSemantics in Class with constraint inj_IC : $ forall AC/Proposition!injective a,b,x/Proposition (a in AC) and (b in AC) and From(a,x) and From(b,x) ==> (a = b) $; surj_IC : $ forall AC/Proposition!surjective C,D/Proposition M/VAR y/Proposition P(AC,C,M,D) and (y in D) ==> exists a/Proposition (a in AC) and To(a,y) $; refl_IC : $ forall AC/Proposition!reflexive C,D/Proposition x,M/VAR P(AC,C,M,D) and (x in C) ==> (x M x) $; trans_IC : $ forall AC/Proposition!transitive C/Proposition x,y,z/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (z in C) and (x M y) and (y M z) ==> (x M z) $; symm_IC : $ forall AC/Proposition!symmetric C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (x M y) ==> (y M x) $; asym_IC : $ forall AC/Proposition!asymmetric C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (x M y) ==> not (y M x) $; antis_IC : $ forall AC/Proposition!antisymmetric C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) and (x M y) and (y M x) ==> (x = y) $; total_IC : $ forall AC/Proposition!total C/Proposition x,y/VAR M/VAR P(AC,C,M,C) and (x in C) and (y in C) ==> ((x M y) or (y M x)) $; invinj_IC : $ forall AC/Proposition!inv_injective a,b,x/Proposition (a in AC) and (b in AC) and To(a,x) and To(b,x) ==> (a = b) $ end RelationSemantics!surj_IC with comment hint : "The relation {M} of {C} is surjective. Each instance of {D} must be the target of at least one attribute {M}." end RelationSemantics!refl_IC with comment hint : "The relation {M} of {C} is reflexive. Any object of class {C} must be linked to itself via the {M} relation." end RelationSemantics!trans_IC with comment hint : "The relation {M} of {C} is transitive. The facts (x {M} y) and (y {M} z) must imply that (x {M} z) holds." end RelationSemantics!symm_IC with comment hint : "The relation {M} of {C} must be symmetric, i.e. (x {M} y) implies (y {M} x)." end RelationSemantics in Class with rule trans_R : $ forall x,y,z,M/VAR AC/Proposition!makeTransitive C/Proposition P(AC,C,M,C) and (x in C) and (y in C) and (z in C) and (x M y) and (y M z) ==> (x M z) $; refl_R : $ forall x,M/VAR AC/Proposition!makeReflexive C/Proposition P(AC,C,M,C) and (x in C) ==> (x M x) $; symm_R : $ forall x,y,M/VAR AC/Proposition!makeSymmetric C/Proposition P(AC,C,M,C) and (x in C) and (y in C) and (x M y) ==> (y M x) $ end {---} { 2025-04-25,06:44:20.584 } MultiDim in Module end {---} { 2025-04-25,06:55:08.378 } VENOEN in CB_User end { -/- } tH { * Module: System-oHome-MultiDim * --------------------------------------------------------- * Listed for: jeusfeld@gluon_amd64_Linux at 2025-04-25,06:55:12.666 (UTC) * CBserver version: 8.5.06 (2025-04-24) * * -author: Manfred Jeusfeld,Thomas Kuehne * -created: 2023-03-01 * -license: Creative Commons Attribution-NonCommercial International 4.0 (CC BY-NC 4.0) } { 2025-04-25,06:44:23.956 } Dimension with attribute dimcolor : String end (Proposition->Proposition) with single dimension : Dimension end (Proposition=>Proposition) with single dimension : Dimension end Element with attribute memberOf : Dimension; potency : Integer end InstanceOfWithDim in QueryClass,MSFOLrule isA (Proposition->Proposition) with constraint tc1 : $ exists dim/Dimension (this dimension dim) $ end IsAWithDim in QueryClass,MSFOLrule isA (Proposition=>Proposition) with constraint tc2 : $ exists dim/Dimension (this dimension dim) $ end Proposition in Class end {---} { 2025-04-25,06:44:24.224 } INSTOFDEDUCED_MDP_GT in Class,JavaGraphicalType with implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 7 property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "120,120,120"; edgewidth : "1"; edgeheadshape : "Caret"; edgestyle : "ldashed"; label : "" end INSTOF_MDP_GT in Class,JavaGraphicalType with implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 6 rule gtrule : $ forall a/InstanceOf (a graphtype INSTOF_MDP_GT) $ property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "0,0,0"; edgewidth : "1"; edgeheadshape : "Caret"; edgestyle : "ldashed"; label : "" end ISA_MDP_GT in Class,JavaGraphicalType with property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "0,0,0"; edgeheadcolor : "255,255,255"; edgeheadshape : "Arrow"; edgewidth : "1"; label : "" implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 8 rule gtrule : $ forall a/IsA (a graphtype ISA_MDP_GT) $ end ISADEDUCED_GT in Class,JavaGraphicalType with property bgcolor : "255,0,0"; textcolor : "0,0,0"; edgecolor : "120,120,120"; edgewidth : "1"; label : ""; edgeheadcolor : "255,255,255"; edgeheadshape : "Arrow" implementedBy implBy : "i5.cb.graph.cbeditor.CBLink" priority p : 8 end MultiDimPalette in Class,JavaGraphicalPalette isA TelosPalette with contains,implicitInstanceOf mdp1 : INSTOFDEDUCED_MDP_GT contains mdp2 : INSTOF_MDP_GT; mdp3 : ISA_MDP_GT contains,implicitIsA mdp4 : ISADEDUCED_GT rule colorrule1 : $ forall inst/InstanceOf dim/Dimension col/String (inst dimension dim) and (dim dimcolor col) ==> (inst gproperty/edgecolor col) $; colorrule2 : $ forall spec/IsA dim/Dimension col/String (spec dimension dim) and (dim dimcolor col) ==> (spec gproperty/edgecolor col) $; dimrule1 : $ forall dim/Dimension pal/JavaGraphicalPalette (valueOf(currentPalette) = pal) and (pal isA MultiDimPalette) ==> (dim gproperty/nodelevel "-103") $; dimrule2 : $ forall dim/Dimension (dim gproperty/size "resizable") $; dimrule3 : $ forall dim/Dimension (dim gproperty/align "top") $ end DataType end Value end Integer in DataType isA Value end String in DataType isA Value end Real in DataType isA Value end Boolean in DataType isA Value end ValueOrDataType in QueryClass isA Individual with constraint c1d : $ (this in Value) or (this in DataType) $ end ProperElement in QueryClass,MSFOLrule isA Element with constraint c1a : $ not (this in QueryClass) and not (this in MSFOLassertion) and exists a/Attribute y/ValueOrDataType From(a,this) and To(a,y) $ end ElementAttribute in QueryClass,MSFOLrule isA Proposition!attribute with constraint c2a : $ exists o/Element t/DataType From(this,o) and To(this,t) $ end ElementWithAttributes in GenericQueryClass isA ProperElement with parameter,computed_attribute class : ProperElement computed_attribute attrs : Proposition!attribute constraint c3 : $ exists n/Label b/ValueOrDataType Pa(~attrs,this,n,b) and (this = ~class) $ end {---} { 2025-04-25,06:44:24.975 } ElementFormat in AnswerFormat with forQuery q : ElementWithAttributes order o : ascending orderBy ob : "this" pattern p : "[b]{UQ({this})}[/b][hr][/hr]{Foreach( ({this.attrs}),(p), {LabelAC({p})}: {UQ({To({p})})}[br][/br] )}" end LabelRules in Class with rule lr1 : $ forall x/ProperElement lab/Label (lab = resultOf(ElementWithAttributes,x,ElementFormat)) ==> (x gproperty/label lab) $; lr2 : $ forall x/ProperElement lab/Label (x gproperty/size "wrap") $; lr3 : $ forall x/ProperElement lab/Label (x gproperty/labellength 800) $; lr4 : $ forall x/ProperElement (x gproperty/font "Arial") $ end {---} { 2025-04-25,06:44:25.207 } Element with attribute directInstanceOf : Element; instanceOf_trans : Element; instanceOf : Element; directSpecializationOf : Element; specializationOf_trans : Element; directInIsa : Element; inIsa_trans : Element; orderProgenyOf : Element; orderProgenyOf_trans : Element; specConnected : Element; orderNotInconsistent : Element end MultiDimRules in Class with rule mdrule1 : $ forall inst/InstanceOf x/Element dim/Dimension (inst dimension dim) and (From(inst,x) or To(inst,x)) ==> (x memberOf dim) $; mdrule2 : $ forall spec/IsA x/Element dim/Dimension (spec dimension dim) and (From(spec,x) or To(spec,x)) ==> (x memberOf dim) $; mdrule7 : $ forall inst/InstanceOfWithDim x,c/Element lab/Label dim/Dimension (inst dimension dim) and Label(dim,lab) and From(inst,x) and To(inst,c) ==> (x directInstanceOf/lab c) $; mdrule8 : $ forall spec/IsAWithDim c,d/Element lab/Label dim/Dimension (spec dimension dim) and Label(dim,lab) and From(spec,c) and To(spec,d) ==> (c directSpecializationOf/lab d) $; mdrule9 : $ forall x,y/Element lab/Label (x directInstanceOf/lab y) ==> (x instanceOf_trans/lab y) $; mdrule10 : $ forall x,y,z/Element lab/Label (x directInstanceOf/lab z) and (z instanceOf_trans/lab y) ==> (x instanceOf_trans/lab y) $; mdrule15 : $ forall x,y/Element lab/Label (x directSpecializationOf/lab y) ==> (x specializationOf_trans/lab y) $; mdrule16 : $ forall x,y,z/Element lab/Label (x directSpecializationOf/lab z) and (z specializationOf_trans/lab y) ==> (x specializationOf_trans/lab y) $; mdrule13 : $ forall x,c/Element lab/Label (x directInstanceOf/lab c) ==> (x instanceOf/lab c) $; mdrule14 : $ forall x,c,d/Element lab/Label (x directInstanceOf/lab c) and (c specializationOf_trans/lab d) ==> (x instanceOf/lab d) $; mdrule3 : $ forall inst/InstanceOfWithDim x,c/Element lab/Label (x directInstanceOf/lab c) ==> (x directInIsa/lab c) $; mdrule4 : $ forall spec/IsAWithDim c,d/Element lab/Label (c directSpecializationOf/lab d) ==> (c directInIsa/lab d) $; mdrule5 : $ forall x,y/Element lab/Label (x directInIsa/lab y) ==> (x inIsa_trans/lab y) $; mdrule6 : $ forall x,y,z/Element lab/Label (x directInIsa/lab z) and (z inIsa_trans/lab y) ==> (x inIsa_trans/lab y) $; mdrule17 : $ forall x,y/Element lab/Label ((x directSpecializationOf/lab y) or (y directSpecializationOf/lab x)) ==> (x specConnected/lab y) $; mdrule18 : $ forall x,y,z/Element lab/Label (((x directSpecializationOf/lab z) or (z directSpecializationOf/lab x)) and (z specConnected/lab y)) ==> (x specConnected/lab y) $; mdrule23 : $ forall x,c/Element lab/Label (x directInstanceOf/lab c) ==> (x orderProgenyOf/lab c) $; mdrule24 : $ forall x,y,c/Element lab/Label (x specConnected/lab y) and (y directInstanceOf/lab c) ==> (x orderProgenyOf/lab c) $; mdrule25 : $ forall x,y,c/Element lab/Label (x directInstanceOf/lab y) and (y specConnected/lab c) ==> (x orderProgenyOf/lab c) $; mdrule26 : $ forall x,y,z,c/Element lab/Label (x specConnected/lab y) and (y directInstanceOf/lab z) and (z specConnected/lab c) ==> (x orderProgenyOf/lab c) $; mdrule27 : $ forall x,y/Element lab/Label (x orderProgenyOf/lab y) ==> (x orderProgenyOf_trans/lab y) $; mdrule28 : $ forall x,y,z/Element lab/Label (x orderProgenyOf/lab z) and (z orderProgenyOf_trans/lab y) ==> (x orderProgenyOf_trans/lab y) $; mdrule21 : $ forall x,y/Element lab/Label (x = y) ==> (x orderNotInconsistent/lab y) $; mdrule22 : $ forall x,y/Element lab/Label ((not ((x orderProgenyOf_trans/lab y) or (y orderProgenyOf_trans/lab x))) and ((exists c/Element (x orderProgenyOf_trans/lab c) and (y orderProgenyOf_trans c)) ==> (forall x1,y1/Element (x orderProgenyOf/lab x1) and (y orderProgenyOf/lab y1) ==> (x1 orderNotInconsistent/lab y1)))) ==> (x orderNotInconsistent/lab y) $ end DimensionWithMembers in QueryClass isA Dimension with computed_attribute memb : Element constraint memconstr : $ (~memb memberOf ~this) $ end DimensionLabel in QueryClass,MSFOLrule isA Label with constraint islab : $ exists dim/Dimension Label(dim,this) $ end TopInDimension in GenericQueryClass isA Element with parameter,computed_attribute dim : Dimension constraint isTop : $ (this memberOf ~dim) and ( not exists inst/InstanceOfWithDim From(inst,this) and (inst dimension ~dim) ) and {* ( not exists spec/IsAWithDim From(spec,this) and (spec dimension ~dim) ) and *} ( exists c/Element lab/Label Label(dim,lab) and ( (c instanceOf/lab this) or (exists d/Element ((d instanceOf/lab c) and (c specializationOf_trans/lab this))) ) ) $ end TopElement in QueryClass isA Element with constraint isTop : $ ( not exists inst/InstanceOfWithDim From(inst,this) ) and ( not exists spec/IsAWithDim From(spec,this) ) $ end BottomElement in QueryClass isA Element with constraint isBottom : $ (not exists inst/InstanceOfWithDim To(inst,this)) and (not exists spec/IsAWithDim To(spec,this)) $ end {---} { 2025-04-25,06:44:25.864 } MultiDim in Module with comment author : "Manfred Jeusfeld,Thomas Kuehne"; created : "2023-03-01"; license : "Creative Commons Attribution-NonCommercial International 4.0 (CC BY-NC 4.0)" end SampleModel in Module end {---} { 2025-04-25,06:44:26.717 } Cb1_PotencyNotDimension in QueryClass isA Element with constraint potNotDim : $ exists lab/Label n/Integer (this potency/lab n) and not exists dim/Dimension Label(dim,lab) $ end C0a_PotencyNotDecreasingInstanceOf in QueryClass isA Element with computed_attribute c : Element; px : Integer; pc : Integer constraint potencyerror1 : $ exists lab/Label (this directInstanceOf/lab c) and (c potency/lab pc) and (this potency/lab px) and ((px >= pc) or (pc = 0)) $ end C0b_PotencyNotDecreasingSpecialization in QueryClass isA Element with computed_attribute d : Element; pc : Integer; pd : Integer constraint potencyerror2 : $ exists lab/Label (this directSpecializationOf/lab d) and (this potency/lab pc) and (d potency/lab pd) and (pd > pc) $ end C1_AmbiguousFeatures in QueryClass isA Element with computed_attribute c1 : Element; c2 : Element constraint ambiguous : $ exists t1,t2/DataType a1,a2/ElementAttribute l1,l2,l3/Label ((this instanceOf/l1 c1) or (this isA c1)) and ((this instanceOf/l2 c2) or (this isA c2)) and Pa(a1,c1,l3,t1) and Pa(a2,c2,l3,t2) and (this <> c1) and (this <> c2) and (c1 <> c2) $ end C2a_MultipleNonZeroPotency in QueryClass isA Element with constraint multinonzero : $ exists p1,p2/Integer lab1,lab2/Label (this potency/lab1 p1) and (this potency/lab2 p2) and (lab1 <> lab2) and (p1 > 0) and (p2 > 0) $ end C2b_InstancesInDifferentDimensions in QueryClass isA Element with computed_attribute x1 : Element; x2 : Element constraint diffdim : $ exists lab1,lab2/Label (x1 directInstanceOf/lab1 this) and (x2 directInstanceOf/lab2 this) and (lab1 <> lab2) $ end C2c_MultiDimNonZero in QueryClass isA Element with computed_attribute c : Element; dim : Dimension constraint multidimnonzero : $ exists lab/Label (this directSpecializationOf/lab c) and (this memberOf dim) and not Label(dim,lab) and not (exists p/Integer (this potency/lab p) and (p > 0)) $ end C3a_MultipleClassification_1 in QueryClass isA Element with computed_attribute c1 : Element; c2 : Element constraint multipleClassifiers : $ exists lab/Label (this directInstanceOf/lab c1) and (this directInstanceOf/lab c2) and (c1 <> c2) $ end C3b_MultipleSuperclassesInDim in QueryClass isA Element with computed_attribute c1 : Element; c2 : Element constraint multisuperclass : $ exists lab/Label (this directSpecializationOf/lab c1) and (this directSpecializationOf/lab c2) and (c1 <> c2) $ end C3c_ClusterRoots in QueryClass isA Element with computed_attribute dim : Dimension constraint disjointDim : $ exists x0/Element lab/Label (x0 directInstanceOf/lab this) and Label(dim,lab) and not (exists c/Element (forall x,y/Element (x directInstanceOf/lab y) ==> (x instanceOf_trans/lab c))) $ end C4a_CycleInHierarchy in QueryClass isA Element with constraint hiercycle : $ exists lab/Label (this inIsa_trans/lab this) $ end C4b_InconsistentOrder in QueryClass isA Element with computed_attribute y : Element constraint instanceVsGen : $ exists lab/Label (this specConnected/lab y) and not (this orderNotInconsistent/lab y) $ end C4c_NotLevelRespecting in QueryClass isA Element with computed_attribute c1 : Element constraint notLevelRespecting : $ exists c2/Element lab/Label (this instanceOf/lab c1) and (this instanceOf/lab c2) and not (c1 orderNotInconsistent/lab c2) $ end {---} { 2025-04-25,06:44:27.331 } TestC1n1 in Module end {---} { 2025-04-25,06:44:28.035 } TestC1p1 in Module end {---} { 2025-04-25,06:44:28.679 } TestC1p2 in Module end {---} { 2025-04-25,06:44:29.199 } TestC2n1 in Module end {---} { 2025-04-25,06:44:29.754 } TestC2p1 in Module end {---} { 2025-04-25,06:44:30.431 } TestC3a in Module end {---} { 2025-04-25,06:44:31.039 } TestC3n2 in Module end {---} { 2025-04-25,06:44:31.608 } TestC3n3 in Module end {---} { 2025-04-25,06:44:32.112 } TestC3p1 in Module end {---} { 2025-04-25,06:44:32.627 } TestC4n1 in Module end {---} { 2025-04-25,06:44:33.282 } TestC4n3 in Module end {---} { 2025-04-25,06:44:33.738 } TestC4p1 in Module end {---} { 2025-04-25,06:44:34.246 } TestC5n1 in Module end {---} { 2025-04-25,06:44:35.018 } TestC5p1 in Module end {---} { 2025-04-25,06:44:35.606 } TestUnconnected in Module end {---} { 2025-04-25,06:44:36.227 } TestAC2n1 in Module end {---} { 2025-04-25,06:44:36.683 } TestAC2p1 in Module end {---} { 2025-04-25,06:44:37.159 } TestAC3n1 in Module end {---} { 2025-04-25,06:44:37.808 } TestAC3p1 in Module end {---} { 2025-04-25,06:44:38.320 } TestAC4n1 in Module end {---} { 2025-04-25,06:44:38.829 } TestAC4p0 in Module end {---} { 2025-04-25,06:44:39.684 } TestAC4p1 in Module end {---} { 2025-04-25,06:44:40.979 } TestDisjointDimensions in Module end {---} { 2025-04-25,06:44:41.631 } TestC3cn1 in Module end {---} { 2025-04-25,06:44:42.279 } Antipattern1 in Module end {---} { 2025-04-25,06:44:42.898 } Antipattern2 in Module end {---} { 2025-04-25,06:44:43.650 } Antipattern2a in Module end {---} { 2025-04-25,06:44:44.204 } Antipattern3 in Module end {---} { 2025-04-25,06:44:44.731 } c3a_neg1 in Module end {---} { 2025-04-25,06:54:54.702 } antipattern1 in Module end {---} { 2025-04-25,06:54:54.808 } antipattern2a in Module end {---} { 2025-04-25,06:54:54.916 } antipattern2 in Module end {---} { 2025-04-25,06:54:55.019 } antipattern3 in Module end {---} { 2025-04-25,06:54:55.126 } antipattern4 in Module end {---} { 2025-04-25,06:54:55.225 } c0a_neg1 in Module end {---} { 2025-04-25,06:54:55.338 } c0a_pos1 in Module end {---} { 2025-04-25,06:54:55.435 } c0b_neg1 in Module end {---} { 2025-04-25,06:54:55.548 } c0b_pos1 in Module end {---} { 2025-04-25,06:54:55.651 } c1_neg1 in Module end {---} { 2025-04-25,06:54:55.766 } c1_neg2 in Module end {---} { 2025-04-25,06:54:55.878 } c1_pos1 in Module end {---} { 2025-04-25,06:54:55.987 } c1_pos2 in Module end {---} { 2025-04-25,06:54:56.092 } c2a_neg1 in Module end {---} { 2025-04-25,06:54:56.202 } c2a_pos1 in Module end {---} { 2025-04-25,06:54:56.326 } c2a_pos2 in Module end {---} { 2025-04-25,06:54:56.425 } c2b_neg1 in Module end {---} { 2025-04-25,06:54:56.536 } c2b_pos in Module end {---} { 2025-04-25,06:54:56.642 } c2c_neg1 in Module end {---} { 2025-04-25,06:54:56.759 } c2c_pos0 in Module end {---} { 2025-04-25,06:54:56.872 } c2c_pos1 in Module end {---} { 2025-04-25,06:54:56.987 } c4a_neg1 in Module end {---} { 2025-04-25,06:54:57.095 } c4b_neg1 in Module end {---} { 2025-04-25,06:54:57.212 } c4c_neg1 in Module end {---} { 2025-04-25,06:54:57.305 } c4c_neg2 in Module end {---} { 2025-04-25,06:54:57.420 } c4c_neg3 in Module end {---} { 2025-04-25,06:54:57.532 } c4c_neg4 in Module end {---} { 2025-04-25,06:54:57.647 } c4c_pos1 in Module end {---} { 2025-04-25,06:54:57.761 } c4c_pos2 in Module end {---} { 2025-04-25,06:54:57.885 } c4c_pos3 in Module end {---} { 2025-04-25,06:54:57.996 } c4c_pos4 in Module end {---} { 2025-04-25,06:54:58.106 } c4c_pos5 in Module end {---} { 2025-04-25,06:54:58.214 } c4_pos1 in Module end {---} { 2025-04-25,06:55:09.491 } SatelliteArtifacts in Module end { -/- } t{ * Module: System-oHome-MultiDim-SatelliteArtifacts * --------------------------------------------------------- * Listed for: jeusfeld@gluon_amd64_Linux at 2025-04-25,06:55:12.835 (UTC) * CBserver version: 8.5.06 (2025-04-24) * } { 2025-04-25,06:55:09.817 } Satellites in Dimension with dimcolor col : "20,130,20" gproperty bgcolor : "230,255,230" end Artifacts in Dimension with dimcolor col : "0,0,210" gproperty bgcolor : "240,240,255" end LegalEntities in Dimension with dimcolor col : "130,20,20" gproperty bgcolor : "255,230,230" end SatelliteModel in Element with potency Satellites : 2 attribute plannedmass : Integer end GalileoModel in Element isA SatelliteModel with potency Satellites : 2 end GalileoModel!Satellites isA SatelliteModel!Satellites end GalileoModel in Element with attribute frequency : Integer; plannedorbit : String end Satellite in Element with potency Satellites : 1 attribute position : String; actualmass : Integer; actualorbit : String end GioveA1 in Element,GalileoModel isA Satellite with potency Satellites : 1 end GioveA1!Satellites isA Satellite!Satellites end DigitalArtifact in Element end GioveA1 in DigitalArtifact with frequency frequency : 1200 plannedorbit plannedorbit : "O461" plannedmass plannedmass : 4820 end GioveA1_r1 in Element,GioveA1 with potency Satellites : 0 actualorbit actualorbit : "O461a" position position : "29.4N-69.2W-421.31" actualmass actualmass : 4721 end GioveA1_v1 in Element,GioveA1 with potency Satellites : 0 actualorbit actualorbit : "O461" position position : "7.41S-99.65W-421.31" actualmass actualmass : 4719 end (GalileoModel=>SatelliteModel) with dimension dim : Satellites end (GioveA1->GalileoModel) with dimension dim : Satellites end (GioveA1=>Satellite) with dimension dim : Satellites end (GioveA1_r1->GioveA1) with dimension dim : Satellites end (GioveA1_v1->GioveA1) with dimension dim : Satellites end LegalEntity in Element with potency LegalEntities : 1 end Institution in Element isA LegalEntity with potency LegalEntities : 1 end Institution!LegalEntities isA LegalEntity!LegalEntities end Institution in Element with attribute headquarter : String end Person in Element isA LegalEntity with potency LegalEntities : 1 end Person!LegalEntities isA LegalEntity!LegalEntities end Person in Element with attribute nationality : String end ESPAC in Element,Institution with potency LegalEntities : 0 headquarter headquarter : "Munich" end ACME in Element,Institution with potency LegalEntities : 0 headquarter headquarter : "Copenhagen" end PeterS in Element,Person with potency LegalEntities : 0 nationality nationality : "Austria" end (Institution=>LegalEntity) with dimension dim : LegalEntities end (Person=>LegalEntity) with dimension dim : LegalEntities end (ESPAC->Institution) with dimension dim : LegalEntities end (ACME->Institution) with dimension dim : LegalEntities end (PeterS->Person) with dimension dim : LegalEntities end Artifact in Element with attribute owner : LegalEntity; depOn : Artifact potency Artifacts : 1 end PhysicalArtifact in Element isA Artifact with potency Artifacts : 1 end PhysicalArtifact!Artifacts isA Artifact!Artifacts end DigitalArtifact in Element isA Artifact with potency Artifacts : 1 end DigitalArtifact!Artifacts isA Artifact!Artifacts end DigitalArtifact in Element with attribute version : String; lastupdate : String end SimulationModel in Element isA DigitalArtifact with potency Artifacts : 1 end SimulationModel!Artifacts isA DigitalArtifact!Artifacts end SimulationModel!Artifacts isA Artifact!Artifacts end SimulationModel in Element with attribute purpose : String end SoftwareArtifact in Element isA DigitalArtifact with potency Artifacts : 1 end SoftwareArtifact!Artifacts isA DigitalArtifact!Artifacts end SoftwareArtifact!Artifacts isA Artifact!Artifacts end SatCtrlcomm in Element,SoftwareArtifact with potency Artifacts : 0 lastupdate lastupdate : "2023-12-07 13:01" version version : "V32.7.06" owner owner : PeterS depOn depOn : DetumbA1v1 end DetumbA1v1 in Element,SimulationModel with potency Artifacts : 0 lastupdate lastupdate : "2023-12-01 9:23" purpose purpose : "minimize detumbling time" version version : "V2.01" depOn depOn : GioveA1_v1 owner owner : PeterS end (PhysicalArtifact=>Artifact) with dimension dim : Artifacts end (DigitalArtifact=>Artifact) with dimension dim : Artifacts end (SimulationModel=>DigitalArtifact) with dimension dim : Artifacts end (SoftwareArtifact=>DigitalArtifact) with dimension dim : Artifacts end (SatCtrlcomm->SoftwareArtifact) with dimension dim : Artifacts end (DetumbA1v1->SimulationModel) with dimension dim : Artifacts end Satellite in Element with attribute embedded : SoftwareArtifact end GioveA1_r1 in PhysicalArtifact with owner owner : ESPAC embedded embedded : SatCtrlcomm potency Artifacts : 0 end GioveA1_v1 in DigitalArtifact with owner owner : ESPAC embedded embedded : SatCtrlcomm potency Artifacts : 0 version version : "A1-v443.1.771" lastupdate lastupdate : "2023-12-07 18:31" end GioveA1 in Element,GalileoModel,DigitalArtifact with owner owner : ACME version version : "A1-v443.1" lastupdate lastupdate : "2022-03-18 9:37" potency Artifacts : 0 end (GioveA1_r1->PhysicalArtifact) with dimension dim : Artifacts end (GioveA1_v1->DigitalArtifact) with dimension dim : Artifacts end (GioveA1->DigitalArtifact) with dimension dim : Artifacts end { -/- }