diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index 339fa6de8..0e9033290 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -33,9 +33,9 @@ It has long been unused by Sirius Web itself (since the transition to MUI). - https://github.com/eclipse-syson/syson/issues/2289[#2289] [details] Fix expression support for `TransitionUsage`. - https://github.com/eclipse-syson/syson/issues/1808[#1808] [diagrams] Remove multiplicity displayed on feature membership edge between Part Definition and Part Usage. - https://github.com/eclipse-syson/syson/issues/2194[#2194] [diagrams] Properly report feedback messages to user when using _ISysMLMoveElementService_. +- https://github.com/eclipse-syson/syson/issues/2306[#2306] [diagrams] Fixed an error when trying to rename a constraint displayed as a list item through direct edit. === Improvements - - https://github.com/eclipse-syson/syson/issues/2198[#2198] [diagrams] Improve diagram-to-diagram drag and drop to support dropping multiple graphical nodes at once, leveraging Sirius Web's `droppedNodes` and `droppedElements` variables. - https://github.com/eclipse-syson/syson/issues/2182[#2182] [services] Provide a way for downstream applications to extend _ISysMLMoveElementService_. - https://github.com/eclipse-syson/syson/issues/2240[#2240] [diagrams] Update the choice of _timeslice_ and _snapshot_ elements that can be created in the selection dialog of tools creating _timeslice_ and _snapshot_ elements. diff --git a/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controller/explorer/view/SysONExplorerTests.java b/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controller/explorer/view/SysONExplorerTests.java index 6247ac35d..8b6d5c917 100644 --- a/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controller/explorer/view/SysONExplorerTests.java +++ b/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controller/explorer/view/SysONExplorerTests.java @@ -898,7 +898,7 @@ public void sysONExplorerHidesExpressionInternalsByDefault() { var packageItem = documentItem.getChildren().get(0); assertThat(packageItem.getLabel().toString()).isEqualTo("Expressions"); - assertThat(packageItem.getChildren()).hasSize(6); + assertThat(packageItem.getChildren()).hasSize(7); var tankItem = this.getChildByLabel(packageItem, "Tank"); assertThat(tankItem).isPresent(); @@ -952,7 +952,7 @@ public void sysONExplorerExpressionInternalsCanBeRevealed() { var packageItem = documentItem.getChildren().get(0); assertThat(packageItem.getLabel().toString()).isEqualTo("Expressions"); - assertThat(packageItem.getChildren()).hasSize(6); + assertThat(packageItem.getChildren()).hasSize(7); var tankItem = this.getChildByLabel(packageItem, "Tank"); assertThat(tankItem).isPresent(); diff --git a/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controllers/expressions/ExpressionsControllersIntegrationTests.java b/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controllers/expressions/ExpressionsControllersIntegrationTests.java index e83775f77..3446b4c65 100644 --- a/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controllers/expressions/ExpressionsControllersIntegrationTests.java +++ b/backend/application/syson-application/src/test/java/org/eclipse/syson/application/controllers/expressions/ExpressionsControllersIntegrationTests.java @@ -28,6 +28,8 @@ import java.util.function.Consumer; import java.util.function.Supplier; +import org.eclipse.sirius.components.collaborative.diagrams.dto.EditLabelInput; +import org.eclipse.sirius.components.collaborative.diagrams.dto.EditLabelSuccessPayload; import org.eclipse.sirius.components.collaborative.dto.CreateRepresentationInput; import org.eclipse.sirius.components.core.api.ErrorPayload; import org.eclipse.sirius.components.core.api.IEditingContext; @@ -37,6 +39,9 @@ import org.eclipse.sirius.components.core.api.IPayload; import org.eclipse.sirius.components.core.api.SuccessPayload; import org.eclipse.sirius.components.diagrams.Diagram; +import org.eclipse.sirius.components.diagrams.tests.graphql.EditLabelMutationRunner; +import org.eclipse.sirius.components.diagrams.tests.graphql.InitialDirectEditElementLabelQueryRunner; +import org.eclipse.sirius.components.diagrams.tests.navigation.DiagramNavigator; import org.eclipse.sirius.components.graphql.tests.ExecuteEditingContextFunctionInput; import org.eclipse.sirius.components.graphql.tests.ExecuteEditingContextFunctionSuccessPayload; import org.eclipse.sirius.components.graphql.tests.api.IExecuteEditingContextFunctionRunner; @@ -48,6 +53,7 @@ import org.eclipse.syson.AbstractIntegrationTests; import org.eclipse.syson.GivenSysONServer; import org.eclipse.syson.application.controllers.diagrams.checkers.CheckDiagramElementCount; +import org.eclipse.syson.application.controllers.diagrams.testers.DirectEditInitialLabelTester; import org.eclipse.syson.application.controllers.diagrams.testers.DropFromExplorerTester; import org.eclipse.syson.application.controllers.expressions.graphql.CreateExpressionMutationRunner; import org.eclipse.syson.application.controllers.expressions.graphql.DeleteExpressionMutationRunner; @@ -67,6 +73,7 @@ import org.eclipse.syson.sysml.dto.CreateExpressionSuccessPayload; import org.eclipse.syson.sysml.dto.EditExpressionInput; import org.eclipse.syson.sysml.dto.EditExpressionSuccessPayload; +import org.eclipse.syson.sysml.metamodel.helper.LabelConstants; import org.eclipse.syson.sysml.metamodel.services.MetamodelQueryElementService; import org.eclipse.syson.tree.explorer.view.SysONTreeViewDescriptionProvider; import org.eclipse.syson.util.SysONRepresentationDescriptionIdentifiers; @@ -135,15 +142,24 @@ public class ExpressionsControllersIntegrationTests extends AbstractIntegrationT @Autowired private DiagramComparator diagramComparator; + @Autowired + private InitialDirectEditElementLabelQueryRunner initialDirectEditElementLabelQueryRunner; + + @Autowired + private EditLabelMutationRunner editLabelMutationRunner; + private String sysONExplorerTreeDescriptionId; private MetamodelQueryElementService metamodelQueryElementService; + private DirectEditInitialLabelTester directEditInitialLabelTester; + @BeforeEach public void beforeEach() { this.sysONExplorerTreeDescriptionId = this.sysonTreeViewDescriptionProvider.getDescriptionId(); this.givenInitialServerState.initialize(); this.metamodelQueryElementService = new MetamodelQueryElementService(); + this.directEditInitialLabelTester = new DirectEditInitialLabelTester(this.initialDirectEditElementLabelQueryRunner, ExpressionSamplesProjectData.EDITING_CONTEXT_ID); } @DisplayName("GIVEN a SysML attribute which does not have an initial or default value, WHEN creating a new expression on it THEN the new expression is created with proper name resolution") @@ -613,8 +629,7 @@ private Flux givenSubscriptionToNewDiagram() { return this.givenCreatedDiagramSubscription.createAndSubscribe(input).flux(); } - - @DisplayName("GIVEN a SysML model with expressions, WHEN dropping a contraint with an associated expression on an empty diagram, THEN the node showing the constraint includes the text of the exression in its label") + @DisplayName("GIVEN a SysML model with expressions, WHEN dropping a constraint with an associated expression on an empty diagram, THEN the node showing the constraint includes the text of the exression in its label") @GivenSysONServer({ ExpressionSamplesProjectData.SCRIPT_PATH }) @Test public void topLevelConstraintNodeLabelIncludesExpressionInLabel() { @@ -625,8 +640,6 @@ public void topLevelConstraintNodeLabelIncludesExpressionInLabel() { Runnable dropFromExplorerRunnable = () -> { assertThat(diagram.get().getNodes()).hasSize(0); - var background = diagram.get().getStyle().getBackground(); - assertThat(background).isNotEqualTo("white"); this.dropFromExplorerTester.dropFromExplorerOnDiagram(ExpressionSamplesProjectData.EDITING_CONTEXT_ID, diagram, ExpressionSamplesProjectData.SemanticIds.TANK_PRESSURE_LIMIT_CONSTRAINT_ID); }; @@ -647,7 +660,86 @@ public void topLevelConstraintNodeLabelIncludesExpressionInLabel() { .consumeNextWith(updatedDiagramConsumer) .thenCancel() .verify(Duration.ofSeconds(10)); + } + + @DisplayName("GIVEN a SysML model an assumed constraint visible as a list item in a requirement node, WHEN using direct-edit on the constraint, THEN only its name is shown in the initial text and impacted by the edition") + @GivenSysONServer({ ExpressionSamplesProjectData.SCRIPT_PATH }) + @Test + public void directEditNamedAssumedConstraintListItem() { + String initialConstraintName = "environmentalPrecondition"; + String constraintExpression = "s.enabled == true & s.samplingRate > 0.0"; + String newConstraintName = "newConstraintName"; + + var flux = this.givenSubscriptionToNewDiagram(); + + AtomicReference diagram = new AtomicReference<>(); + Consumer initialDiagramContentConsumer = assertRefreshedDiagramThat(diagram::set); + AtomicReference constraintNodeId = new AtomicReference<>(); + AtomicReference constraintNodeLabelId = new AtomicReference<>(); + + Runnable dropFromExplorerRunnable = () -> { + assertThat(diagram.get().getNodes()).hasSize(0); + this.dropFromExplorerTester.dropFromExplorerOnDiagram(ExpressionSamplesProjectData.EDITING_CONTEXT_ID, diagram, ExpressionSamplesProjectData.SemanticIds.SENSOR_OPERABILITY_REQUIREMENT_ID); + }; + + Consumer updatedDiagramConsumer = assertRefreshedDiagramThat(newDiagram -> { + new CheckDiagramElementCount(this.diagramComparator) + .hasNewEdgeCount(0) + .hasNewNodeCount(15) + .check(diagram.get(), newDiagram); + + String nodeLabel = newDiagram.getNodes().get(0).getInsideLabel().getText(); + assertThat(nodeLabel).isEqualTo(this.quoted("requirement def") + "\nSensorOperability"); + + var constraintNode = new DiagramNavigator(newDiagram).nodeWithTargetObjectId(ExpressionSamplesProjectData.SemanticIds.SENSOR_OPERABILITY_ENVIRONMENTAL_PRECONDITION_ASSUMED_CONSTRAINT_ID) + .getNode(); + assertThat(constraintNode).isNotNull(); + assertThat(constraintNode.getInsideLabel().getText()).isEqualTo(initialConstraintName + " { " + constraintExpression + " }"); + constraintNodeId.set(constraintNode.getId()); + constraintNodeLabelId.set(constraintNode.getInsideLabel().getId()); + }); + + var checkDirectEditInitialTextShowsNameOnly = this.directEditInitialLabelTester.checkDirectEditInitialLabel(diagram, constraintNodeLabelId::get, + initialConstraintName); + + Runnable editConstraintName = () -> { + String labelId = constraintNodeLabelId.get(); + EditLabelInput input = new EditLabelInput(UUID.randomUUID(), ExpressionSamplesProjectData.EDITING_CONTEXT_ID, diagram.get().getId(), labelId, newConstraintName); + var result = this.editLabelMutationRunner.run(input); + String typename = JsonPath.read(result.data(), "$.data.editLabel.__typename"); + assertThat(typename).isEqualTo(EditLabelSuccessPayload.class.getSimpleName()); + }; + + Consumer updatedDiagramAfterDirectEditConsumer = assertRefreshedDiagramThat(newDiagram -> { + new CheckDiagramElementCount(this.diagramComparator) + .hasNewEdgeCount(0) + .hasNewNodeCount(15) + .check(diagram.get(), newDiagram); + + String nodeLabel = newDiagram.getNodes().get(0).getInsideLabel().getText(); + assertThat(nodeLabel).isEqualTo(this.quoted("requirement def") + "\nSensorOperability"); + + var constraintNode = new DiagramNavigator(newDiagram).nodeWithTargetObjectId(ExpressionSamplesProjectData.SemanticIds.SENSOR_OPERABILITY_ENVIRONMENTAL_PRECONDITION_ASSUMED_CONSTRAINT_ID) + .getNode(); + assertThat(constraintNode).isNotNull(); + assertThat(constraintNode.getInsideLabel().getText()).isEqualTo(newConstraintName + " { " + constraintExpression + " }"); + constraintNodeId.set(constraintNode.getId()); + constraintNodeLabelId.set(constraintNode.getInsideLabel().getId()); + }); + + StepVerifier.create(flux) + .consumeNextWith(initialDiagramContentConsumer) + .then(dropFromExplorerRunnable) + .consumeNextWith(updatedDiagramConsumer) + .then(checkDirectEditInitialTextShowsNameOnly) + .then(editConstraintName) + .consumeNextWith(updatedDiagramAfterDirectEditConsumer) + .thenCancel() + .verify(Duration.ofSeconds(10)); + } + private String quoted(String text) { + return LabelConstants.OPEN_QUOTE + text + LabelConstants.CLOSE_QUOTE; } /** diff --git a/backend/application/syson-application/src/test/java/org/eclipse/syson/application/data/ExpressionSamplesProjectData.java b/backend/application/syson-application/src/test/java/org/eclipse/syson/application/data/ExpressionSamplesProjectData.java index 4297d5cc2..6da4bfbf0 100644 --- a/backend/application/syson-application/src/test/java/org/eclipse/syson/application/data/ExpressionSamplesProjectData.java +++ b/backend/application/syson-application/src/test/java/org/eclipse/syson/application/data/ExpressionSamplesProjectData.java @@ -60,6 +60,12 @@ public static final class SemanticIds { public static final String THERMAL_CONTROL_TO_COOLING_TRANSITION_GUARD_EXPRESSION_ID = "ec67ead5-7739-4dd3-a82e-f1bb5ef34268"; + public static final String SENSOR_OPERABILITY_REQUIREMENT_ID = "96735823-f93e-4edd-948e-2db5df124d11"; + + public static final String SENSOR_OPERABILITY_ENVIRONMENTAL_PRECONDITION_ASSUMED_CONSTRAINT_ID = "baa1ff9e-5735-4393-ba94-324731366733"; + + public static final String SENSOR_OPERABILITY_ENVIRONMENTAL_PRECONDITION_ASSUMED_CONSTRAINT_EXPRESSION_ID = "97f03244-a4a5-47cd-988d-15119a3b2210"; + public static final List ALL_IDS = List.of( EXPRESSIONS_DOCUMENT_ID, EXPRESSIONS_PACKAGE_ID, diff --git a/backend/application/syson-application/src/test/resources/scripts/database-content/ExpressionSamples.sql b/backend/application/syson-application/src/test/resources/scripts/database-content/ExpressionSamples.sql index 028199b38..aa0b4b13a 100644 --- a/backend/application/syson-application/src/test/resources/scripts/database-content/ExpressionSamples.sql +++ b/backend/application/syson-application/src/test/resources/scripts/database-content/ExpressionSamples.sql @@ -1,4 +1,5 @@ -- +-- -- PostgreSQL database dump -- @@ -8,7 +9,6 @@ SET statement_timeout = 0; SET lock_timeout = 0; SET idle_in_transaction_session_timeout = 0; -SET transaction_timeout = 0; SET client_encoding = 'UTF8'; SET standard_conforming_strings = on; SET check_function_bodies = false; @@ -20,14 +20,14 @@ SET row_security = off; -- Data for Name: semantic_data; Type: TABLE DATA; Schema: public; Owner: dbuser -- -INSERT INTO public.semantic_data (id, created_on, last_modified_on) VALUES ('aac82b89-8d53-4b16-91b4-deccc180ba62', '2026-04-28 09:22:29.202483+00', '2026-04-28 09:22:53.099317+00'); +INSERT INTO public.semantic_data (id, created_on, last_modified_on) VALUES ('aac82b89-8d53-4b16-91b4-deccc180ba62', '2026-04-28 09:22:29.202483+00', '2026-06-26 08:48:01.804911+00'); -- -- Data for Name: document; Type: TABLE DATA; Schema: public; Owner: dbuser -- -INSERT INTO public.document (id, semantic_data_id, name, content, created_on, last_modified_on, is_read_only) VALUES ('ef3e6929-0415-4295-b42f-64bed8bd4f55', 'aac82b89-8d53-4b16-91b4-deccc180ba62', 'expressions.sysml', '{"json":{"version":"1.0","encoding":"utf-8"},"ns":{"sysml":"http://www.eclipse.org/syson/sysml"},"migration":{"lastMigrationPerformed":"DiagramStyleDescriptionAddMigrationParticipant","migrationVersion":"2026.5.0-202603171430"},"content":[{"id":"152e5a5b-2b71-4653-8b7f-d46df76cd595","eClass":"sysml:Namespace","data":{"eAnnotations":[{"source":"org.eclipse.syson.sysml.imported"}],"elementId":"cfa2873f-f2f4-475a-8817-9f73e2dff74f","ownedRelationship":[{"id":"bea4a5f8-cc39-4cc0-ab5c-226fcf86f737","eClass":"sysml:OwningMembership","data":{"elementId":"eeda408c-b3e7-41af-a52b-3463777d41c0","ownedRelatedElement":[{"id":"baf5ea6a-7861-4b92-8be2-3fe7a2ebc415","eClass":"sysml:Package","data":{"declaredName":"Expressions","elementId":"6ff78b89-10b8-44f5-817f-50ea23e0c620","ownedRelationship":[{"id":"d8072b8b-400f-4968-b1e2-6601ba10bdc7","eClass":"sysml:NamespaceImport","data":{"elementId":"f2a55343-1f9c-4cc6-9912-8ca86dab734e","importedNamespace":"sysml:LibraryPackage kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#40bb440c-5036-58e1-8675-5afccb8b8f1d"}},{"id":"63ed369c-92bd-48cf-ba76-147c1ec13316","eClass":"sysml:OwningMembership","data":{"elementId":"033678d4-289b-46d1-9704-d97a006fb024","ownedRelatedElement":[{"id":"2bde22f7-a834-4afa-84bf-1bae1bb434d8","eClass":"sysml:PartDefinition","data":{"declaredName":"Tank","elementId":"e5e396e4-635f-44a2-8d85-50e19b94a6e7","ownedRelationship":[{"id":"bd7b6c14-0803-423c-b5d9-f368d8c32e6d","eClass":"sysml:FeatureMembership","data":{"elementId":"66064f96-7440-4236-bb21-11bb8c61224c","ownedRelatedElement":[{"id":"15ccc1e3-16b9-4ddf-9959-43141f32d48e","eClass":"sysml:AttributeUsage","data":{"declaredName":"pressure","elementId":"7479570e-234f-4603-a764-d45ba1228aad","ownedRelationship":[{"id":"470e47da-8c4f-45be-a841-5bb4fa82f8da","eClass":"sysml:FeatureTyping","data":{"elementId":"4f77e08f-1a50-4056-a6cb-283b6c0de857","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"15ccc1e3-16b9-4ddf-9959-43141f32d48e"}}],"isComposite":true}}]}},{"id":"27c51649-9b3b-471c-b846-33f10fe82332","eClass":"sysml:FeatureMembership","data":{"elementId":"747b5a9e-95de-4908-a7f0-3917cb4385ae","ownedRelatedElement":[{"id":"89b903a2-10c2-42a7-8307-b8bc9a4ba76a","eClass":"sysml:AttributeUsage","data":{"declaredName":"maxPressure","elementId":"058dca9f-5c49-4ae6-8f71-5e11df5b4021","ownedRelationship":[{"id":"01c173ba-5433-45f6-a9ad-5abf786562c9","eClass":"sysml:FeatureValue","data":{"elementId":"2a6cd6e7-6af0-426b-b6e9-1749f4cae266","ownedRelatedElement":[{"id":"703297e9-e397-496c-ac9a-49b2afff4ba7","eClass":"sysml:LiteralRational","data":{"elementId":"6a768b6c-2898-4dfa-aa7c-2a7f3a9fd6e4","value":600.0}}]}},{"id":"bb766cff-de2c-469f-90b8-06bd35514038","eClass":"sysml:FeatureTyping","data":{"elementId":"9e91a82c-3c8b-43f5-96eb-a92781f5a8d8","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"89b903a2-10c2-42a7-8307-b8bc9a4ba76a"}}],"isComposite":true}}]}},{"id":"77e243ce-1879-49a5-a4e6-ec8d91b8da9f","eClass":"sysml:FeatureMembership","data":{"elementId":"2a061597-9b75-422f-ac99-17317f4076a9","ownedRelatedElement":[{"id":"7c2ed44f-f991-4559-8594-cfd844160744","eClass":"sysml:AttributeUsage","data":{"declaredName":"volume","elementId":"87f09d7d-87a8-4edf-8c96-eb7d13c44702","ownedRelationship":[{"id":"9789b076-4604-4407-b662-6179ab76b2c5","eClass":"sysml:FeatureValue","data":{"elementId":"7625d338-d5ed-4050-bf6a-a22c75ea21af","ownedRelatedElement":[{"id":"a512cb6b-9395-48b9-88ba-fcb8b2754484","eClass":"sysml:LiteralRational","data":{"elementId":"cfa46233-fa49-4eef-b384-fc4a5861c39a","value":500.0}}]}},{"id":"91584942-a0c5-46f9-bd52-c252b9c0a285","eClass":"sysml:FeatureTyping","data":{"elementId":"cce82e52-823f-4f33-85ac-765af147c2f8","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"7c2ed44f-f991-4559-8594-cfd844160744"}}],"isComposite":true}}]}},{"id":"f5d0e91d-5d51-490e-93cf-42662bdb62e8","eClass":"sysml:FeatureMembership","data":{"elementId":"a3c78e1d-535a-4e89-a9cf-d97a00080b81","ownedRelatedElement":[{"id":"e7292249-00ff-41d1-a8b5-783668e88cc0","eClass":"sysml:AttributeUsage","data":{"declaredName":"minVolume","elementId":"6e6f68f1-9144-46ab-8b05-50d964f904a6","ownedRelationship":[{"id":"4c81d9e3-e5c9-4320-9cb1-395c353a73d1","eClass":"sysml:FeatureValue","data":{"elementId":"f861ccab-1624-4cee-ad26-1dfdc733163c","ownedRelatedElement":[{"id":"8e41e070-5926-4d74-9c76-d727d69d5fde","eClass":"sysml:LiteralRational","data":{"elementId":"d9800108-0bfd-4553-bd4a-ef16d51c1b38","value":10.0}}]}},{"id":"fcbae3ff-aeb7-48b2-97a0-55f8aa446d89","eClass":"sysml:FeatureTyping","data":{"elementId":"17d1e180-0632-4bec-9c10-0b166eb462f0","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"e7292249-00ff-41d1-a8b5-783668e88cc0"}}],"isComposite":true}}]}},{"id":"4c5f7f98-0312-4d3b-b2ac-b5a05fdb5e2f","eClass":"sysml:FeatureMembership","data":{"elementId":"b77a0d5e-7cf2-4978-a622-420c88455097","ownedRelatedElement":[{"id":"d9926727-7378-4177-a940-2fb6c1c89dce","eClass":"sysml:AttributeUsage","data":{"declaredName":"maxVolume","elementId":"c957466a-8bd4-448c-b2e5-545af7d9cadc","ownedRelationship":[{"id":"8f9592ef-9513-4025-ab13-e7d7f822f7d8","eClass":"sysml:FeatureValue","data":{"elementId":"5fd01a42-4bde-4a47-8b52-54a7c60049c1","ownedRelatedElement":[{"id":"a9216e54-f44c-4b1f-b262-13650324d325","eClass":"sysml:OperatorExpression","data":{"elementId":"ba3cea85-2725-4b96-a2af-a9159e84a7a9","ownedRelationship":[{"id":"b88c3a9d-0ce2-426e-a333-77225c45d429","eClass":"sysml:ParameterMembership","data":{"elementId":"4b58a948-936f-4567-9cb5-77739aee17c3","ownedRelatedElement":[{"id":"1ae9086c-60a8-4e6b-a24f-db44e021761b","eClass":"sysml:Feature","data":{"elementId":"19bfc3af-4154-4848-bd2e-59a1754b47df","ownedRelationship":[{"id":"52bad1f8-ee55-4bd5-aa2b-db12ec015c26","eClass":"sysml:FeatureValue","data":{"elementId":"0b26ad14-8872-4a9b-ac55-dac0f189df10","ownedRelatedElement":[{"id":"01ee6181-e890-4277-93fb-4bccf84bf3e6","eClass":"sysml:LiteralRational","data":{"elementId":"eb76a535-cb0d-4efd-b0f7-430b46d85d1a","value":100.0}}]}}],"direction":"in"}}]}},{"id":"8ed9cb6c-2fb5-43af-9bcf-9f2b83ea6e1b","eClass":"sysml:ParameterMembership","data":{"elementId":"c1df91fb-cea4-45f0-80a3-191171afb130","ownedRelatedElement":[{"id":"0222cbc2-571d-41ca-9aa6-5b7128062066","eClass":"sysml:Feature","data":{"elementId":"22361eb7-6a20-4f84-853a-cc4373032846","ownedRelationship":[{"id":"b31231a4-f853-4b71-ace4-eaab66065097","eClass":"sysml:FeatureValue","data":{"elementId":"49b00782-9d36-43a2-8a66-04d1e739daba","ownedRelatedElement":[{"id":"772d1b21-03f3-4299-aac5-564d787129b5","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"74181cea-a48b-4dbc-a45b-878f026c065f","ownedRelationship":[{"id":"576e21f5-e5b3-4a54-b6a7-636f4f2b7034","eClass":"sysml:Membership","data":{"elementId":"ef7b0f68-6c53-4d49-9537-eb3a561b1d91","memberElement":"e7292249-00ff-41d1-a8b5-783668e88cc0"}}]}}]}}],"direction":"in"}}]}}],"operator":"*"}}]}},{"id":"5f49fe65-264b-4773-9aa5-48ed839d4a86","eClass":"sysml:FeatureTyping","data":{"elementId":"c9ba2582-5b2d-4339-a4d9-edf1d05a350c","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"d9926727-7378-4177-a940-2fb6c1c89dce"}}],"isComposite":true}}]}},{"id":"bcb92dbe-1c98-4fbc-89bf-6a420f65d587","eClass":"sysml:FeatureMembership","data":{"elementId":"50960f37-4657-4ff4-9b24-01cf5d4839d5","ownedRelatedElement":[{"id":"7d42ee06-3c27-4eaa-9438-344fc789906a","eClass":"sysml:ConstraintUsage","data":{"declaredName":"pressureLimit","elementId":"0349f315-d32d-43e9-9627-9228da3bb552","ownedRelationship":[{"id":"d40b295e-159f-44fe-84a8-fa114dac3472","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"27e134d7-60b2-4a41-a2eb-ed1ca6c1a119","ownedRelatedElement":[{"id":"faa3b115-5b07-4ecf-9147-0d58ceffaf9c","eClass":"sysml:OperatorExpression","data":{"elementId":"d909007a-ddd7-4e31-b17a-4653dfa8cef8","ownedRelationship":[{"id":"94611d95-3c3d-45a8-813a-3b35933576e0","eClass":"sysml:ParameterMembership","data":{"elementId":"55d9251d-9722-4f1f-ade8-5cce8d7bafb1","ownedRelatedElement":[{"id":"a6e4adef-1a08-4384-880e-95da452d581a","eClass":"sysml:Feature","data":{"elementId":"d1eb3702-b4d0-48d4-90df-5354359f0d33","ownedRelationship":[{"id":"ce942576-087e-4f35-a0a3-7c23a7fe2bb0","eClass":"sysml:FeatureValue","data":{"elementId":"303c1de0-a072-43e8-b687-38527c51eb0e","ownedRelatedElement":[{"id":"83bc616a-bfb5-4777-a169-ac1f8142d2aa","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"046cd544-1c5c-450f-8fac-3077ff9d3652","ownedRelationship":[{"id":"ea9f50bb-2fc9-4934-b613-79a4bdf9ab0f","eClass":"sysml:Membership","data":{"elementId":"8f01928c-b0c1-4056-bfbb-64ca3335b251","memberElement":"15ccc1e3-16b9-4ddf-9959-43141f32d48e"}}]}}]}}],"direction":"in"}}]}},{"id":"7b4f5c1d-fbcd-4074-89bc-6928aecb206f","eClass":"sysml:ParameterMembership","data":{"elementId":"5ac072c4-4955-4803-b651-4d14c001f97e","ownedRelatedElement":[{"id":"41a595a8-9dfb-4542-936b-ba98891a4ea9","eClass":"sysml:Feature","data":{"elementId":"6f135276-6932-4db1-bd9c-126cb8475498","ownedRelationship":[{"id":"fb8829dc-0d44-4004-b7c6-2d617de26808","eClass":"sysml:FeatureValue","data":{"elementId":"73c691d9-1ad0-4357-92ae-8e02e690f5ef","ownedRelatedElement":[{"id":"15f2308f-9b14-4c40-b6a9-d496987dfc8b","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"45435f31-674c-40aa-ad49-ce170852a12b","ownedRelationship":[{"id":"78ed96c8-cc8b-488d-8970-524f4a8bd5be","eClass":"sysml:Membership","data":{"elementId":"5229ec54-8bd3-49e2-8221-a5f8a76142cc","memberElement":"89b903a2-10c2-42a7-8307-b8bc9a4ba76a"}}]}}]}}],"direction":"in"}}]}}],"operator":"<="}}]}}],"isComposite":true}}]}}]}}]}},{"id":"2c772a21-cd4b-472b-b9cb-2d291b86eff3","eClass":"sysml:OwningMembership","data":{"elementId":"2fcf9e17-3424-4677-b324-314c82774361","ownedRelatedElement":[{"id":"3f2124ff-5c56-486b-a296-b1c3476e5180","eClass":"sysml:PartDefinition","data":{"declaredName":"Sensor","elementId":"024ec40b-3a5b-46df-add7-4bcbec5523c7","ownedRelationship":[{"id":"560c46bc-4057-4b9e-8e5a-49e9e4109d05","eClass":"sysml:FeatureMembership","data":{"elementId":"7c0bc2eb-1488-4dd8-8ab9-afadef79a367","ownedRelatedElement":[{"id":"94c0a654-c5dc-4579-a655-89edda340104","eClass":"sysml:AttributeUsage","data":{"declaredName":"label","elementId":"46235c7e-3f38-4dfa-a061-fa5662c9ac1e","ownedRelationship":[{"id":"1758c3f6-d099-452d-8c1b-b375d51491fc","eClass":"sysml:FeatureValue","data":{"elementId":"4d70b01b-05c6-4646-b564-2035f4bde5be","ownedRelatedElement":[{"id":"ec30e68f-b6c2-4ab8-af03-9fea9ceaf2e3","eClass":"sysml:LiteralString","data":{"elementId":"1d905119-2ad9-41e5-8896-7c0d3f166e2b","value":"unnamed"}}]}},{"id":"6fd57c7e-3d50-49b3-94b7-133020804fc4","eClass":"sysml:FeatureTyping","data":{"elementId":"2a1b98bf-116f-44b6-a5cb-8aff68c8e1a8","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#76028d3d-69a4-5e12-9002-ce403e0244bd","typedFeature":"94c0a654-c5dc-4579-a655-89edda340104"}}],"isComposite":true}}]}},{"id":"ea09c1cf-a6fb-41a4-9a32-07f9a59d6ef4","eClass":"sysml:FeatureMembership","data":{"elementId":"c23a7f58-2c6b-45c3-bc49-1944baf5face","ownedRelatedElement":[{"id":"edc4f7bc-7d24-498e-8e76-ae1743668254","eClass":"sysml:AttributeUsage","data":{"declaredName":"enabled","elementId":"2aa70e33-7074-4c1d-8ef7-af6874857071","ownedRelationship":[{"id":"8cd41188-d199-4c49-ad23-10e366344c35","eClass":"sysml:FeatureValue","data":{"elementId":"7ea1ae0f-9769-4a93-8523-1b544171ffb4","ownedRelatedElement":[{"id":"5669db5e-ec61-40ca-9a52-8979126921d0","eClass":"sysml:LiteralBoolean","data":{"elementId":"14630a78-98b4-4a46-ac40-c8a49a7b7390","value":true}}]}},{"id":"2afde92b-9d7f-4e1c-ab29-bc9bd2967a82","eClass":"sysml:FeatureTyping","data":{"elementId":"0daf88b8-e462-482b-8220-4f19e3ce8380","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#d1e9242d-b2e3-5270-bf69-4f4fb0447193","typedFeature":"edc4f7bc-7d24-498e-8e76-ae1743668254"}}],"isComposite":true}}]}},{"id":"18f6bc41-fa40-4f81-b741-d601365a37a0","eClass":"sysml:FeatureMembership","data":{"elementId":"2b9522eb-72fb-4e5b-aed4-99209a770f92","ownedRelatedElement":[{"id":"b922024b-5587-4be6-9924-6afa52ce8bf2","eClass":"sysml:AttributeUsage","data":{"declaredName":"samplingRate","elementId":"ddec4b3c-42e0-4d8e-bd99-304def079d94","ownedRelationship":[{"id":"985de5ed-784f-465e-805b-6b7d88b3bddc","eClass":"sysml:FeatureValue","data":{"elementId":"5bb61755-a54e-4ea0-9ec7-e11adf867185","ownedRelatedElement":[{"id":"6d57d690-633a-4018-a0f6-5e732bc16897","eClass":"sysml:LiteralRational","data":{"elementId":"e5ef69e1-5daf-4dae-b0ed-1e7903b3d079","value":100.0}}]}},{"id":"0929e1d2-a563-4e37-befc-02767a3165ea","eClass":"sysml:FeatureTyping","data":{"elementId":"17f59ceb-baef-48a4-b67b-934ed58da6bf","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"b922024b-5587-4be6-9924-6afa52ce8bf2"}}],"isComposite":true}}]}},{"id":"48904b34-6744-4d90-8ea3-f8388f930416","eClass":"sysml:FeatureMembership","data":{"elementId":"a7691d9d-0037-4942-8a83-92cc93f14d7d","ownedRelatedElement":[{"id":"2f50920f-47d5-4508-a943-33f9a2d56a23","eClass":"sysml:AttributeUsage","data":{"declaredName":"channelCount","elementId":"4c2b5049-e9d0-4573-8fb7-032cbdcf8fdb","ownedRelationship":[{"id":"14910b2a-ff6e-4f7e-bb13-7e0979c49eca","eClass":"sysml:FeatureValue","data":{"elementId":"2d3e55d0-a26b-4a6b-ac99-f049047ada35","ownedRelatedElement":[{"id":"36055b10-a46d-42c9-95c2-901d02b7490a","eClass":"sysml:LiteralInteger","data":{"elementId":"4525ba90-45e6-4bb4-9a44-a2b3766560e8","value":4}}]}},{"id":"ffed96db-63ef-4e40-b41d-080f7dc68fef","eClass":"sysml:FeatureTyping","data":{"elementId":"c0034730-d919-4a37-ac87-9fc378662a0b","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#f2350199-2ab1-5258-8514-58812ef25dc6","typedFeature":"2f50920f-47d5-4508-a943-33f9a2d56a23"}}],"isComposite":true}}]}},{"id":"6292da99-b47c-48f9-8d1b-9115b1b0c4e9","eClass":"sysml:FeatureMembership","data":{"elementId":"c7efeeab-923d-42bc-9d62-8bf61c2ab2d7","ownedRelatedElement":[{"id":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9","eClass":"sysml:AttributeUsage","data":{"declaredName":"currentValue","elementId":"855d423f-5dbb-4042-b98c-5a34602b1d0e","ownedRelationship":[{"id":"d9b556a4-b6eb-4e20-90f6-e63908599859","eClass":"sysml:FeatureValue","data":{"elementId":"25fc714d-8228-45f3-98c1-d154cf129985","ownedRelatedElement":[{"id":"ba6195b6-3db6-410a-bf38-a22204c4263e","eClass":"sysml:LiteralRational","data":{"elementId":"31e7ced7-a849-497a-8bea-9e58b3969239"}}],"isInitial":true}},{"id":"0d5731f8-b287-4a2d-854b-32292f6082e2","eClass":"sysml:FeatureTyping","data":{"elementId":"9bb1f845-d859-45d9-b375-8749b0e46272","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9"}}],"isComposite":true}}]}},{"id":"47e0493d-48fd-4a90-977b-f159c2e2dafe","eClass":"sysml:FeatureMembership","data":{"elementId":"7171788a-abcf-4895-8770-192412a650a6","ownedRelatedElement":[{"id":"4d2f8465-d748-4b68-a5a8-d61c03031bd3","eClass":"sysml:AttributeUsage","data":{"declaredName":"errorCount","elementId":"bfc48daf-6923-48f1-9d09-596579985dab","ownedRelationship":[{"id":"c0caf7ee-94b3-44f0-a03b-13c5bfa2f37a","eClass":"sysml:FeatureValue","data":{"elementId":"99cec056-4306-4921-805d-140ecc9ee5de","ownedRelatedElement":[{"id":"0e18cf3c-0d0f-4863-b4e2-407a9fcdad8c","eClass":"sysml:LiteralInteger","data":{"elementId":"cb488158-7555-424f-a37d-1c290aa3cee5"}}],"isInitial":true}},{"id":"96a56407-061b-4f40-81f5-4d8f5e211b56","eClass":"sysml:FeatureTyping","data":{"elementId":"db1c53ba-8888-4645-bbd1-4624a258a238","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#f2350199-2ab1-5258-8514-58812ef25dc6","typedFeature":"4d2f8465-d748-4b68-a5a8-d61c03031bd3"}}],"isComposite":true}}]}},{"id":"2b4f3de5-32fd-4859-9fe6-5689e017c120","eClass":"sysml:FeatureMembership","data":{"elementId":"24b2ddc3-2007-4fcd-a4b7-943e1bc43948","ownedRelatedElement":[{"id":"3f6b7e75-5039-485c-9fbc-776b772cd746","eClass":"sysml:AttributeUsage","data":{"declaredName":"active","elementId":"251cc6ef-d2c6-4893-941c-076709500c76","ownedRelationship":[{"id":"2ba77e81-8da1-4fdc-ba91-163988a8862a","eClass":"sysml:FeatureValue","data":{"elementId":"457e68ff-f795-4dd9-8643-2dd851d2387a","ownedRelatedElement":[{"id":"0e79ab60-92de-43dc-8aed-85bd61eaa2b7","eClass":"sysml:LiteralBoolean","data":{"elementId":"79052415-268e-41f4-8cf6-ac6484067e91"}}],"isInitial":true}},{"id":"bcd180b6-ecd8-47fc-8f28-08095cd9e23f","eClass":"sysml:FeatureTyping","data":{"elementId":"09b93323-05a1-429c-9dac-dc2672085d02","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#d1e9242d-b2e3-5270-bf69-4f4fb0447193","typedFeature":"3f6b7e75-5039-485c-9fbc-776b772cd746"}}],"isComposite":true}}]}}]}}]}},{"id":"0f77318f-48df-4fd5-b4fe-c2470070695a","eClass":"sysml:OwningMembership","data":{"elementId":"3f6dda74-d5cc-4bc5-b728-79fd8dc7a929","ownedRelatedElement":[{"id":"2efcf5d4-4948-4b7d-b779-f3f694eb8165","eClass":"sysml:StateDefinition","data":{"declaredName":"ThermalControl","elementId":"040718ea-26b5-47d6-ba84-9f7c43fe2c07","ownedRelationship":[{"id":"6bd335ce-5089-4089-902f-917b1b6fed36","eClass":"sysml:StateSubactionMembership","data":{"elementId":"ded89b53-c1f0-4c68-8a56-d7283bc2b862","ownedRelatedElement":[{"id":"ac85c0b8-2d5a-491f-81dc-fb9b09b3ab31","eClass":"sysml:ActionUsage","data":{"elementId":"fd138068-384e-4be8-b885-ef3b218e006f","isComposite":true}}],"kind":"entry"}},{"id":"0345c054-7f57-45ec-8473-1261313b14d6","eClass":"sysml:FeatureMembership","data":{"elementId":"ea20286f-4020-4488-bfdd-f8b8c0293486","ownedRelatedElement":[{"id":"0a63014b-116e-455e-85f5-bc66c922d691","eClass":"sysml:TransitionUsage","data":{"elementId":"ddef46f5-05d7-411e-b826-3f1f3fea21ff","ownedRelationship":[{"id":"baa2a68d-e8f5-470c-b497-eda44fe94d59","eClass":"sysml:Membership","data":{"elementId":"0ea170b2-1597-4c55-b3e8-6cf8b7a9d204","memberElement":"ac85c0b8-2d5a-491f-81dc-fb9b09b3ab31"}},{"id":"0e6d29f8-3a63-48d1-af12-339e173ae602","eClass":"sysml:OwningMembership","data":{"elementId":"f5f627e0-538f-4fd9-b64b-a14966f22482","ownedRelatedElement":[{"id":"c59c0174-da0a-4972-a5ca-6743ab295651","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"f55e815c-45ae-4320-9753-a362b3c8e6e5","ownedRelationship":[{"id":"38f392ae-b052-4618-8c6d-8c01e635a521","eClass":"sysml:EndFeatureMembership","data":{"elementId":"8f15832d-752e-417c-a176-520904b7dfe1","ownedRelatedElement":[{"id":"a2b00582-c35c-41cf-86c2-49ab6a853807","eClass":"sysml:ReferenceUsage","data":{"elementId":"293900dd-1f99-49d4-8638-8c541b96ed6b","isEnd":true}}]}},{"id":"bf9eb61a-6c2d-4a2e-af99-6aec971b7e95","eClass":"sysml:EndFeatureMembership","data":{"elementId":"067cb51a-1f7b-40ad-b4e2-12b298e85ccc","ownedRelatedElement":[{"id":"76806c6d-2d0a-4dc0-9e1c-23dfe0845699","eClass":"sysml:ReferenceUsage","data":{"elementId":"7413373c-e4ea-4187-bcbe-e4f93128dab3","ownedRelationship":[{"id":"e57840d9-94d8-4186-8bbc-e56d0b5532d9","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"2a9d2963-2b80-4ed3-8daf-6b3637ed343c","subsettingFeature":"76806c6d-2d0a-4dc0-9e1c-23dfe0845699","referencedFeature":"630f2641-b66a-4f52-91c6-057b1c5811d0"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"1912dc94-522f-4d2a-9b1b-84ca3d86491e","eClass":"sysml:ParameterMembership","data":{"elementId":"4c276cae-1333-4c4d-a0fc-609b74b86cd6","ownedRelatedElement":[{"id":"43bed746-a5d8-4961-9fa3-560b9e53d921","eClass":"sysml:ReferenceUsage","data":{"elementId":"9e08b023-69df-4262-92be-ce2b9c6339a0","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"560d42e6-c398-48cf-9816-1bd9cae87041","eClass":"sysml:FeatureMembership","data":{"elementId":"4b970e61-3c84-4cf2-9c1f-ea3ef53bb346","ownedRelatedElement":[{"id":"630f2641-b66a-4f52-91c6-057b1c5811d0","eClass":"sysml:StateUsage","data":{"declaredName":"normal","elementId":"59276fa3-50b8-45da-a7d0-1775b3632476","isComposite":true}}]}},{"id":"e1a46bc4-adad-4ecd-ac1f-ec293b4466da","eClass":"sysml:FeatureMembership","data":{"elementId":"ca2e7bf0-9cee-4679-b29c-60eeadc8f7c1","ownedRelatedElement":[{"id":"9390334a-f844-4352-91a5-f0fbcfa072f7","eClass":"sysml:StateUsage","data":{"declaredName":"heating","elementId":"502e583f-266e-4e03-82d5-9198951b9736","isComposite":true}}]}},{"id":"4486dadb-f285-43a9-b554-b5dbe1f30ec4","eClass":"sysml:FeatureMembership","data":{"elementId":"a87c855f-cbc1-441a-90f9-59427af39f5c","ownedRelatedElement":[{"id":"1ff2edd1-7ecc-4711-8e0b-1d9e6ba18afd","eClass":"sysml:StateUsage","data":{"declaredName":"cooling","elementId":"336fbd96-f982-4f5f-ba7b-611ca08daa02","isComposite":true}}]}},{"id":"b7c0db78-1dfc-4f68-aa58-72a367032fca","eClass":"sysml:FeatureMembership","data":{"elementId":"5027456b-92a5-468a-8dc3-4da4d77356e5","ownedRelatedElement":[{"id":"8e205929-279c-421f-b739-c4d498c114da","eClass":"sysml:AttributeUsage","data":{"declaredName":"currentTemp","elementId":"5e7f955d-d275-4a9f-a4f6-fd91e00c903a","ownedRelationship":[{"id":"5be10aa2-0fcf-4b76-81bc-c700d3889d97","eClass":"sysml:FeatureValue","data":{"elementId":"f590f069-37c2-4b72-b412-0c004e7b3969","ownedRelatedElement":[{"id":"d0dec34a-5aca-420e-b7d6-4530d7ca54b2","eClass":"sysml:LiteralRational","data":{"elementId":"22502ad2-6755-4a78-b001-ae7d823d7a1a","value":20.0}}],"isInitial":true}},{"id":"7f7aafa0-3fc2-4cb5-9aa0-81039d5d4a51","eClass":"sysml:FeatureTyping","data":{"elementId":"fdb43bab-e1cc-4c65-966d-8242a09d6c52","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"8e205929-279c-421f-b739-c4d498c114da"}}],"isComposite":true}}]}},{"id":"a6e0b47d-eb19-4328-b6d6-99e68bfed356","eClass":"sysml:FeatureMembership","data":{"elementId":"9fc5a32e-ece4-4122-bed7-51fc54c19ba1","ownedRelatedElement":[{"id":"541bd9c9-44fa-4440-bebc-3f84820674e8","eClass":"sysml:AttributeUsage","data":{"declaredName":"targetTemp","elementId":"2a8602b9-d12d-40a2-9ca4-eeb421a9e2ed","ownedRelationship":[{"id":"e375b8ff-ef56-407b-8538-52a31352d147","eClass":"sysml:FeatureValue","data":{"elementId":"b63a0860-3159-44cc-922e-e4e962e48d91","ownedRelatedElement":[{"id":"2c01bf77-f6e4-4677-92c3-945189119f2e","eClass":"sysml:LiteralRational","data":{"elementId":"1d6f8b13-f67a-4508-9514-0fdd42ce7a11","value":22.0}}]}},{"id":"de665ea7-84c3-4e42-9a77-f593fe17b134","eClass":"sysml:FeatureTyping","data":{"elementId":"46004252-bb31-4407-9d4d-1e02857d777e","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}],"isComposite":true}}]}},{"id":"8d07b2dd-cb18-4fc0-baa8-f651b807b46c","eClass":"sysml:FeatureMembership","data":{"elementId":"485d35c7-55b7-4e7c-807b-0c65402c854c","ownedRelatedElement":[{"id":"9e405dc0-36d0-47f8-8b8d-461ab5a31169","eClass":"sysml:AttributeUsage","data":{"declaredName":"tolerance","elementId":"c79fd2f6-b87e-45ab-a978-d6e365d1892b","ownedRelationship":[{"id":"30f1fde2-4f4b-4257-8a9d-851f11cc8e6f","eClass":"sysml:FeatureValue","data":{"elementId":"e8a2a7c8-3eb0-4eca-af46-8812cde65a6a","ownedRelatedElement":[{"id":"ae8ef32c-b7d9-4f25-992d-8abc484db859","eClass":"sysml:LiteralRational","data":{"elementId":"ea074070-969d-4a48-b05b-afed056dab84","value":1.0}}]}},{"id":"d4ff4acb-0756-4348-8f5a-ff6f5a4fed41","eClass":"sysml:FeatureTyping","data":{"elementId":"50c766d5-c266-474b-9c43-d2cc1c0c498d","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"9e405dc0-36d0-47f8-8b8d-461ab5a31169"}}],"isComposite":true}}]}},{"id":"7656692f-d1a8-4b63-9969-0191adc8273e","eClass":"sysml:FeatureMembership","data":{"elementId":"d8e1cc5d-5bfb-4195-91db-318eeb0b2706","ownedRelatedElement":[{"id":"0b517687-ef3f-4057-9ce5-27e27f627a22","eClass":"sysml:TransitionUsage","data":{"declaredName":"to_heating","elementId":"722d9bb6-f15a-4133-9baa-5d87384af8b2","ownedRelationship":[{"id":"ad20395d-9921-44c2-8311-8afdcdf04157","eClass":"sysml:Membership","data":{"elementId":"1d757d16-ec70-4b47-a753-7dd9402e02bc","memberElement":"630f2641-b66a-4f52-91c6-057b1c5811d0"}},{"id":"e361c51a-2480-42e1-a181-ce7d079b2e93","eClass":"sysml:OwningMembership","data":{"elementId":"c2b19814-61f6-4e6e-938f-9cf8dd68ef62","ownedRelatedElement":[{"id":"8085cacc-ccab-4176-91bc-f90d138bf7f3","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"25f126b9-bc1f-43b5-8f65-6c11f41c569b","ownedRelationship":[{"id":"bc9dc7b9-9b80-4c4d-80e8-b137d62abf73","eClass":"sysml:EndFeatureMembership","data":{"elementId":"99db0664-a0b4-4ea0-87eb-cb801838d5fe","ownedRelatedElement":[{"id":"93e43e08-43e2-4c01-b101-436fefc0feb7","eClass":"sysml:ReferenceUsage","data":{"elementId":"430bfb97-e843-4c1d-9351-ed828370dcbc","isEnd":true}}]}},{"id":"45680a1a-a4e5-4f8b-933a-2f87141422ce","eClass":"sysml:EndFeatureMembership","data":{"elementId":"cdb2a753-f470-47a3-b073-f980d304fb23","ownedRelatedElement":[{"id":"7fd10dad-a085-472c-b06d-3173f81373b0","eClass":"sysml:ReferenceUsage","data":{"elementId":"28801261-d808-4b8b-a9c4-849aa076620f","ownedRelationship":[{"id":"ca8fd8cd-1fd0-4936-a7e8-474780da6295","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"6bf78264-9a29-4a7d-9f58-af4519b5a245","subsettingFeature":"7fd10dad-a085-472c-b06d-3173f81373b0","referencedFeature":"9390334a-f844-4352-91a5-f0fbcfa072f7"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"50ce6fd3-4386-43e7-9c79-92791f484058","eClass":"sysml:ParameterMembership","data":{"elementId":"4b1fa532-9975-475f-b7a3-2b8dccde5efa","ownedRelatedElement":[{"id":"a50dc602-495e-4cbf-8587-a7909d1e064d","eClass":"sysml:ReferenceUsage","data":{"elementId":"918f482a-795f-4158-9f1b-16f94c2cfb4a","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"211a29e1-2104-4473-bc7a-e7675162e447","eClass":"sysml:FeatureMembership","data":{"elementId":"30842099-ac84-4baf-aae8-d78c11ba491a","ownedRelatedElement":[{"id":"e1c27d0b-476e-42d4-9b81-b5f064d9cbbe","eClass":"sysml:TransitionUsage","data":{"declaredName":"to_cooling","elementId":"3df50466-18d3-48d1-9b1a-6b35ab79f2b7","ownedRelationship":[{"id":"6971555b-4116-48f0-9847-9292f1357d54","eClass":"sysml:Membership","data":{"elementId":"1ae63504-5879-44d8-845c-58145c66cee8","memberElement":"630f2641-b66a-4f52-91c6-057b1c5811d0"}},{"id":"2f3331f5-bbe1-44c4-844b-d24c8f2eeffb","eClass":"sysml:TransitionFeatureMembership","data":{"elementId":"f0e1ee9a-8235-4875-b5e3-1ff7f8ac8a85","ownedRelatedElement":[{"id":"ec67ead5-7739-4dd3-a82e-f1bb5ef34268","eClass":"sysml:OperatorExpression","data":{"elementId":"974ce809-d343-4a2f-8fe5-cec41eb46ba4","ownedRelationship":[{"id":"371effd8-5eea-4802-94e5-704498a68b13","eClass":"sysml:ParameterMembership","data":{"elementId":"bc3ab140-50b6-4c33-9874-23ebc399610c","ownedRelatedElement":[{"id":"40353cdf-d10b-4322-b623-05972ba837e3","eClass":"sysml:Feature","data":{"elementId":"664143da-4921-42a1-9cfd-cfc893719859","ownedRelationship":[{"id":"1eea43cc-f48e-4dc3-bf5d-574dd7fadcb9","eClass":"sysml:FeatureValue","data":{"elementId":"4f6f4e36-88e9-4ce7-b53f-2bb46878a9f3","ownedRelatedElement":[{"id":"1440ba96-39f9-4745-9596-625baab83480","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"a06418d2-453e-4ea7-90c6-cedb31a54a93","ownedRelationship":[{"id":"3af419a1-d8cd-4f4e-a95f-03d88df310c5","eClass":"sysml:Membership","data":{"elementId":"94b074ff-c911-4b46-838c-d617bc424d2d","memberElement":"8e205929-279c-421f-b739-c4d498c114da"}}]}}]}}],"direction":"in"}}]}},{"id":"b6bbf397-915c-4df2-8153-046eddf48b60","eClass":"sysml:ParameterMembership","data":{"elementId":"1c049222-6ff6-4835-a00a-8df9349d8266","ownedRelatedElement":[{"id":"e73a1795-d083-4539-953e-6ce302c9c7a0","eClass":"sysml:Feature","data":{"elementId":"4b579ae4-8c79-4c88-9b21-db059d7857b7","ownedRelationship":[{"id":"74a4b0ca-269e-480b-b209-5a36bcfcad18","eClass":"sysml:FeatureValue","data":{"elementId":"5a8e236c-908c-478f-94a4-1dccce775e9f","ownedRelatedElement":[{"id":"c656679c-b3f8-4218-8b7c-94f40c432e9e","eClass":"sysml:OperatorExpression","data":{"elementId":"e7eac6ca-3967-41af-8f50-de765b9e7c87","ownedRelationship":[{"id":"90b4fda8-1e61-4157-966d-60ebaa3cecaa","eClass":"sysml:ParameterMembership","data":{"elementId":"8dfcdc00-48ae-4f73-b096-74263b2ff799","ownedRelatedElement":[{"id":"c612b8d5-4885-4c2e-85ed-6d0ad2074202","eClass":"sysml:Feature","data":{"elementId":"c1768702-c8ce-41c2-8c51-8195d64c97b6","ownedRelationship":[{"id":"03915a4e-b0da-48e8-863f-30f53ac37cea","eClass":"sysml:FeatureValue","data":{"elementId":"b00bb56f-0b71-407c-baa4-90956eb99b76","ownedRelatedElement":[{"id":"13070906-e608-4e8d-8418-3fc3916128f0","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"882ab32c-e241-4989-955c-608a9acbae32","ownedRelationship":[{"id":"9726f328-2238-44c6-b640-29ebad59d238","eClass":"sysml:Membership","data":{"elementId":"bc37097c-d761-4b2d-b506-9c807f25c907","memberElement":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}]}}]}}],"direction":"in"}}]}},{"id":"3d67e9aa-3fc0-4e48-a7a0-632f6b5730c1","eClass":"sysml:ParameterMembership","data":{"elementId":"a56ba801-d9c5-4302-99ae-d5e68376378c","ownedRelatedElement":[{"id":"870fc619-a861-4d71-8b0d-4c700c8c4b3f","eClass":"sysml:Feature","data":{"elementId":"bd432a49-148b-4805-b314-6aaa2b485eba","ownedRelationship":[{"id":"db0aabd1-5712-4faa-86b7-4bd4176b4389","eClass":"sysml:FeatureValue","data":{"elementId":"9702fb41-ed29-4393-bbba-8c6b864eb4e0","ownedRelatedElement":[{"id":"edc353c4-b66d-4b2b-b8d5-55f8246922ab","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"82a521eb-14f5-4e56-be04-49bb2a83678d","ownedRelationship":[{"id":"7e2b0f6f-6c10-4670-aa85-2294aadb7be3","eClass":"sysml:Membership","data":{"elementId":"225dfdb5-3b07-4afd-bb2d-554318c82ed5","memberElement":"9e405dc0-36d0-47f8-8b8d-461ab5a31169"}}]}}]}}],"direction":"in"}}]}}],"operator":"+"}}]}}],"direction":"in"}}]}}],"operator":">"}}],"kind":"guard"}},{"id":"f2dd1298-dec2-44c6-bccc-c6aff0942073","eClass":"sysml:OwningMembership","data":{"elementId":"c405c6cb-696d-4a3f-99e7-6dab852ae228","ownedRelatedElement":[{"id":"c4e5cb98-07df-49a6-a3b1-93e9d9d6f4f5","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"acd50047-bcc8-421f-b204-cef2c540355e","ownedRelationship":[{"id":"73144371-94ed-44bb-95ab-70a1a23360fe","eClass":"sysml:EndFeatureMembership","data":{"elementId":"697afe9a-c1f3-4c65-a063-7bc9ab4b106d","ownedRelatedElement":[{"id":"220c6106-c36f-4497-88e2-42125a9f69d5","eClass":"sysml:ReferenceUsage","data":{"elementId":"b1438ef2-513a-43b5-a292-7e34cd24f941","isEnd":true}}]}},{"id":"39c31f59-67df-408c-bf92-9b1c9dc209df","eClass":"sysml:EndFeatureMembership","data":{"elementId":"7e270dc1-76ee-4023-9d55-128523dd8d26","ownedRelatedElement":[{"id":"9dd8948f-9a7c-4682-bc46-dda6eaf7eed8","eClass":"sysml:ReferenceUsage","data":{"elementId":"8a705bce-88f0-4558-b010-cac84b264413","ownedRelationship":[{"id":"16928b68-0b7c-4da8-891f-bf6fc174361a","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"36718153-4eb3-48ca-8023-b1ca8a606897","subsettingFeature":"9dd8948f-9a7c-4682-bc46-dda6eaf7eed8","referencedFeature":"1ff2edd1-7ecc-4711-8e0b-1d9e6ba18afd"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"6b679136-5121-49fc-b63f-edea84f72f73","eClass":"sysml:ParameterMembership","data":{"elementId":"9d7e2288-1a5a-4ad9-aa04-96f72ddca831","ownedRelatedElement":[{"id":"5d11e636-89f5-4d42-a233-207b6d62d418","eClass":"sysml:ReferenceUsage","data":{"elementId":"8ffbe3d2-f907-4fd2-b2b3-c67ac8ef75bd","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"da3ff9dc-93bb-406a-a2cb-6bb17b551a62","eClass":"sysml:FeatureMembership","data":{"elementId":"6cf8e042-d8f9-41b6-9a1d-3232943b2b14","ownedRelatedElement":[{"id":"c7efc3c8-830f-41f4-a9cb-a3667f7c7637","eClass":"sysml:TransitionUsage","data":{"declaredName":"heating_done","elementId":"6bb2e424-424c-44d4-afb6-3923e8202303","ownedRelationship":[{"id":"c2f144d8-86b6-4dd7-b2ff-7280703d9e5d","eClass":"sysml:Membership","data":{"elementId":"551669f0-c179-4998-8de3-84a03f2255b4","memberElement":"9390334a-f844-4352-91a5-f0fbcfa072f7"}},{"id":"6dac8578-e793-4cc2-9581-59c2ef40532c","eClass":"sysml:TransitionFeatureMembership","data":{"elementId":"cf32b8b1-18ec-4787-9eb0-95da2eeb675a","ownedRelatedElement":[{"id":"e9f31b7a-9673-4037-859b-7d6e5775db53","eClass":"sysml:OperatorExpression","data":{"elementId":"514158d0-9ec0-4ca8-8cf6-c201eded035b","ownedRelationship":[{"id":"2b0b4608-771a-4b49-8264-ee9022d5f533","eClass":"sysml:ParameterMembership","data":{"elementId":"c32a9d2f-ed2f-442c-9eef-7f282e73f828","ownedRelatedElement":[{"id":"f9b860f0-3ab9-4b35-a5af-7b87c85aa51a","eClass":"sysml:Feature","data":{"elementId":"be79d529-4b62-4620-96f6-151347ef888a","ownedRelationship":[{"id":"06a57d10-f450-4edc-8d6d-7e9c085d5678","eClass":"sysml:FeatureValue","data":{"elementId":"b8b2fe56-0ab6-41c9-ab2a-fc9f238d4c36","ownedRelatedElement":[{"id":"07ecaa6c-9469-4602-9938-ef4fe35c8e61","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"498a0218-a6a1-4d1d-951d-b9f2fb76a93a","ownedRelationship":[{"id":"2a962769-9796-46c5-a084-e78784f6e775","eClass":"sysml:Membership","data":{"elementId":"4cf777d6-945d-407c-a1ed-e0b1af63fe54","memberElement":"8e205929-279c-421f-b739-c4d498c114da"}}]}}]}}],"direction":"in"}}]}},{"id":"925a2b9f-4c32-49a1-9b83-23b44f262ae8","eClass":"sysml:ParameterMembership","data":{"elementId":"2b1b4a8e-8d3e-4611-9e2b-e67fb634a03c","ownedRelatedElement":[{"id":"2a0e96be-a356-424d-a497-1fb6e0a67a75","eClass":"sysml:Feature","data":{"elementId":"b118b738-974f-47c8-9000-e676ff11acf9","ownedRelationship":[{"id":"77fa7bc6-7751-48fd-b4db-811e8ddb0107","eClass":"sysml:FeatureValue","data":{"elementId":"0faa3816-569c-44c2-91f4-0a62629bdc35","ownedRelatedElement":[{"id":"8deba717-e9e8-4359-a7ee-0392cc60da28","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"4f0cbbb1-ed40-47c5-9fdc-716954416eca","ownedRelationship":[{"id":"31c29b60-785d-4c12-91ff-1a6bd5cd0a97","eClass":"sysml:Membership","data":{"elementId":"cfb554e6-b753-40aa-8212-646ac2307d97","memberElement":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}]}}]}}],"direction":"in"}}]}}],"operator":">="}}],"kind":"guard"}},{"id":"52bd3814-e962-4bf3-bdbc-af103344c0ad","eClass":"sysml:OwningMembership","data":{"elementId":"68dca418-736b-429d-b442-271730f62bed","ownedRelatedElement":[{"id":"bf42847e-36cd-4d3d-aa5f-adbda8deedf1","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"1235177c-931e-444e-841a-74a0033b7573","ownedRelationship":[{"id":"71fc2ef3-58ee-46f5-9f59-16782d9d18ca","eClass":"sysml:EndFeatureMembership","data":{"elementId":"64387b5f-6f0c-43c6-8630-9f507376e5e3","ownedRelatedElement":[{"id":"445af89b-6f69-4a1b-bb66-ee2fad4012bd","eClass":"sysml:ReferenceUsage","data":{"elementId":"39473346-c45b-4bf0-a667-771e453ca497","isEnd":true}}]}},{"id":"853b2327-fd95-4281-92d3-39675c9832ff","eClass":"sysml:EndFeatureMembership","data":{"elementId":"ae636aba-2171-48b4-9bc9-36b8e319a679","ownedRelatedElement":[{"id":"b2b75688-a923-4a1f-966d-bacdff99b033","eClass":"sysml:ReferenceUsage","data":{"elementId":"a4debe8e-e4c5-4e03-ac70-94f40d27f9e9","ownedRelationship":[{"id":"43ce1363-6e62-4981-b36e-b8e0b32431f3","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"66ec302b-b8c2-4029-8536-830eeb9904ae","subsettingFeature":"b2b75688-a923-4a1f-966d-bacdff99b033","referencedFeature":"630f2641-b66a-4f52-91c6-057b1c5811d0"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"a4f9b12e-4854-450c-a5b4-c13417654040","eClass":"sysml:ParameterMembership","data":{"elementId":"46d97c31-de66-482e-91da-e7fbc6555f7a","ownedRelatedElement":[{"id":"f7e4f511-9110-424d-9787-c4bec859f3bb","eClass":"sysml:ReferenceUsage","data":{"elementId":"e1cdc0e3-a709-4173-9d58-7500c52b4d9f","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"fd55211f-bc7f-4598-8bc1-0a3d4b54f974","eClass":"sysml:FeatureMembership","data":{"elementId":"888f6364-e8aa-4312-8477-baa01db1b493","ownedRelatedElement":[{"id":"8a153941-bf0a-4010-a51e-62acb8bd63bb","eClass":"sysml:TransitionUsage","data":{"declaredName":"cooling_done","elementId":"9bb3b3d0-59ae-43ea-aeeb-27cd95233987","ownedRelationship":[{"id":"5a798e86-8ac9-428c-bd43-983a008a96ce","eClass":"sysml:Membership","data":{"elementId":"150daea0-ca87-4737-b1cc-be68c0708d45","memberElement":"1ff2edd1-7ecc-4711-8e0b-1d9e6ba18afd"}},{"id":"9a4869bf-59f1-40fe-bb41-5b80125eec95","eClass":"sysml:TransitionFeatureMembership","data":{"elementId":"0ee132d8-b870-40a6-93b2-0e386ca698ec","ownedRelatedElement":[{"id":"506f2589-c9aa-497d-b9e2-9f3568a1b60e","eClass":"sysml:OperatorExpression","data":{"elementId":"b17dcb88-0404-4a2d-b175-29b5c2430b10","ownedRelationship":[{"id":"9439080c-7bc5-442c-a234-4fbced1722fd","eClass":"sysml:ParameterMembership","data":{"elementId":"03eeff23-1ce5-40e9-b8f8-8c971d8fea9b","ownedRelatedElement":[{"id":"4bb65cfe-8311-4ac1-85d8-1b19421553b0","eClass":"sysml:Feature","data":{"elementId":"12652e9b-2669-4e27-90fb-3d6c3f3a665b","ownedRelationship":[{"id":"6ec15f89-da66-4dc9-bdf1-34a8235a0e60","eClass":"sysml:FeatureValue","data":{"elementId":"516566a3-89e8-4057-8bb4-3238a772efae","ownedRelatedElement":[{"id":"131bcb2c-6bd2-4e48-a392-4bc83d15ec5d","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"71069a61-0947-49ae-82a6-131855801506","ownedRelationship":[{"id":"3b4c7e1b-00ad-4ef4-8f12-87c642d7e340","eClass":"sysml:Membership","data":{"elementId":"b7da76e8-90dd-4816-a096-3bc4d74fcfff","memberElement":"8e205929-279c-421f-b739-c4d498c114da"}}]}}]}}],"direction":"in"}}]}},{"id":"4c107a4c-9209-412b-953e-60b1c643382a","eClass":"sysml:ParameterMembership","data":{"elementId":"4e92e729-b2d1-424c-9471-8f8c17cdc6b7","ownedRelatedElement":[{"id":"010203af-dce4-454e-a19a-888ae9c3b675","eClass":"sysml:Feature","data":{"elementId":"401748ba-f2fe-4fd0-903a-bbbfb3067510","ownedRelationship":[{"id":"4ba22430-f1f1-4462-a196-ed8b6e119841","eClass":"sysml:FeatureValue","data":{"elementId":"9854172d-ee15-4e79-9acd-9717b3b5c598","ownedRelatedElement":[{"id":"61a15a33-8067-4d16-a44f-73bf1eb99e2d","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"972b0f23-2c30-42c6-93d4-71b2d291460e","ownedRelationship":[{"id":"364f5f78-67b1-4631-9d0e-01641d95afc9","eClass":"sysml:Membership","data":{"elementId":"cfba9064-3b74-4bf4-bdbf-97e54c8b2013","memberElement":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}]}}]}}],"direction":"in"}}]}}],"operator":"<="}}],"kind":"guard"}},{"id":"0f19e6b9-2973-411c-b800-8d0ed49795be","eClass":"sysml:OwningMembership","data":{"elementId":"d2755907-2b2e-452f-8051-637f99928b24","ownedRelatedElement":[{"id":"d8aee92a-f512-4762-b4e4-b948f450a024","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"c1cb5168-b133-4e08-8f9f-3243ee80134d","ownedRelationship":[{"id":"9b1ee916-7707-43a1-937c-7cad3d9b5b77","eClass":"sysml:EndFeatureMembership","data":{"elementId":"1526df00-9a9b-41e4-8224-e54e782c429d","ownedRelatedElement":[{"id":"03e69081-de75-4755-8a05-056340bfcf21","eClass":"sysml:ReferenceUsage","data":{"elementId":"b907c9b6-3433-4113-9ed8-34644ca93a8c","isEnd":true}}]}},{"id":"f8423145-7a38-4e0b-848d-67a70db029c6","eClass":"sysml:EndFeatureMembership","data":{"elementId":"2595cd38-81ee-46c6-b87c-7c948a5ab166","ownedRelatedElement":[{"id":"98dfa1ca-9866-4079-b43d-b61af3c53e64","eClass":"sysml:ReferenceUsage","data":{"elementId":"ada1671c-beb1-4333-b144-1c9568840b05","ownedRelationship":[{"id":"629647f9-2a93-493e-883d-d5c0cb6d9fdd","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"de396f89-7470-469c-9ab6-a726f8de8400","subsettingFeature":"98dfa1ca-9866-4079-b43d-b61af3c53e64","referencedFeature":"630f2641-b66a-4f52-91c6-057b1c5811d0"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"5ed10d2c-ac2b-4864-9b4f-74218a8119d7","eClass":"sysml:ParameterMembership","data":{"elementId":"8444ae28-737f-4667-b584-a5ec3afd4cc5","ownedRelatedElement":[{"id":"3414baf1-cc30-4843-90e6-ed004d4b11f4","eClass":"sysml:ReferenceUsage","data":{"elementId":"a9f3e3d7-8086-467c-8a9f-040ae5ec8f4a","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}}]}}]}},{"id":"f1ac0d22-7a0f-413b-b576-85a3ffbe6135","eClass":"sysml:OwningMembership","data":{"elementId":"e648c25f-e278-4e65-9133-0dc96e1f0026","ownedRelatedElement":[{"id":"69d595d7-6a07-4cb1-a4ea-e6102b4ec12d","eClass":"sysml:ConcernDefinition","data":{"declaredName":"SafetyAndReliability","elementId":"3c2ae026-8af6-4bf4-bc7c-79234a98eff9","ownedRelationship":[{"id":"ef1499c9-c7f7-4acb-acf5-e8877c9383c8","eClass":"sysml:FeatureMembership","data":{"elementId":"c610ab68-ac78-4599-b05e-7174225eeaa7","ownedRelatedElement":[{"id":"e2678e9c-3155-4570-bd56-4c8457084f05","eClass":"sysml:AttributeUsage","data":{"declaredName":"deploymentCount","elementId":"9c8fd285-2a30-4ee8-9e2b-cc5a38f03e85","ownedRelationship":[{"id":"3e8dbff8-89e0-4113-a368-9080e6e59b45","eClass":"sysml:FeatureValue","data":{"elementId":"7359a844-4139-4401-b296-a9ab08f92acf","ownedRelatedElement":[{"id":"2db9e19e-7b70-420f-bbab-875dd36ee56f","eClass":"sysml:LiteralInteger","data":{"elementId":"05d4dfe9-b7c6-4b85-864b-83f347eee7be","value":3}}]}},{"id":"21d2afe7-e7b0-4994-9dca-09221ba31bf1","eClass":"sysml:FeatureTyping","data":{"elementId":"c6132f83-494c-4a60-bbac-1862a5261fc7","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#f2350199-2ab1-5258-8514-58812ef25dc6","typedFeature":"e2678e9c-3155-4570-bd56-4c8457084f05"}}],"isComposite":true}}]}},{"id":"5878dce7-7b5a-4f3f-9780-b01ccdd0c379","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"d788cb4d-7166-4e73-ac86-425afa925dec","ownedRelatedElement":[{"id":"5e36a9cd-89d3-4653-b767-0e1be2d32ad5","eClass":"sysml:ConstraintUsage","data":{"elementId":"585f8cab-50a5-47a5-8ea1-3f5929be4af2","ownedRelationship":[{"id":"821531fa-1c3b-468e-aeba-5f2f8ce6e2a4","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"a5488ef2-0227-4422-ac46-dda945fcbf4d","ownedRelatedElement":[{"id":"8a6c830c-98af-403f-a4de-938a31f61194","eClass":"sysml:OperatorExpression","data":{"elementId":"8f0efd41-c032-4a95-b4da-80641f15fa5a","ownedRelationship":[{"id":"298ac857-1424-421a-8895-f8b2ef5cfc55","eClass":"sysml:ParameterMembership","data":{"elementId":"337a51c2-5cb0-4c94-9309-06d838bdb875","ownedRelatedElement":[{"id":"b0ce01ae-8dd1-406b-b61e-6b5c0200a4bc","eClass":"sysml:Feature","data":{"elementId":"bed903ba-e17d-426e-bef1-3c83fed8ad5b","ownedRelationship":[{"id":"1489f1a6-db01-4f94-b7ba-3c221451fbbe","eClass":"sysml:FeatureValue","data":{"elementId":"294d19aa-e1a2-429a-a91e-35b068b48631","ownedRelatedElement":[{"id":"9e0eed6b-d20e-449a-b674-3e54e3d53859","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"4affe832-9f21-4775-abf7-9e33ea8c6c8e","ownedRelationship":[{"id":"37daf8ad-f0b9-4ac1-96f1-29da588d1fe5","eClass":"sysml:Membership","data":{"elementId":"bf9614cb-198c-4f53-9f63-0f1aa8820c10","memberElement":"e2678e9c-3155-4570-bd56-4c8457084f05"}}]}}]}}],"direction":"in"}}]}},{"id":"f35b3dda-8d34-4dc3-94e0-e5f7a7accff9","eClass":"sysml:ParameterMembership","data":{"elementId":"2bd75866-58d5-4522-aca1-6cf4196ed16b","ownedRelatedElement":[{"id":"1eace1ad-8813-4660-a1cd-332909552774","eClass":"sysml:Feature","data":{"elementId":"bd79950f-6dbf-4c42-8f2c-06aa4b7744c6","ownedRelationship":[{"id":"64d75861-f3c8-44f3-a0b8-dbf2e7878dc3","eClass":"sysml:FeatureValue","data":{"elementId":"07085d12-61df-40fa-8768-49c55c23e67b","ownedRelatedElement":[{"id":"56c8f7f8-93ef-4666-aa56-53b6531c0d4f","eClass":"sysml:LiteralInteger","data":{"elementId":"1791dfbd-3e30-488c-bbbe-30816bad15bc"}}]}}],"direction":"in"}}]}}],"operator":">"}}]}}],"isComposite":true}}]}},{"id":"597a0e23-3eef-471c-8dbd-75562a4e4d7a","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"b0aef8c1-d38c-4bd9-8ae2-4f0542fe91d7","ownedRelatedElement":[{"id":"b34a95e4-cb32-4a1c-b1ee-17d4bd62c7d2","eClass":"sysml:ConstraintUsage","data":{"declaredName":"minimumRedundancy","elementId":"76a7a9b1-9ecc-42b1-9a41-5b328053f12f","ownedRelationship":[{"id":"8c80e3db-82fa-41c4-be21-274b737f7284","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"dbb57839-6678-448a-8221-be6911b0f848","ownedRelatedElement":[{"id":"ed00c629-0f82-4874-9590-5a775e35081d","eClass":"sysml:OperatorExpression","data":{"elementId":"c67dae08-fad7-409c-ae7b-ee013cca30d6","ownedRelationship":[{"id":"7d801324-bad9-46b1-970f-7a2b38a556aa","eClass":"sysml:ParameterMembership","data":{"elementId":"8a478841-dab9-42a1-8966-ed68ec3be498","ownedRelatedElement":[{"id":"dc503057-d95b-4569-b694-9c03d8a4a711","eClass":"sysml:Feature","data":{"elementId":"5ee82585-9fb8-4395-8b39-e9ffc2ac6d80","ownedRelationship":[{"id":"8c469bc4-c47f-4ea8-9b6d-2aa4c643d7c1","eClass":"sysml:FeatureValue","data":{"elementId":"e1671e98-bc6d-4194-84c8-6f79c29850c0","ownedRelatedElement":[{"id":"2d5735e7-8a41-4fd8-856e-46af848a86f0","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"7f2be62b-42dc-4161-bbf1-9e33a596e6f7","ownedRelationship":[{"id":"cf8e2ed0-00d1-4e87-8a2f-b23d7c6c2879","eClass":"sysml:Membership","data":{"elementId":"f11aecf9-0c21-45a8-843f-fe5d4d96a0a9","memberElement":"e2678e9c-3155-4570-bd56-4c8457084f05"}}]}}]}}],"direction":"in"}}]}},{"id":"6f077a43-6f45-49b1-9232-b3282f0abb57","eClass":"sysml:ParameterMembership","data":{"elementId":"c2c6e7b8-af06-4096-989a-3c2e95baca51","ownedRelatedElement":[{"id":"0309d85e-37cc-499f-b876-846b2d5a4c2a","eClass":"sysml:Feature","data":{"elementId":"ca1bdcc4-dadc-4228-8d61-813b74f39cc7","ownedRelationship":[{"id":"dfad1497-873d-4629-a277-c254e1a247a9","eClass":"sysml:FeatureValue","data":{"elementId":"a50bbd08-8668-4de4-a64f-016da901a339","ownedRelatedElement":[{"id":"d1b9e2c7-f50f-44a3-a585-7f531eb3fbf9","eClass":"sysml:LiteralInteger","data":{"elementId":"48a9725a-a225-454e-8421-a03542e9e7e8","value":2}}]}}],"direction":"in"}}]}}],"operator":">="}}]}}],"isComposite":true}}],"kind":"requirement"}}]}}]}},{"id":"a6f07c1f-b22d-4081-a3d9-3fc78dee4d22","eClass":"sysml:OwningMembership","data":{"elementId":"db5e69df-ce41-43a4-a9c1-2655173fae74","ownedRelatedElement":[{"id":"da2296a4-25ed-4f04-abc8-d47f93cd223c","eClass":"sysml:ConcernDefinition","data":{"declaredName":"PerformanceConcern","elementId":"719defb0-780c-486b-85d5-b3d4e5b460cc","ownedRelationship":[{"id":"d1836f12-7281-4b5b-a0d2-26cfef749277","eClass":"sysml:SubjectMembership","data":{"elementId":"35bf0d61-c429-43fb-8f17-f6059aa0c4d3","ownedRelatedElement":[{"id":"33466a30-d081-4d0d-a3dc-142c59b82000","eClass":"sysml:ReferenceUsage","data":{"declaredName":"s","elementId":"ea6f2066-3a2f-4888-9eb8-33e6cec61b8d","ownedRelationship":[{"id":"1355d4f4-a4c7-4a0c-bb4a-a8dd29b2c3df","eClass":"sysml:FeatureTyping","data":{"elementId":"caea1502-7778-408f-ac2b-db317a07154f","type":"3f2124ff-5c56-486b-a296-b1c3476e5180","typedFeature":"33466a30-d081-4d0d-a3dc-142c59b82000"}}],"direction":"in","isComposite":true}}]}},{"id":"a4eda0c9-d3e4-4ebc-8d8b-0c864423acf4","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"fbab8f7d-eaf7-4510-bed3-2679d739229a","ownedRelatedElement":[{"id":"4fd2c402-15b7-4546-ad9c-7aa9419a1528","eClass":"sysml:ConstraintUsage","data":{"elementId":"98f1df4b-ff5c-498a-960b-9cb66ef0dbf9","isComposite":true}}]}},{"id":"934e8eac-2e71-4b04-b759-d928aee33336","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"df1c9c38-1d8b-49e6-b8f9-4cdc9af5b9d9","ownedRelatedElement":[{"id":"6891b4f5-6f02-4c73-ae23-db88ad10b253","eClass":"sysml:ConstraintUsage","data":{"declaredName":"responsiveness","elementId":"c0f01f9c-e59f-4517-9d2c-a295ce86c4b2","ownedRelationship":[{"id":"d20bfa80-aa30-436f-a5bf-96e2217efa58","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"33ea9c9a-383c-4d7e-b356-6df68a277de9","ownedRelatedElement":[{"id":"6f2e1644-b09d-46a2-b155-fc123e0f2953","eClass":"sysml:OperatorExpression","data":{"elementId":"378814e3-5c6b-4aac-983b-56d7ba918c1d","ownedRelationship":[{"id":"93a8bf8c-3c78-47f4-be7a-5bfe2faccaa3","eClass":"sysml:ParameterMembership","data":{"elementId":"8b7301cd-24b5-4b2b-8e1a-5a0dc096bdbc","ownedRelatedElement":[{"id":"fb7b2c32-7fe5-4ad7-bf3c-fc17280e4f4b","eClass":"sysml:Feature","data":{"elementId":"5a5849ab-2fa4-4966-8981-e252afcbe1f8","ownedRelationship":[{"id":"3a8347bc-70f7-4de8-892f-676542d63765","eClass":"sysml:FeatureValue","data":{"elementId":"dc48009e-02ff-4dd9-8986-71bef33e499f","ownedRelatedElement":[{"id":"501238ee-b170-4a71-add9-c3cc4b62b541","eClass":"sysml:OperatorExpression","data":{"elementId":"b4f2d2fc-f450-48f8-ade1-138bedd954ab","ownedRelationship":[{"id":"0e53a9bd-1bd5-4b12-931c-da6a744381be","eClass":"sysml:ParameterMembership","data":{"elementId":"2eecf130-286c-498a-b073-6ccd04e790dd","ownedRelatedElement":[{"id":"244833c3-2b41-467a-bb18-03bdca1aaf91","eClass":"sysml:Feature","data":{"elementId":"35c7ccb4-753a-4b3b-8bee-1e87f1faba9d","ownedRelationship":[{"id":"c2125fb7-4da1-4c18-ae2d-545b2ca6e3d3","eClass":"sysml:FeatureValue","data":{"elementId":"09b48893-6827-4cf9-bec6-88b807844c19","ownedRelatedElement":[{"id":"c19dca8a-1bed-49cd-a027-c10b6570e483","eClass":"sysml:FeatureChainExpression","data":{"elementId":"7a3c3fe4-404d-4889-9e34-1a3dd5ce5ca5","ownedRelationship":[{"id":"2febd014-6a70-48ac-9a28-211fb0cfc2bb","eClass":"sysml:ParameterMembership","data":{"elementId":"57bc8b4b-0a38-4b7f-b3a6-5d0523cc728c","ownedRelatedElement":[{"id":"a236b40b-3240-4162-8309-ba8de4a00b11","eClass":"sysml:Feature","data":{"elementId":"8a6e54a2-dd2a-46c2-840e-a0444dfc17d7","ownedRelationship":[{"id":"d4999cc0-72f8-418c-8a16-8d362577a450","eClass":"sysml:FeatureValue","data":{"elementId":"1371d3c0-f0db-4df2-b39a-86196bffcd6a","ownedRelatedElement":[{"id":"50e3db21-7e60-491c-ac6c-9a7dc9407207","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"4257cf6d-7f15-4fe9-b48e-24a072c6f040","ownedRelationship":[{"id":"87ec1ec4-0515-440b-b35c-8b8581217414","eClass":"sysml:Membership","data":{"elementId":"294b0f69-810d-4be2-bbdc-2022d8aa9794","memberElement":"33466a30-d081-4d0d-a3dc-142c59b82000"}}]}}]}}],"direction":"in"}}]}},{"id":"091ee316-159d-400d-94b8-ba0aa5c2f9b5","eClass":"sysml:Membership","data":{"elementId":"1dac782f-da3d-4fe4-9d47-3fa569692bcc","memberElement":"b922024b-5587-4be6-9924-6afa52ce8bf2"}}]}}]}}],"direction":"in"}}]}},{"id":"379e1891-786a-48ee-96a3-d6e3b00cde72","eClass":"sysml:ParameterMembership","data":{"elementId":"ef6e61be-424e-4063-bf2f-a81da5029fcc","ownedRelatedElement":[{"id":"fefc7b1f-cd73-4ef5-95bf-37f12b0749b8","eClass":"sysml:Feature","data":{"elementId":"d080d7d8-b587-4f09-8546-3b7515b73bf7","ownedRelationship":[{"id":"b08c94c0-5fd7-4498-81f8-91cc16df465e","eClass":"sysml:FeatureValue","data":{"elementId":"47f17548-693b-4b52-b6c5-146f93103b88","ownedRelatedElement":[{"id":"f8e0dcc5-6e48-4e37-a14d-37a1026ee01a","eClass":"sysml:LiteralRational","data":{"elementId":"39ac2b8c-4701-4616-8d73-6dc7ffe2c9cd","value":50.0}}]}}],"direction":"in"}}]}}],"operator":">="}}]}}],"direction":"in"}}]}},{"id":"eb8516c8-e8c8-4ee8-939a-55325c8b1cea","eClass":"sysml:ParameterMembership","data":{"elementId":"218a433e-cfa0-4902-9b4e-f0587be3b80e","ownedRelatedElement":[{"id":"c5b2f829-df1b-40ce-83d3-113b3bbfaba5","eClass":"sysml:Feature","data":{"elementId":"4134c6cb-8c93-4d25-af07-c284f7be3969","ownedRelationship":[{"id":"d60596d0-3c29-41a6-b460-898ed9b4c263","eClass":"sysml:FeatureValue","data":{"elementId":"7d1049c4-86cf-4589-b629-8d63970b8583","ownedRelatedElement":[{"id":"eb62764e-be00-4f53-a943-2bb9afe26d4c","eClass":"sysml:OperatorExpression","data":{"elementId":"00efad22-e113-41bc-be71-47de9a1fb9a8","ownedRelationship":[{"id":"64060226-0dc0-4dc1-8a5e-d01c98830213","eClass":"sysml:ParameterMembership","data":{"elementId":"300b058f-b25b-4281-90fe-684eb92606de","ownedRelatedElement":[{"id":"380808e7-4aa1-4f04-8296-8dbe5d1b9fc1","eClass":"sysml:Feature","data":{"elementId":"63ae1974-7814-4c0a-893e-72850334c386","ownedRelationship":[{"id":"23d8c3ac-ca81-45bb-956a-8e8597b49033","eClass":"sysml:FeatureValue","data":{"elementId":"8a290ed0-03f2-495d-bbc6-28f3570feb4b","ownedRelatedElement":[{"id":"4ad5fcc2-dcbe-4254-8e63-f4dc78552ad9","eClass":"sysml:OperatorExpression","data":{"elementId":"ff15a082-0091-4e71-bdf4-8cd81328f2ca","ownedRelationship":[{"id":"3949740d-1e51-4a76-81d9-66066d200c63","eClass":"sysml:ParameterMembership","data":{"elementId":"c63c1f9d-e626-47dc-9d32-59038df3b448","ownedRelatedElement":[{"id":"9a3ac2bf-cc5f-4854-87bc-14a035ad38e5","eClass":"sysml:Feature","data":{"elementId":"47d4f5d4-feb4-404c-9d39-e36cec21db8e","ownedRelationship":[{"id":"9d85853c-5921-4c83-a954-2d022e66f86d","eClass":"sysml:FeatureValue","data":{"elementId":"3f3a18b5-da04-4aa6-831c-984e8a65d47b","ownedRelatedElement":[{"id":"d3f88bd1-b325-4743-920b-e29c5806d7ef","eClass":"sysml:FeatureChainExpression","data":{"elementId":"f0d776b0-fd96-4282-aecd-722d89b96cff","ownedRelationship":[{"id":"89988082-a6b7-408a-99e5-9601ce0a1bf6","eClass":"sysml:ParameterMembership","data":{"elementId":"6ec39eba-a272-4db0-8c70-d16ea7517f86","ownedRelatedElement":[{"id":"51df5f6b-5cb6-48e7-9677-080c823eacca","eClass":"sysml:Feature","data":{"elementId":"53f44fae-071d-4263-9fde-7dc008d14df0","ownedRelationship":[{"id":"e741aa76-c4bc-4afc-95a6-d9d947a279c6","eClass":"sysml:FeatureValue","data":{"elementId":"a938aad2-2fb1-4258-b1c0-730ab660880b","ownedRelatedElement":[{"id":"ef20405c-9d4d-4ee5-bd10-b353bd9d8e1f","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"0e23e1a9-17f0-4ee1-bd4e-9ca406eece66","ownedRelationship":[{"id":"8938cb64-37ff-421a-82c4-3e1fbc43ddd4","eClass":"sysml:Membership","data":{"elementId":"4b50d9b9-0289-4edc-852e-b9037b2ef60f","memberElement":"33466a30-d081-4d0d-a3dc-142c59b82000"}}]}}]}}],"direction":"in"}}]}},{"id":"3045651a-778a-43ae-bdb0-b7072ec4bac1","eClass":"sysml:Membership","data":{"elementId":"1a41f919-9831-4a8b-b7ba-5c628414b769","memberElement":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9"}}]}}]}}],"direction":"in"}}]}},{"id":"fad2ff7a-212e-42e4-9a73-3f8c603d3d37","eClass":"sysml:ParameterMembership","data":{"elementId":"57db7214-0217-449d-8a9b-af78d0334a26","ownedRelatedElement":[{"id":"7c261030-6e18-4072-b4d8-5e700f06f982","eClass":"sysml:Feature","data":{"elementId":"a885a849-350f-41a8-acae-f10b40a21ae8","ownedRelationship":[{"id":"4fc87293-d300-4bdf-b824-c54f9fc9dd91","eClass":"sysml:FeatureValue","data":{"elementId":"1b1e8333-e3e8-4ebc-89b5-1a30a9f54b19","ownedRelatedElement":[{"id":"8d96afc1-c7dd-42ad-a350-57f0b800cc38","eClass":"sysml:LiteralRational","data":{"elementId":"576e66e8-67b6-49c2-957d-738dc65e0309"}}]}}],"direction":"in"}}]}}],"operator":"!="}}]}}],"direction":"in"}}]}},{"id":"03c4fde9-59c7-4499-b22c-f76128218acc","eClass":"sysml:ParameterMembership","data":{"elementId":"8b82cb63-e3d2-410a-86d5-053d9c4de34e","ownedRelatedElement":[{"id":"7949920d-fef9-4ada-a1fd-6146f740a9af","eClass":"sysml:Feature","data":{"elementId":"13999012-8669-458a-9a12-09a4344c25c5","ownedRelationship":[{"id":"7f0c0cbc-d241-42e4-9631-63195ec2387e","eClass":"sysml:FeatureValue","data":{"elementId":"4ae968bd-9835-490f-b122-70579a109558","ownedRelatedElement":[{"id":"4ca5a50e-d116-4b29-9e5c-bff45c6685d9","eClass":"sysml:OperatorExpression","data":{"elementId":"097d302b-bd39-4fdf-b37d-bfaf274d684a","ownedRelationship":[{"id":"c1b9246d-6c33-4efa-8349-63eca55ed258","eClass":"sysml:ParameterMembership","data":{"elementId":"acbda919-a449-4e50-8769-21c05c333f6e","ownedRelatedElement":[{"id":"7b99f3f9-9a46-4dc1-b31b-15b4f243e8e2","eClass":"sysml:Feature","data":{"elementId":"72c64d09-668a-4881-94f2-a02ee97e7f08","ownedRelationship":[{"id":"1ccd4617-8a24-40c1-b1bf-e14c57948d68","eClass":"sysml:FeatureValue","data":{"elementId":"df287639-e735-491a-8fe5-77e377244ea0","ownedRelatedElement":[{"id":"3b7a7f00-42b4-4962-8249-201ea3546292","eClass":"sysml:FeatureChainExpression","data":{"elementId":"39c623a8-db65-483c-b49d-6476f1eb02a7","ownedRelationship":[{"id":"c4b1bdfe-008a-42e2-a0da-560ef61c0657","eClass":"sysml:ParameterMembership","data":{"elementId":"dd1c5acd-02d0-40d5-a509-f934c915227d","ownedRelatedElement":[{"id":"f952d5b2-527e-4487-ad14-a501cbb4ec32","eClass":"sysml:Feature","data":{"elementId":"2302b015-7719-4042-9929-e4ad7cf7b1eb","ownedRelationship":[{"id":"ce4564b8-6fe7-49fc-a146-5d14b3c7405e","eClass":"sysml:FeatureValue","data":{"elementId":"6b6dae15-eda9-4734-8313-71897cfb4fe1","ownedRelatedElement":[{"id":"cbb045fe-e306-4bf8-84ed-e105822603f7","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"dac96cd8-1b64-4b8f-86d2-f9c162cb33a2","ownedRelationship":[{"id":"1fcde9a2-93af-4f46-b5af-0e6b2c94f94e","eClass":"sysml:Membership","data":{"elementId":"ec45938e-93b4-4039-8f0c-8fb5fae4bea0","memberElement":"33466a30-d081-4d0d-a3dc-142c59b82000"}}]}}]}}],"direction":"in"}}]}},{"id":"c3ae80a8-eeb0-4fd4-8d1a-36b18bf83520","eClass":"sysml:Membership","data":{"elementId":"b81cd454-88de-46fa-b993-db22a7a5d0bb","memberElement":"4d2f8465-d748-4b68-a5a8-d61c03031bd3"}}]}}]}}],"direction":"in"}}]}},{"id":"11ebb0eb-72cc-46a0-98f6-c135660b2e82","eClass":"sysml:ParameterMembership","data":{"elementId":"db89e0f5-6177-4b68-8850-44f7e32dd602","ownedRelatedElement":[{"id":"479d4b8c-c79b-42d3-805a-afc1dfa21852","eClass":"sysml:Feature","data":{"elementId":"83978f47-55dd-4399-a8b4-e84a7c03c13d","ownedRelationship":[{"id":"20aa93bd-a3fc-4985-b34a-c7d0cb4f8a98","eClass":"sysml:FeatureValue","data":{"elementId":"5ab031d1-3718-46a1-ae8c-c1eb2f226c3d","ownedRelatedElement":[{"id":"0f874cca-dc06-4430-89b8-a00dee51eaee","eClass":"sysml:LiteralInteger","data":{"elementId":"88c30f81-c3ce-4804-9142-c0b33f51dcd3"}}]}}],"direction":"in"}}]}}],"operator":"=="}}]}}],"direction":"in"}}]}}],"operator":"|"}}]}}],"direction":"in"}}]}}],"operator":"&"}}]}}],"isComposite":true}}],"kind":"requirement"}}]}}]}}]}}]}}]}}]}', '2026-05-20 16:21:07.743843+00', '2026-05-20 16:21:07.743843+00', false); +INSERT INTO public.document (id, semantic_data_id, name, content, created_on, last_modified_on, is_read_only) VALUES ('ef3e6929-0415-4295-b42f-64bed8bd4f55', 'aac82b89-8d53-4b16-91b4-deccc180ba62', 'expressions.sysml', '{"json":{"version":"1.0","encoding":"utf-8"},"ns":{"sysml":"http://www.eclipse.org/syson/sysml"},"migration":{"lastMigrationPerformed":"DiagramStyleDescriptionAddMigrationParticipant","migrationVersion":"2026.5.0-202603171430"},"content":[{"id":"152e5a5b-2b71-4653-8b7f-d46df76cd595","eClass":"sysml:Namespace","data":{"eAnnotations":[{"source":"org.eclipse.syson.sysml.imported"}],"elementId":"cfa2873f-f2f4-475a-8817-9f73e2dff74f","ownedRelationship":[{"id":"bea4a5f8-cc39-4cc0-ab5c-226fcf86f737","eClass":"sysml:OwningMembership","data":{"elementId":"eeda408c-b3e7-41af-a52b-3463777d41c0","ownedRelatedElement":[{"id":"baf5ea6a-7861-4b92-8be2-3fe7a2ebc415","eClass":"sysml:Package","data":{"declaredName":"Expressions","elementId":"6ff78b89-10b8-44f5-817f-50ea23e0c620","ownedRelationship":[{"id":"d8072b8b-400f-4968-b1e2-6601ba10bdc7","eClass":"sysml:NamespaceImport","data":{"elementId":"f2a55343-1f9c-4cc6-9912-8ca86dab734e","importedNamespace":"sysml:LibraryPackage kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#40bb440c-5036-58e1-8675-5afccb8b8f1d"}},{"id":"63ed369c-92bd-48cf-ba76-147c1ec13316","eClass":"sysml:OwningMembership","data":{"elementId":"033678d4-289b-46d1-9704-d97a006fb024","ownedRelatedElement":[{"id":"2bde22f7-a834-4afa-84bf-1bae1bb434d8","eClass":"sysml:PartDefinition","data":{"declaredName":"Tank","elementId":"e5e396e4-635f-44a2-8d85-50e19b94a6e7","ownedRelationship":[{"id":"bd7b6c14-0803-423c-b5d9-f368d8c32e6d","eClass":"sysml:FeatureMembership","data":{"elementId":"66064f96-7440-4236-bb21-11bb8c61224c","ownedRelatedElement":[{"id":"15ccc1e3-16b9-4ddf-9959-43141f32d48e","eClass":"sysml:AttributeUsage","data":{"declaredName":"pressure","elementId":"7479570e-234f-4603-a764-d45ba1228aad","ownedRelationship":[{"id":"470e47da-8c4f-45be-a841-5bb4fa82f8da","eClass":"sysml:FeatureTyping","data":{"elementId":"4f77e08f-1a50-4056-a6cb-283b6c0de857","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"15ccc1e3-16b9-4ddf-9959-43141f32d48e"}}],"isComposite":true}}]}},{"id":"27c51649-9b3b-471c-b846-33f10fe82332","eClass":"sysml:FeatureMembership","data":{"elementId":"747b5a9e-95de-4908-a7f0-3917cb4385ae","ownedRelatedElement":[{"id":"89b903a2-10c2-42a7-8307-b8bc9a4ba76a","eClass":"sysml:AttributeUsage","data":{"declaredName":"maxPressure","elementId":"058dca9f-5c49-4ae6-8f71-5e11df5b4021","ownedRelationship":[{"id":"01c173ba-5433-45f6-a9ad-5abf786562c9","eClass":"sysml:FeatureValue","data":{"elementId":"2a6cd6e7-6af0-426b-b6e9-1749f4cae266","ownedRelatedElement":[{"id":"703297e9-e397-496c-ac9a-49b2afff4ba7","eClass":"sysml:LiteralRational","data":{"elementId":"6a768b6c-2898-4dfa-aa7c-2a7f3a9fd6e4","value":600.0}}]}},{"id":"bb766cff-de2c-469f-90b8-06bd35514038","eClass":"sysml:FeatureTyping","data":{"elementId":"9e91a82c-3c8b-43f5-96eb-a92781f5a8d8","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"89b903a2-10c2-42a7-8307-b8bc9a4ba76a"}}],"isComposite":true}}]}},{"id":"77e243ce-1879-49a5-a4e6-ec8d91b8da9f","eClass":"sysml:FeatureMembership","data":{"elementId":"2a061597-9b75-422f-ac99-17317f4076a9","ownedRelatedElement":[{"id":"7c2ed44f-f991-4559-8594-cfd844160744","eClass":"sysml:AttributeUsage","data":{"declaredName":"volume","elementId":"87f09d7d-87a8-4edf-8c96-eb7d13c44702","ownedRelationship":[{"id":"9789b076-4604-4407-b662-6179ab76b2c5","eClass":"sysml:FeatureValue","data":{"elementId":"7625d338-d5ed-4050-bf6a-a22c75ea21af","ownedRelatedElement":[{"id":"a512cb6b-9395-48b9-88ba-fcb8b2754484","eClass":"sysml:LiteralRational","data":{"elementId":"cfa46233-fa49-4eef-b384-fc4a5861c39a","value":500.0}}]}},{"id":"91584942-a0c5-46f9-bd52-c252b9c0a285","eClass":"sysml:FeatureTyping","data":{"elementId":"cce82e52-823f-4f33-85ac-765af147c2f8","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"7c2ed44f-f991-4559-8594-cfd844160744"}}],"isComposite":true}}]}},{"id":"f5d0e91d-5d51-490e-93cf-42662bdb62e8","eClass":"sysml:FeatureMembership","data":{"elementId":"a3c78e1d-535a-4e89-a9cf-d97a00080b81","ownedRelatedElement":[{"id":"e7292249-00ff-41d1-a8b5-783668e88cc0","eClass":"sysml:AttributeUsage","data":{"declaredName":"minVolume","elementId":"6e6f68f1-9144-46ab-8b05-50d964f904a6","ownedRelationship":[{"id":"4c81d9e3-e5c9-4320-9cb1-395c353a73d1","eClass":"sysml:FeatureValue","data":{"elementId":"f861ccab-1624-4cee-ad26-1dfdc733163c","ownedRelatedElement":[{"id":"8e41e070-5926-4d74-9c76-d727d69d5fde","eClass":"sysml:LiteralRational","data":{"elementId":"d9800108-0bfd-4553-bd4a-ef16d51c1b38","value":10.0}}]}},{"id":"fcbae3ff-aeb7-48b2-97a0-55f8aa446d89","eClass":"sysml:FeatureTyping","data":{"elementId":"17d1e180-0632-4bec-9c10-0b166eb462f0","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"e7292249-00ff-41d1-a8b5-783668e88cc0"}}],"isComposite":true}}]}},{"id":"4c5f7f98-0312-4d3b-b2ac-b5a05fdb5e2f","eClass":"sysml:FeatureMembership","data":{"elementId":"b77a0d5e-7cf2-4978-a622-420c88455097","ownedRelatedElement":[{"id":"d9926727-7378-4177-a940-2fb6c1c89dce","eClass":"sysml:AttributeUsage","data":{"declaredName":"maxVolume","elementId":"c957466a-8bd4-448c-b2e5-545af7d9cadc","ownedRelationship":[{"id":"8f9592ef-9513-4025-ab13-e7d7f822f7d8","eClass":"sysml:FeatureValue","data":{"elementId":"5fd01a42-4bde-4a47-8b52-54a7c60049c1","ownedRelatedElement":[{"id":"a9216e54-f44c-4b1f-b262-13650324d325","eClass":"sysml:OperatorExpression","data":{"elementId":"ba3cea85-2725-4b96-a2af-a9159e84a7a9","ownedRelationship":[{"id":"b88c3a9d-0ce2-426e-a333-77225c45d429","eClass":"sysml:ParameterMembership","data":{"elementId":"4b58a948-936f-4567-9cb5-77739aee17c3","ownedRelatedElement":[{"id":"1ae9086c-60a8-4e6b-a24f-db44e021761b","eClass":"sysml:Feature","data":{"elementId":"19bfc3af-4154-4848-bd2e-59a1754b47df","ownedRelationship":[{"id":"52bad1f8-ee55-4bd5-aa2b-db12ec015c26","eClass":"sysml:FeatureValue","data":{"elementId":"0b26ad14-8872-4a9b-ac55-dac0f189df10","ownedRelatedElement":[{"id":"01ee6181-e890-4277-93fb-4bccf84bf3e6","eClass":"sysml:LiteralRational","data":{"elementId":"eb76a535-cb0d-4efd-b0f7-430b46d85d1a","value":100.0}}]}}],"direction":"in"}}]}},{"id":"8ed9cb6c-2fb5-43af-9bcf-9f2b83ea6e1b","eClass":"sysml:ParameterMembership","data":{"elementId":"c1df91fb-cea4-45f0-80a3-191171afb130","ownedRelatedElement":[{"id":"0222cbc2-571d-41ca-9aa6-5b7128062066","eClass":"sysml:Feature","data":{"elementId":"22361eb7-6a20-4f84-853a-cc4373032846","ownedRelationship":[{"id":"b31231a4-f853-4b71-ace4-eaab66065097","eClass":"sysml:FeatureValue","data":{"elementId":"49b00782-9d36-43a2-8a66-04d1e739daba","ownedRelatedElement":[{"id":"772d1b21-03f3-4299-aac5-564d787129b5","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"74181cea-a48b-4dbc-a45b-878f026c065f","ownedRelationship":[{"id":"576e21f5-e5b3-4a54-b6a7-636f4f2b7034","eClass":"sysml:Membership","data":{"elementId":"ef7b0f68-6c53-4d49-9537-eb3a561b1d91","memberElement":"e7292249-00ff-41d1-a8b5-783668e88cc0"}}]}}]}}],"direction":"in"}}]}}],"operator":"*"}}]}},{"id":"5f49fe65-264b-4773-9aa5-48ed839d4a86","eClass":"sysml:FeatureTyping","data":{"elementId":"c9ba2582-5b2d-4339-a4d9-edf1d05a350c","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"d9926727-7378-4177-a940-2fb6c1c89dce"}}],"isComposite":true}}]}},{"id":"bcb92dbe-1c98-4fbc-89bf-6a420f65d587","eClass":"sysml:FeatureMembership","data":{"elementId":"50960f37-4657-4ff4-9b24-01cf5d4839d5","ownedRelatedElement":[{"id":"7d42ee06-3c27-4eaa-9438-344fc789906a","eClass":"sysml:ConstraintUsage","data":{"declaredName":"pressureLimit","elementId":"0349f315-d32d-43e9-9627-9228da3bb552","ownedRelationship":[{"id":"d40b295e-159f-44fe-84a8-fa114dac3472","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"27e134d7-60b2-4a41-a2eb-ed1ca6c1a119","ownedRelatedElement":[{"id":"faa3b115-5b07-4ecf-9147-0d58ceffaf9c","eClass":"sysml:OperatorExpression","data":{"elementId":"d909007a-ddd7-4e31-b17a-4653dfa8cef8","ownedRelationship":[{"id":"94611d95-3c3d-45a8-813a-3b35933576e0","eClass":"sysml:ParameterMembership","data":{"elementId":"55d9251d-9722-4f1f-ade8-5cce8d7bafb1","ownedRelatedElement":[{"id":"a6e4adef-1a08-4384-880e-95da452d581a","eClass":"sysml:Feature","data":{"elementId":"d1eb3702-b4d0-48d4-90df-5354359f0d33","ownedRelationship":[{"id":"ce942576-087e-4f35-a0a3-7c23a7fe2bb0","eClass":"sysml:FeatureValue","data":{"elementId":"303c1de0-a072-43e8-b687-38527c51eb0e","ownedRelatedElement":[{"id":"83bc616a-bfb5-4777-a169-ac1f8142d2aa","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"046cd544-1c5c-450f-8fac-3077ff9d3652","ownedRelationship":[{"id":"ea9f50bb-2fc9-4934-b613-79a4bdf9ab0f","eClass":"sysml:Membership","data":{"elementId":"8f01928c-b0c1-4056-bfbb-64ca3335b251","memberElement":"15ccc1e3-16b9-4ddf-9959-43141f32d48e"}}]}}]}}],"direction":"in"}}]}},{"id":"7b4f5c1d-fbcd-4074-89bc-6928aecb206f","eClass":"sysml:ParameterMembership","data":{"elementId":"5ac072c4-4955-4803-b651-4d14c001f97e","ownedRelatedElement":[{"id":"41a595a8-9dfb-4542-936b-ba98891a4ea9","eClass":"sysml:Feature","data":{"elementId":"6f135276-6932-4db1-bd9c-126cb8475498","ownedRelationship":[{"id":"fb8829dc-0d44-4004-b7c6-2d617de26808","eClass":"sysml:FeatureValue","data":{"elementId":"73c691d9-1ad0-4357-92ae-8e02e690f5ef","ownedRelatedElement":[{"id":"15f2308f-9b14-4c40-b6a9-d496987dfc8b","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"45435f31-674c-40aa-ad49-ce170852a12b","ownedRelationship":[{"id":"78ed96c8-cc8b-488d-8970-524f4a8bd5be","eClass":"sysml:Membership","data":{"elementId":"5229ec54-8bd3-49e2-8221-a5f8a76142cc","memberElement":"89b903a2-10c2-42a7-8307-b8bc9a4ba76a"}}]}}]}}],"direction":"in"}}]}}],"operator":"<="}}]}}],"isComposite":true}}]}}]}}]}},{"id":"2c772a21-cd4b-472b-b9cb-2d291b86eff3","eClass":"sysml:OwningMembership","data":{"elementId":"2fcf9e17-3424-4677-b324-314c82774361","ownedRelatedElement":[{"id":"3f2124ff-5c56-486b-a296-b1c3476e5180","eClass":"sysml:PartDefinition","data":{"declaredName":"Sensor","elementId":"024ec40b-3a5b-46df-add7-4bcbec5523c7","ownedRelationship":[{"id":"560c46bc-4057-4b9e-8e5a-49e9e4109d05","eClass":"sysml:FeatureMembership","data":{"elementId":"7c0bc2eb-1488-4dd8-8ab9-afadef79a367","ownedRelatedElement":[{"id":"94c0a654-c5dc-4579-a655-89edda340104","eClass":"sysml:AttributeUsage","data":{"declaredName":"label","elementId":"46235c7e-3f38-4dfa-a061-fa5662c9ac1e","ownedRelationship":[{"id":"1758c3f6-d099-452d-8c1b-b375d51491fc","eClass":"sysml:FeatureValue","data":{"elementId":"4d70b01b-05c6-4646-b564-2035f4bde5be","ownedRelatedElement":[{"id":"ec30e68f-b6c2-4ab8-af03-9fea9ceaf2e3","eClass":"sysml:LiteralString","data":{"elementId":"1d905119-2ad9-41e5-8896-7c0d3f166e2b","value":"unnamed"}}]}},{"id":"6fd57c7e-3d50-49b3-94b7-133020804fc4","eClass":"sysml:FeatureTyping","data":{"elementId":"2a1b98bf-116f-44b6-a5cb-8aff68c8e1a8","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#76028d3d-69a4-5e12-9002-ce403e0244bd","typedFeature":"94c0a654-c5dc-4579-a655-89edda340104"}}],"isComposite":true}}]}},{"id":"ea09c1cf-a6fb-41a4-9a32-07f9a59d6ef4","eClass":"sysml:FeatureMembership","data":{"elementId":"c23a7f58-2c6b-45c3-bc49-1944baf5face","ownedRelatedElement":[{"id":"edc4f7bc-7d24-498e-8e76-ae1743668254","eClass":"sysml:AttributeUsage","data":{"declaredName":"enabled","elementId":"2aa70e33-7074-4c1d-8ef7-af6874857071","ownedRelationship":[{"id":"8cd41188-d199-4c49-ad23-10e366344c35","eClass":"sysml:FeatureValue","data":{"elementId":"7ea1ae0f-9769-4a93-8523-1b544171ffb4","ownedRelatedElement":[{"id":"5669db5e-ec61-40ca-9a52-8979126921d0","eClass":"sysml:LiteralBoolean","data":{"elementId":"14630a78-98b4-4a46-ac40-c8a49a7b7390","value":true}}]}},{"id":"2afde92b-9d7f-4e1c-ab29-bc9bd2967a82","eClass":"sysml:FeatureTyping","data":{"elementId":"0daf88b8-e462-482b-8220-4f19e3ce8380","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#d1e9242d-b2e3-5270-bf69-4f4fb0447193","typedFeature":"edc4f7bc-7d24-498e-8e76-ae1743668254"}}],"isComposite":true}}]}},{"id":"18f6bc41-fa40-4f81-b741-d601365a37a0","eClass":"sysml:FeatureMembership","data":{"elementId":"2b9522eb-72fb-4e5b-aed4-99209a770f92","ownedRelatedElement":[{"id":"b922024b-5587-4be6-9924-6afa52ce8bf2","eClass":"sysml:AttributeUsage","data":{"declaredName":"samplingRate","elementId":"ddec4b3c-42e0-4d8e-bd99-304def079d94","ownedRelationship":[{"id":"985de5ed-784f-465e-805b-6b7d88b3bddc","eClass":"sysml:FeatureValue","data":{"elementId":"5bb61755-a54e-4ea0-9ec7-e11adf867185","ownedRelatedElement":[{"id":"6d57d690-633a-4018-a0f6-5e732bc16897","eClass":"sysml:LiteralRational","data":{"elementId":"e5ef69e1-5daf-4dae-b0ed-1e7903b3d079","value":100.0}}]}},{"id":"0929e1d2-a563-4e37-befc-02767a3165ea","eClass":"sysml:FeatureTyping","data":{"elementId":"17f59ceb-baef-48a4-b67b-934ed58da6bf","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"b922024b-5587-4be6-9924-6afa52ce8bf2"}}],"isComposite":true}}]}},{"id":"48904b34-6744-4d90-8ea3-f8388f930416","eClass":"sysml:FeatureMembership","data":{"elementId":"a7691d9d-0037-4942-8a83-92cc93f14d7d","ownedRelatedElement":[{"id":"2f50920f-47d5-4508-a943-33f9a2d56a23","eClass":"sysml:AttributeUsage","data":{"declaredName":"channelCount","elementId":"4c2b5049-e9d0-4573-8fb7-032cbdcf8fdb","ownedRelationship":[{"id":"14910b2a-ff6e-4f7e-bb13-7e0979c49eca","eClass":"sysml:FeatureValue","data":{"elementId":"2d3e55d0-a26b-4a6b-ac99-f049047ada35","ownedRelatedElement":[{"id":"36055b10-a46d-42c9-95c2-901d02b7490a","eClass":"sysml:LiteralInteger","data":{"elementId":"4525ba90-45e6-4bb4-9a44-a2b3766560e8","value":4}}]}},{"id":"ffed96db-63ef-4e40-b41d-080f7dc68fef","eClass":"sysml:FeatureTyping","data":{"elementId":"c0034730-d919-4a37-ac87-9fc378662a0b","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#f2350199-2ab1-5258-8514-58812ef25dc6","typedFeature":"2f50920f-47d5-4508-a943-33f9a2d56a23"}}],"isComposite":true}}]}},{"id":"6292da99-b47c-48f9-8d1b-9115b1b0c4e9","eClass":"sysml:FeatureMembership","data":{"elementId":"c7efeeab-923d-42bc-9d62-8bf61c2ab2d7","ownedRelatedElement":[{"id":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9","eClass":"sysml:AttributeUsage","data":{"declaredName":"currentValue","elementId":"855d423f-5dbb-4042-b98c-5a34602b1d0e","ownedRelationship":[{"id":"d9b556a4-b6eb-4e20-90f6-e63908599859","eClass":"sysml:FeatureValue","data":{"elementId":"25fc714d-8228-45f3-98c1-d154cf129985","ownedRelatedElement":[{"id":"ba6195b6-3db6-410a-bf38-a22204c4263e","eClass":"sysml:LiteralRational","data":{"elementId":"31e7ced7-a849-497a-8bea-9e58b3969239"}}],"isInitial":true}},{"id":"0d5731f8-b287-4a2d-854b-32292f6082e2","eClass":"sysml:FeatureTyping","data":{"elementId":"9bb1f845-d859-45d9-b375-8749b0e46272","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9"}}],"isComposite":true}}]}},{"id":"47e0493d-48fd-4a90-977b-f159c2e2dafe","eClass":"sysml:FeatureMembership","data":{"elementId":"7171788a-abcf-4895-8770-192412a650a6","ownedRelatedElement":[{"id":"4d2f8465-d748-4b68-a5a8-d61c03031bd3","eClass":"sysml:AttributeUsage","data":{"declaredName":"errorCount","elementId":"bfc48daf-6923-48f1-9d09-596579985dab","ownedRelationship":[{"id":"c0caf7ee-94b3-44f0-a03b-13c5bfa2f37a","eClass":"sysml:FeatureValue","data":{"elementId":"99cec056-4306-4921-805d-140ecc9ee5de","ownedRelatedElement":[{"id":"0e18cf3c-0d0f-4863-b4e2-407a9fcdad8c","eClass":"sysml:LiteralInteger","data":{"elementId":"cb488158-7555-424f-a37d-1c290aa3cee5"}}],"isInitial":true}},{"id":"96a56407-061b-4f40-81f5-4d8f5e211b56","eClass":"sysml:FeatureTyping","data":{"elementId":"db1c53ba-8888-4645-bbd1-4624a258a238","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#f2350199-2ab1-5258-8514-58812ef25dc6","typedFeature":"4d2f8465-d748-4b68-a5a8-d61c03031bd3"}}],"isComposite":true}}]}},{"id":"2b4f3de5-32fd-4859-9fe6-5689e017c120","eClass":"sysml:FeatureMembership","data":{"elementId":"24b2ddc3-2007-4fcd-a4b7-943e1bc43948","ownedRelatedElement":[{"id":"3f6b7e75-5039-485c-9fbc-776b772cd746","eClass":"sysml:AttributeUsage","data":{"declaredName":"active","elementId":"251cc6ef-d2c6-4893-941c-076709500c76","ownedRelationship":[{"id":"2ba77e81-8da1-4fdc-ba91-163988a8862a","eClass":"sysml:FeatureValue","data":{"elementId":"457e68ff-f795-4dd9-8643-2dd851d2387a","ownedRelatedElement":[{"id":"0e79ab60-92de-43dc-8aed-85bd61eaa2b7","eClass":"sysml:LiteralBoolean","data":{"elementId":"79052415-268e-41f4-8cf6-ac6484067e91"}}],"isInitial":true}},{"id":"bcd180b6-ecd8-47fc-8f28-08095cd9e23f","eClass":"sysml:FeatureTyping","data":{"elementId":"09b93323-05a1-429c-9dac-dc2672085d02","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#d1e9242d-b2e3-5270-bf69-4f4fb0447193","typedFeature":"3f6b7e75-5039-485c-9fbc-776b772cd746"}}],"isComposite":true}}]}}]}}]}},{"id":"0f77318f-48df-4fd5-b4fe-c2470070695a","eClass":"sysml:OwningMembership","data":{"elementId":"3f6dda74-d5cc-4bc5-b728-79fd8dc7a929","ownedRelatedElement":[{"id":"2efcf5d4-4948-4b7d-b779-f3f694eb8165","eClass":"sysml:StateDefinition","data":{"declaredName":"ThermalControl","elementId":"040718ea-26b5-47d6-ba84-9f7c43fe2c07","ownedRelationship":[{"id":"6bd335ce-5089-4089-902f-917b1b6fed36","eClass":"sysml:StateSubactionMembership","data":{"elementId":"ded89b53-c1f0-4c68-8a56-d7283bc2b862","ownedRelatedElement":[{"id":"ac85c0b8-2d5a-491f-81dc-fb9b09b3ab31","eClass":"sysml:ActionUsage","data":{"elementId":"fd138068-384e-4be8-b885-ef3b218e006f","isComposite":true}}],"kind":"entry"}},{"id":"0345c054-7f57-45ec-8473-1261313b14d6","eClass":"sysml:FeatureMembership","data":{"elementId":"ea20286f-4020-4488-bfdd-f8b8c0293486","ownedRelatedElement":[{"id":"0a63014b-116e-455e-85f5-bc66c922d691","eClass":"sysml:TransitionUsage","data":{"elementId":"ddef46f5-05d7-411e-b826-3f1f3fea21ff","ownedRelationship":[{"id":"baa2a68d-e8f5-470c-b497-eda44fe94d59","eClass":"sysml:Membership","data":{"elementId":"0ea170b2-1597-4c55-b3e8-6cf8b7a9d204","memberElement":"ac85c0b8-2d5a-491f-81dc-fb9b09b3ab31"}},{"id":"0e6d29f8-3a63-48d1-af12-339e173ae602","eClass":"sysml:OwningMembership","data":{"elementId":"f5f627e0-538f-4fd9-b64b-a14966f22482","ownedRelatedElement":[{"id":"c59c0174-da0a-4972-a5ca-6743ab295651","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"f55e815c-45ae-4320-9753-a362b3c8e6e5","ownedRelationship":[{"id":"38f392ae-b052-4618-8c6d-8c01e635a521","eClass":"sysml:EndFeatureMembership","data":{"elementId":"8f15832d-752e-417c-a176-520904b7dfe1","ownedRelatedElement":[{"id":"a2b00582-c35c-41cf-86c2-49ab6a853807","eClass":"sysml:ReferenceUsage","data":{"elementId":"293900dd-1f99-49d4-8638-8c541b96ed6b","isEnd":true}}]}},{"id":"bf9eb61a-6c2d-4a2e-af99-6aec971b7e95","eClass":"sysml:EndFeatureMembership","data":{"elementId":"067cb51a-1f7b-40ad-b4e2-12b298e85ccc","ownedRelatedElement":[{"id":"76806c6d-2d0a-4dc0-9e1c-23dfe0845699","eClass":"sysml:ReferenceUsage","data":{"elementId":"7413373c-e4ea-4187-bcbe-e4f93128dab3","ownedRelationship":[{"id":"e57840d9-94d8-4186-8bbc-e56d0b5532d9","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"2a9d2963-2b80-4ed3-8daf-6b3637ed343c","subsettingFeature":"76806c6d-2d0a-4dc0-9e1c-23dfe0845699","referencedFeature":"630f2641-b66a-4f52-91c6-057b1c5811d0"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"1912dc94-522f-4d2a-9b1b-84ca3d86491e","eClass":"sysml:ParameterMembership","data":{"elementId":"4c276cae-1333-4c4d-a0fc-609b74b86cd6","ownedRelatedElement":[{"id":"43bed746-a5d8-4961-9fa3-560b9e53d921","eClass":"sysml:ReferenceUsage","data":{"elementId":"9e08b023-69df-4262-92be-ce2b9c6339a0","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"560d42e6-c398-48cf-9816-1bd9cae87041","eClass":"sysml:FeatureMembership","data":{"elementId":"4b970e61-3c84-4cf2-9c1f-ea3ef53bb346","ownedRelatedElement":[{"id":"630f2641-b66a-4f52-91c6-057b1c5811d0","eClass":"sysml:StateUsage","data":{"declaredName":"normal","elementId":"59276fa3-50b8-45da-a7d0-1775b3632476","isComposite":true}}]}},{"id":"e1a46bc4-adad-4ecd-ac1f-ec293b4466da","eClass":"sysml:FeatureMembership","data":{"elementId":"ca2e7bf0-9cee-4679-b29c-60eeadc8f7c1","ownedRelatedElement":[{"id":"9390334a-f844-4352-91a5-f0fbcfa072f7","eClass":"sysml:StateUsage","data":{"declaredName":"heating","elementId":"502e583f-266e-4e03-82d5-9198951b9736","isComposite":true}}]}},{"id":"4486dadb-f285-43a9-b554-b5dbe1f30ec4","eClass":"sysml:FeatureMembership","data":{"elementId":"a87c855f-cbc1-441a-90f9-59427af39f5c","ownedRelatedElement":[{"id":"1ff2edd1-7ecc-4711-8e0b-1d9e6ba18afd","eClass":"sysml:StateUsage","data":{"declaredName":"cooling","elementId":"336fbd96-f982-4f5f-ba7b-611ca08daa02","isComposite":true}}]}},{"id":"b7c0db78-1dfc-4f68-aa58-72a367032fca","eClass":"sysml:FeatureMembership","data":{"elementId":"5027456b-92a5-468a-8dc3-4da4d77356e5","ownedRelatedElement":[{"id":"8e205929-279c-421f-b739-c4d498c114da","eClass":"sysml:AttributeUsage","data":{"declaredName":"currentTemp","elementId":"5e7f955d-d275-4a9f-a4f6-fd91e00c903a","ownedRelationship":[{"id":"5be10aa2-0fcf-4b76-81bc-c700d3889d97","eClass":"sysml:FeatureValue","data":{"elementId":"f590f069-37c2-4b72-b412-0c004e7b3969","ownedRelatedElement":[{"id":"d0dec34a-5aca-420e-b7d6-4530d7ca54b2","eClass":"sysml:LiteralRational","data":{"elementId":"22502ad2-6755-4a78-b001-ae7d823d7a1a","value":20.0}}],"isInitial":true}},{"id":"7f7aafa0-3fc2-4cb5-9aa0-81039d5d4a51","eClass":"sysml:FeatureTyping","data":{"elementId":"fdb43bab-e1cc-4c65-966d-8242a09d6c52","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"8e205929-279c-421f-b739-c4d498c114da"}}],"isComposite":true}}]}},{"id":"a6e0b47d-eb19-4328-b6d6-99e68bfed356","eClass":"sysml:FeatureMembership","data":{"elementId":"9fc5a32e-ece4-4122-bed7-51fc54c19ba1","ownedRelatedElement":[{"id":"541bd9c9-44fa-4440-bebc-3f84820674e8","eClass":"sysml:AttributeUsage","data":{"declaredName":"targetTemp","elementId":"2a8602b9-d12d-40a2-9ca4-eeb421a9e2ed","ownedRelationship":[{"id":"e375b8ff-ef56-407b-8538-52a31352d147","eClass":"sysml:FeatureValue","data":{"elementId":"b63a0860-3159-44cc-922e-e4e962e48d91","ownedRelatedElement":[{"id":"2c01bf77-f6e4-4677-92c3-945189119f2e","eClass":"sysml:LiteralRational","data":{"elementId":"1d6f8b13-f67a-4508-9514-0fdd42ce7a11","value":22.0}}]}},{"id":"de665ea7-84c3-4e42-9a77-f593fe17b134","eClass":"sysml:FeatureTyping","data":{"elementId":"46004252-bb31-4407-9d4d-1e02857d777e","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}],"isComposite":true}}]}},{"id":"8d07b2dd-cb18-4fc0-baa8-f651b807b46c","eClass":"sysml:FeatureMembership","data":{"elementId":"485d35c7-55b7-4e7c-807b-0c65402c854c","ownedRelatedElement":[{"id":"9e405dc0-36d0-47f8-8b8d-461ab5a31169","eClass":"sysml:AttributeUsage","data":{"declaredName":"tolerance","elementId":"c79fd2f6-b87e-45ab-a978-d6e365d1892b","ownedRelationship":[{"id":"30f1fde2-4f4b-4257-8a9d-851f11cc8e6f","eClass":"sysml:FeatureValue","data":{"elementId":"e8a2a7c8-3eb0-4eca-af46-8812cde65a6a","ownedRelatedElement":[{"id":"ae8ef32c-b7d9-4f25-992d-8abc484db859","eClass":"sysml:LiteralRational","data":{"elementId":"ea074070-969d-4a48-b05b-afed056dab84","value":1.0}}]}},{"id":"d4ff4acb-0756-4348-8f5a-ff6f5a4fed41","eClass":"sysml:FeatureTyping","data":{"elementId":"50c766d5-c266-474b-9c43-d2cc1c0c498d","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#14c0aa22-5489-59b5-b438-ded26e83ba31","typedFeature":"9e405dc0-36d0-47f8-8b8d-461ab5a31169"}}],"isComposite":true}}]}},{"id":"7656692f-d1a8-4b63-9969-0191adc8273e","eClass":"sysml:FeatureMembership","data":{"elementId":"d8e1cc5d-5bfb-4195-91db-318eeb0b2706","ownedRelatedElement":[{"id":"0b517687-ef3f-4057-9ce5-27e27f627a22","eClass":"sysml:TransitionUsage","data":{"declaredName":"to_heating","elementId":"722d9bb6-f15a-4133-9baa-5d87384af8b2","ownedRelationship":[{"id":"ad20395d-9921-44c2-8311-8afdcdf04157","eClass":"sysml:Membership","data":{"elementId":"1d757d16-ec70-4b47-a753-7dd9402e02bc","memberElement":"630f2641-b66a-4f52-91c6-057b1c5811d0"}},{"id":"e361c51a-2480-42e1-a181-ce7d079b2e93","eClass":"sysml:OwningMembership","data":{"elementId":"c2b19814-61f6-4e6e-938f-9cf8dd68ef62","ownedRelatedElement":[{"id":"8085cacc-ccab-4176-91bc-f90d138bf7f3","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"25f126b9-bc1f-43b5-8f65-6c11f41c569b","ownedRelationship":[{"id":"bc9dc7b9-9b80-4c4d-80e8-b137d62abf73","eClass":"sysml:EndFeatureMembership","data":{"elementId":"99db0664-a0b4-4ea0-87eb-cb801838d5fe","ownedRelatedElement":[{"id":"93e43e08-43e2-4c01-b101-436fefc0feb7","eClass":"sysml:ReferenceUsage","data":{"elementId":"430bfb97-e843-4c1d-9351-ed828370dcbc","isEnd":true}}]}},{"id":"45680a1a-a4e5-4f8b-933a-2f87141422ce","eClass":"sysml:EndFeatureMembership","data":{"elementId":"cdb2a753-f470-47a3-b073-f980d304fb23","ownedRelatedElement":[{"id":"7fd10dad-a085-472c-b06d-3173f81373b0","eClass":"sysml:ReferenceUsage","data":{"elementId":"28801261-d808-4b8b-a9c4-849aa076620f","ownedRelationship":[{"id":"ca8fd8cd-1fd0-4936-a7e8-474780da6295","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"6bf78264-9a29-4a7d-9f58-af4519b5a245","subsettingFeature":"7fd10dad-a085-472c-b06d-3173f81373b0","referencedFeature":"9390334a-f844-4352-91a5-f0fbcfa072f7"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"50ce6fd3-4386-43e7-9c79-92791f484058","eClass":"sysml:ParameterMembership","data":{"elementId":"4b1fa532-9975-475f-b7a3-2b8dccde5efa","ownedRelatedElement":[{"id":"a50dc602-495e-4cbf-8587-a7909d1e064d","eClass":"sysml:ReferenceUsage","data":{"elementId":"918f482a-795f-4158-9f1b-16f94c2cfb4a","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"211a29e1-2104-4473-bc7a-e7675162e447","eClass":"sysml:FeatureMembership","data":{"elementId":"30842099-ac84-4baf-aae8-d78c11ba491a","ownedRelatedElement":[{"id":"e1c27d0b-476e-42d4-9b81-b5f064d9cbbe","eClass":"sysml:TransitionUsage","data":{"declaredName":"to_cooling","elementId":"3df50466-18d3-48d1-9b1a-6b35ab79f2b7","ownedRelationship":[{"id":"6971555b-4116-48f0-9847-9292f1357d54","eClass":"sysml:Membership","data":{"elementId":"1ae63504-5879-44d8-845c-58145c66cee8","memberElement":"630f2641-b66a-4f52-91c6-057b1c5811d0"}},{"id":"2f3331f5-bbe1-44c4-844b-d24c8f2eeffb","eClass":"sysml:TransitionFeatureMembership","data":{"elementId":"f0e1ee9a-8235-4875-b5e3-1ff7f8ac8a85","ownedRelatedElement":[{"id":"ec67ead5-7739-4dd3-a82e-f1bb5ef34268","eClass":"sysml:OperatorExpression","data":{"elementId":"974ce809-d343-4a2f-8fe5-cec41eb46ba4","ownedRelationship":[{"id":"371effd8-5eea-4802-94e5-704498a68b13","eClass":"sysml:ParameterMembership","data":{"elementId":"bc3ab140-50b6-4c33-9874-23ebc399610c","ownedRelatedElement":[{"id":"40353cdf-d10b-4322-b623-05972ba837e3","eClass":"sysml:Feature","data":{"elementId":"664143da-4921-42a1-9cfd-cfc893719859","ownedRelationship":[{"id":"1eea43cc-f48e-4dc3-bf5d-574dd7fadcb9","eClass":"sysml:FeatureValue","data":{"elementId":"4f6f4e36-88e9-4ce7-b53f-2bb46878a9f3","ownedRelatedElement":[{"id":"1440ba96-39f9-4745-9596-625baab83480","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"a06418d2-453e-4ea7-90c6-cedb31a54a93","ownedRelationship":[{"id":"3af419a1-d8cd-4f4e-a95f-03d88df310c5","eClass":"sysml:Membership","data":{"elementId":"94b074ff-c911-4b46-838c-d617bc424d2d","memberElement":"8e205929-279c-421f-b739-c4d498c114da"}}]}}]}}],"direction":"in"}}]}},{"id":"b6bbf397-915c-4df2-8153-046eddf48b60","eClass":"sysml:ParameterMembership","data":{"elementId":"1c049222-6ff6-4835-a00a-8df9349d8266","ownedRelatedElement":[{"id":"e73a1795-d083-4539-953e-6ce302c9c7a0","eClass":"sysml:Feature","data":{"elementId":"4b579ae4-8c79-4c88-9b21-db059d7857b7","ownedRelationship":[{"id":"74a4b0ca-269e-480b-b209-5a36bcfcad18","eClass":"sysml:FeatureValue","data":{"elementId":"5a8e236c-908c-478f-94a4-1dccce775e9f","ownedRelatedElement":[{"id":"c656679c-b3f8-4218-8b7c-94f40c432e9e","eClass":"sysml:OperatorExpression","data":{"elementId":"e7eac6ca-3967-41af-8f50-de765b9e7c87","ownedRelationship":[{"id":"90b4fda8-1e61-4157-966d-60ebaa3cecaa","eClass":"sysml:ParameterMembership","data":{"elementId":"8dfcdc00-48ae-4f73-b096-74263b2ff799","ownedRelatedElement":[{"id":"c612b8d5-4885-4c2e-85ed-6d0ad2074202","eClass":"sysml:Feature","data":{"elementId":"c1768702-c8ce-41c2-8c51-8195d64c97b6","ownedRelationship":[{"id":"03915a4e-b0da-48e8-863f-30f53ac37cea","eClass":"sysml:FeatureValue","data":{"elementId":"b00bb56f-0b71-407c-baa4-90956eb99b76","ownedRelatedElement":[{"id":"13070906-e608-4e8d-8418-3fc3916128f0","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"882ab32c-e241-4989-955c-608a9acbae32","ownedRelationship":[{"id":"9726f328-2238-44c6-b640-29ebad59d238","eClass":"sysml:Membership","data":{"elementId":"bc37097c-d761-4b2d-b506-9c807f25c907","memberElement":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}]}}]}}],"direction":"in"}}]}},{"id":"3d67e9aa-3fc0-4e48-a7a0-632f6b5730c1","eClass":"sysml:ParameterMembership","data":{"elementId":"a56ba801-d9c5-4302-99ae-d5e68376378c","ownedRelatedElement":[{"id":"870fc619-a861-4d71-8b0d-4c700c8c4b3f","eClass":"sysml:Feature","data":{"elementId":"bd432a49-148b-4805-b314-6aaa2b485eba","ownedRelationship":[{"id":"db0aabd1-5712-4faa-86b7-4bd4176b4389","eClass":"sysml:FeatureValue","data":{"elementId":"9702fb41-ed29-4393-bbba-8c6b864eb4e0","ownedRelatedElement":[{"id":"edc353c4-b66d-4b2b-b8d5-55f8246922ab","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"82a521eb-14f5-4e56-be04-49bb2a83678d","ownedRelationship":[{"id":"7e2b0f6f-6c10-4670-aa85-2294aadb7be3","eClass":"sysml:Membership","data":{"elementId":"225dfdb5-3b07-4afd-bb2d-554318c82ed5","memberElement":"9e405dc0-36d0-47f8-8b8d-461ab5a31169"}}]}}]}}],"direction":"in"}}]}}],"operator":"+"}}]}}],"direction":"in"}}]}}],"operator":">"}}],"kind":"guard"}},{"id":"f2dd1298-dec2-44c6-bccc-c6aff0942073","eClass":"sysml:OwningMembership","data":{"elementId":"c405c6cb-696d-4a3f-99e7-6dab852ae228","ownedRelatedElement":[{"id":"c4e5cb98-07df-49a6-a3b1-93e9d9d6f4f5","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"acd50047-bcc8-421f-b204-cef2c540355e","ownedRelationship":[{"id":"73144371-94ed-44bb-95ab-70a1a23360fe","eClass":"sysml:EndFeatureMembership","data":{"elementId":"697afe9a-c1f3-4c65-a063-7bc9ab4b106d","ownedRelatedElement":[{"id":"220c6106-c36f-4497-88e2-42125a9f69d5","eClass":"sysml:ReferenceUsage","data":{"elementId":"b1438ef2-513a-43b5-a292-7e34cd24f941","isEnd":true}}]}},{"id":"39c31f59-67df-408c-bf92-9b1c9dc209df","eClass":"sysml:EndFeatureMembership","data":{"elementId":"7e270dc1-76ee-4023-9d55-128523dd8d26","ownedRelatedElement":[{"id":"9dd8948f-9a7c-4682-bc46-dda6eaf7eed8","eClass":"sysml:ReferenceUsage","data":{"elementId":"8a705bce-88f0-4558-b010-cac84b264413","ownedRelationship":[{"id":"16928b68-0b7c-4da8-891f-bf6fc174361a","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"36718153-4eb3-48ca-8023-b1ca8a606897","subsettingFeature":"9dd8948f-9a7c-4682-bc46-dda6eaf7eed8","referencedFeature":"1ff2edd1-7ecc-4711-8e0b-1d9e6ba18afd"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"6b679136-5121-49fc-b63f-edea84f72f73","eClass":"sysml:ParameterMembership","data":{"elementId":"9d7e2288-1a5a-4ad9-aa04-96f72ddca831","ownedRelatedElement":[{"id":"5d11e636-89f5-4d42-a233-207b6d62d418","eClass":"sysml:ReferenceUsage","data":{"elementId":"8ffbe3d2-f907-4fd2-b2b3-c67ac8ef75bd","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"da3ff9dc-93bb-406a-a2cb-6bb17b551a62","eClass":"sysml:FeatureMembership","data":{"elementId":"6cf8e042-d8f9-41b6-9a1d-3232943b2b14","ownedRelatedElement":[{"id":"c7efc3c8-830f-41f4-a9cb-a3667f7c7637","eClass":"sysml:TransitionUsage","data":{"declaredName":"heating_done","elementId":"6bb2e424-424c-44d4-afb6-3923e8202303","ownedRelationship":[{"id":"c2f144d8-86b6-4dd7-b2ff-7280703d9e5d","eClass":"sysml:Membership","data":{"elementId":"551669f0-c179-4998-8de3-84a03f2255b4","memberElement":"9390334a-f844-4352-91a5-f0fbcfa072f7"}},{"id":"6dac8578-e793-4cc2-9581-59c2ef40532c","eClass":"sysml:TransitionFeatureMembership","data":{"elementId":"cf32b8b1-18ec-4787-9eb0-95da2eeb675a","ownedRelatedElement":[{"id":"e9f31b7a-9673-4037-859b-7d6e5775db53","eClass":"sysml:OperatorExpression","data":{"elementId":"514158d0-9ec0-4ca8-8cf6-c201eded035b","ownedRelationship":[{"id":"2b0b4608-771a-4b49-8264-ee9022d5f533","eClass":"sysml:ParameterMembership","data":{"elementId":"c32a9d2f-ed2f-442c-9eef-7f282e73f828","ownedRelatedElement":[{"id":"f9b860f0-3ab9-4b35-a5af-7b87c85aa51a","eClass":"sysml:Feature","data":{"elementId":"be79d529-4b62-4620-96f6-151347ef888a","ownedRelationship":[{"id":"06a57d10-f450-4edc-8d6d-7e9c085d5678","eClass":"sysml:FeatureValue","data":{"elementId":"b8b2fe56-0ab6-41c9-ab2a-fc9f238d4c36","ownedRelatedElement":[{"id":"07ecaa6c-9469-4602-9938-ef4fe35c8e61","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"498a0218-a6a1-4d1d-951d-b9f2fb76a93a","ownedRelationship":[{"id":"2a962769-9796-46c5-a084-e78784f6e775","eClass":"sysml:Membership","data":{"elementId":"4cf777d6-945d-407c-a1ed-e0b1af63fe54","memberElement":"8e205929-279c-421f-b739-c4d498c114da"}}]}}]}}],"direction":"in"}}]}},{"id":"925a2b9f-4c32-49a1-9b83-23b44f262ae8","eClass":"sysml:ParameterMembership","data":{"elementId":"2b1b4a8e-8d3e-4611-9e2b-e67fb634a03c","ownedRelatedElement":[{"id":"2a0e96be-a356-424d-a497-1fb6e0a67a75","eClass":"sysml:Feature","data":{"elementId":"b118b738-974f-47c8-9000-e676ff11acf9","ownedRelationship":[{"id":"77fa7bc6-7751-48fd-b4db-811e8ddb0107","eClass":"sysml:FeatureValue","data":{"elementId":"0faa3816-569c-44c2-91f4-0a62629bdc35","ownedRelatedElement":[{"id":"8deba717-e9e8-4359-a7ee-0392cc60da28","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"4f0cbbb1-ed40-47c5-9fdc-716954416eca","ownedRelationship":[{"id":"31c29b60-785d-4c12-91ff-1a6bd5cd0a97","eClass":"sysml:Membership","data":{"elementId":"cfb554e6-b753-40aa-8212-646ac2307d97","memberElement":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}]}}]}}],"direction":"in"}}]}}],"operator":">="}}],"kind":"guard"}},{"id":"52bd3814-e962-4bf3-bdbc-af103344c0ad","eClass":"sysml:OwningMembership","data":{"elementId":"68dca418-736b-429d-b442-271730f62bed","ownedRelatedElement":[{"id":"bf42847e-36cd-4d3d-aa5f-adbda8deedf1","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"1235177c-931e-444e-841a-74a0033b7573","ownedRelationship":[{"id":"71fc2ef3-58ee-46f5-9f59-16782d9d18ca","eClass":"sysml:EndFeatureMembership","data":{"elementId":"64387b5f-6f0c-43c6-8630-9f507376e5e3","ownedRelatedElement":[{"id":"445af89b-6f69-4a1b-bb66-ee2fad4012bd","eClass":"sysml:ReferenceUsage","data":{"elementId":"39473346-c45b-4bf0-a667-771e453ca497","isEnd":true}}]}},{"id":"853b2327-fd95-4281-92d3-39675c9832ff","eClass":"sysml:EndFeatureMembership","data":{"elementId":"ae636aba-2171-48b4-9bc9-36b8e319a679","ownedRelatedElement":[{"id":"b2b75688-a923-4a1f-966d-bacdff99b033","eClass":"sysml:ReferenceUsage","data":{"elementId":"a4debe8e-e4c5-4e03-ac70-94f40d27f9e9","ownedRelationship":[{"id":"43ce1363-6e62-4981-b36e-b8e0b32431f3","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"66ec302b-b8c2-4029-8536-830eeb9904ae","subsettingFeature":"b2b75688-a923-4a1f-966d-bacdff99b033","referencedFeature":"630f2641-b66a-4f52-91c6-057b1c5811d0"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"a4f9b12e-4854-450c-a5b4-c13417654040","eClass":"sysml:ParameterMembership","data":{"elementId":"46d97c31-de66-482e-91da-e7fbc6555f7a","ownedRelatedElement":[{"id":"f7e4f511-9110-424d-9787-c4bec859f3bb","eClass":"sysml:ReferenceUsage","data":{"elementId":"e1cdc0e3-a709-4173-9d58-7500c52b4d9f","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}},{"id":"fd55211f-bc7f-4598-8bc1-0a3d4b54f974","eClass":"sysml:FeatureMembership","data":{"elementId":"888f6364-e8aa-4312-8477-baa01db1b493","ownedRelatedElement":[{"id":"8a153941-bf0a-4010-a51e-62acb8bd63bb","eClass":"sysml:TransitionUsage","data":{"declaredName":"cooling_done","elementId":"9bb3b3d0-59ae-43ea-aeeb-27cd95233987","ownedRelationship":[{"id":"5a798e86-8ac9-428c-bd43-983a008a96ce","eClass":"sysml:Membership","data":{"elementId":"150daea0-ca87-4737-b1cc-be68c0708d45","memberElement":"1ff2edd1-7ecc-4711-8e0b-1d9e6ba18afd"}},{"id":"9a4869bf-59f1-40fe-bb41-5b80125eec95","eClass":"sysml:TransitionFeatureMembership","data":{"elementId":"0ee132d8-b870-40a6-93b2-0e386ca698ec","ownedRelatedElement":[{"id":"506f2589-c9aa-497d-b9e2-9f3568a1b60e","eClass":"sysml:OperatorExpression","data":{"elementId":"b17dcb88-0404-4a2d-b175-29b5c2430b10","ownedRelationship":[{"id":"9439080c-7bc5-442c-a234-4fbced1722fd","eClass":"sysml:ParameterMembership","data":{"elementId":"03eeff23-1ce5-40e9-b8f8-8c971d8fea9b","ownedRelatedElement":[{"id":"4bb65cfe-8311-4ac1-85d8-1b19421553b0","eClass":"sysml:Feature","data":{"elementId":"12652e9b-2669-4e27-90fb-3d6c3f3a665b","ownedRelationship":[{"id":"6ec15f89-da66-4dc9-bdf1-34a8235a0e60","eClass":"sysml:FeatureValue","data":{"elementId":"516566a3-89e8-4057-8bb4-3238a772efae","ownedRelatedElement":[{"id":"131bcb2c-6bd2-4e48-a392-4bc83d15ec5d","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"71069a61-0947-49ae-82a6-131855801506","ownedRelationship":[{"id":"3b4c7e1b-00ad-4ef4-8f12-87c642d7e340","eClass":"sysml:Membership","data":{"elementId":"b7da76e8-90dd-4816-a096-3bc4d74fcfff","memberElement":"8e205929-279c-421f-b739-c4d498c114da"}}]}}]}}],"direction":"in"}}]}},{"id":"4c107a4c-9209-412b-953e-60b1c643382a","eClass":"sysml:ParameterMembership","data":{"elementId":"4e92e729-b2d1-424c-9471-8f8c17cdc6b7","ownedRelatedElement":[{"id":"010203af-dce4-454e-a19a-888ae9c3b675","eClass":"sysml:Feature","data":{"elementId":"401748ba-f2fe-4fd0-903a-bbbfb3067510","ownedRelationship":[{"id":"4ba22430-f1f1-4462-a196-ed8b6e119841","eClass":"sysml:FeatureValue","data":{"elementId":"9854172d-ee15-4e79-9acd-9717b3b5c598","ownedRelatedElement":[{"id":"61a15a33-8067-4d16-a44f-73bf1eb99e2d","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"972b0f23-2c30-42c6-93d4-71b2d291460e","ownedRelationship":[{"id":"364f5f78-67b1-4631-9d0e-01641d95afc9","eClass":"sysml:Membership","data":{"elementId":"cfba9064-3b74-4bf4-bdbf-97e54c8b2013","memberElement":"541bd9c9-44fa-4440-bebc-3f84820674e8"}}]}}]}}],"direction":"in"}}]}}],"operator":"<="}}],"kind":"guard"}},{"id":"0f19e6b9-2973-411c-b800-8d0ed49795be","eClass":"sysml:OwningMembership","data":{"elementId":"d2755907-2b2e-452f-8051-637f99928b24","ownedRelatedElement":[{"id":"d8aee92a-f512-4762-b4e4-b948f450a024","eClass":"sysml:SuccessionAsUsage","data":{"elementId":"c1cb5168-b133-4e08-8f9f-3243ee80134d","ownedRelationship":[{"id":"9b1ee916-7707-43a1-937c-7cad3d9b5b77","eClass":"sysml:EndFeatureMembership","data":{"elementId":"1526df00-9a9b-41e4-8224-e54e782c429d","ownedRelatedElement":[{"id":"03e69081-de75-4755-8a05-056340bfcf21","eClass":"sysml:ReferenceUsage","data":{"elementId":"b907c9b6-3433-4113-9ed8-34644ca93a8c","isEnd":true}}]}},{"id":"f8423145-7a38-4e0b-848d-67a70db029c6","eClass":"sysml:EndFeatureMembership","data":{"elementId":"2595cd38-81ee-46c6-b87c-7c948a5ab166","ownedRelatedElement":[{"id":"98dfa1ca-9866-4079-b43d-b61af3c53e64","eClass":"sysml:ReferenceUsage","data":{"elementId":"ada1671c-beb1-4333-b144-1c9568840b05","ownedRelationship":[{"id":"629647f9-2a93-493e-883d-d5c0cb6d9fdd","eClass":"sysml:ReferenceSubsetting","data":{"elementId":"de396f89-7470-469c-9ab6-a726f8de8400","subsettingFeature":"98dfa1ca-9866-4079-b43d-b61af3c53e64","referencedFeature":"630f2641-b66a-4f52-91c6-057b1c5811d0"}}],"isComposite":true,"isEnd":true}}]}}],"isComposite":true}}]}},{"id":"5ed10d2c-ac2b-4864-9b4f-74218a8119d7","eClass":"sysml:ParameterMembership","data":{"elementId":"8444ae28-737f-4667-b584-a5ec3afd4cc5","ownedRelatedElement":[{"id":"3414baf1-cc30-4843-90e6-ed004d4b11f4","eClass":"sysml:ReferenceUsage","data":{"elementId":"a9f3e3d7-8086-467c-8a9f-040ae5ec8f4a","direction":"in","isComposite":true}}]}}],"isComposite":true}}]}}]}}]}},{"id":"f1ac0d22-7a0f-413b-b576-85a3ffbe6135","eClass":"sysml:OwningMembership","data":{"elementId":"e648c25f-e278-4e65-9133-0dc96e1f0026","ownedRelatedElement":[{"id":"69d595d7-6a07-4cb1-a4ea-e6102b4ec12d","eClass":"sysml:ConcernDefinition","data":{"declaredName":"SafetyAndReliability","elementId":"3c2ae026-8af6-4bf4-bc7c-79234a98eff9","ownedRelationship":[{"id":"ef1499c9-c7f7-4acb-acf5-e8877c9383c8","eClass":"sysml:FeatureMembership","data":{"elementId":"c610ab68-ac78-4599-b05e-7174225eeaa7","ownedRelatedElement":[{"id":"e2678e9c-3155-4570-bd56-4c8457084f05","eClass":"sysml:AttributeUsage","data":{"declaredName":"deploymentCount","elementId":"9c8fd285-2a30-4ee8-9e2b-cc5a38f03e85","ownedRelationship":[{"id":"3e8dbff8-89e0-4113-a368-9080e6e59b45","eClass":"sysml:FeatureValue","data":{"elementId":"7359a844-4139-4401-b296-a9ab08f92acf","ownedRelatedElement":[{"id":"2db9e19e-7b70-420f-bbab-875dd36ee56f","eClass":"sysml:LiteralInteger","data":{"elementId":"05d4dfe9-b7c6-4b85-864b-83f347eee7be","value":3}}]}},{"id":"21d2afe7-e7b0-4994-9dca-09221ba31bf1","eClass":"sysml:FeatureTyping","data":{"elementId":"c6132f83-494c-4a60-bbac-1862a5261fc7","type":"sysml:DataType kermllibrary:///b2c6dd37-2084-3ce4-9ce2-580fdf30629c#f2350199-2ab1-5258-8514-58812ef25dc6","typedFeature":"e2678e9c-3155-4570-bd56-4c8457084f05"}}],"isComposite":true}}]}},{"id":"5878dce7-7b5a-4f3f-9780-b01ccdd0c379","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"d788cb4d-7166-4e73-ac86-425afa925dec","ownedRelatedElement":[{"id":"5e36a9cd-89d3-4653-b767-0e1be2d32ad5","eClass":"sysml:ConstraintUsage","data":{"elementId":"585f8cab-50a5-47a5-8ea1-3f5929be4af2","ownedRelationship":[{"id":"821531fa-1c3b-468e-aeba-5f2f8ce6e2a4","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"a5488ef2-0227-4422-ac46-dda945fcbf4d","ownedRelatedElement":[{"id":"8a6c830c-98af-403f-a4de-938a31f61194","eClass":"sysml:OperatorExpression","data":{"elementId":"8f0efd41-c032-4a95-b4da-80641f15fa5a","ownedRelationship":[{"id":"298ac857-1424-421a-8895-f8b2ef5cfc55","eClass":"sysml:ParameterMembership","data":{"elementId":"337a51c2-5cb0-4c94-9309-06d838bdb875","ownedRelatedElement":[{"id":"b0ce01ae-8dd1-406b-b61e-6b5c0200a4bc","eClass":"sysml:Feature","data":{"elementId":"bed903ba-e17d-426e-bef1-3c83fed8ad5b","ownedRelationship":[{"id":"1489f1a6-db01-4f94-b7ba-3c221451fbbe","eClass":"sysml:FeatureValue","data":{"elementId":"294d19aa-e1a2-429a-a91e-35b068b48631","ownedRelatedElement":[{"id":"9e0eed6b-d20e-449a-b674-3e54e3d53859","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"4affe832-9f21-4775-abf7-9e33ea8c6c8e","ownedRelationship":[{"id":"37daf8ad-f0b9-4ac1-96f1-29da588d1fe5","eClass":"sysml:Membership","data":{"elementId":"bf9614cb-198c-4f53-9f63-0f1aa8820c10","memberElement":"e2678e9c-3155-4570-bd56-4c8457084f05"}}]}}]}}],"direction":"in"}}]}},{"id":"f35b3dda-8d34-4dc3-94e0-e5f7a7accff9","eClass":"sysml:ParameterMembership","data":{"elementId":"2bd75866-58d5-4522-aca1-6cf4196ed16b","ownedRelatedElement":[{"id":"1eace1ad-8813-4660-a1cd-332909552774","eClass":"sysml:Feature","data":{"elementId":"bd79950f-6dbf-4c42-8f2c-06aa4b7744c6","ownedRelationship":[{"id":"64d75861-f3c8-44f3-a0b8-dbf2e7878dc3","eClass":"sysml:FeatureValue","data":{"elementId":"07085d12-61df-40fa-8768-49c55c23e67b","ownedRelatedElement":[{"id":"56c8f7f8-93ef-4666-aa56-53b6531c0d4f","eClass":"sysml:LiteralInteger","data":{"elementId":"1791dfbd-3e30-488c-bbbe-30816bad15bc"}}]}}],"direction":"in"}}]}}],"operator":">"}}]}}],"isComposite":true}}]}},{"id":"597a0e23-3eef-471c-8dbd-75562a4e4d7a","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"b0aef8c1-d38c-4bd9-8ae2-4f0542fe91d7","ownedRelatedElement":[{"id":"b34a95e4-cb32-4a1c-b1ee-17d4bd62c7d2","eClass":"sysml:ConstraintUsage","data":{"declaredName":"minimumRedundancy","elementId":"76a7a9b1-9ecc-42b1-9a41-5b328053f12f","ownedRelationship":[{"id":"8c80e3db-82fa-41c4-be21-274b737f7284","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"dbb57839-6678-448a-8221-be6911b0f848","ownedRelatedElement":[{"id":"ed00c629-0f82-4874-9590-5a775e35081d","eClass":"sysml:OperatorExpression","data":{"elementId":"c67dae08-fad7-409c-ae7b-ee013cca30d6","ownedRelationship":[{"id":"7d801324-bad9-46b1-970f-7a2b38a556aa","eClass":"sysml:ParameterMembership","data":{"elementId":"8a478841-dab9-42a1-8966-ed68ec3be498","ownedRelatedElement":[{"id":"dc503057-d95b-4569-b694-9c03d8a4a711","eClass":"sysml:Feature","data":{"elementId":"5ee82585-9fb8-4395-8b39-e9ffc2ac6d80","ownedRelationship":[{"id":"8c469bc4-c47f-4ea8-9b6d-2aa4c643d7c1","eClass":"sysml:FeatureValue","data":{"elementId":"e1671e98-bc6d-4194-84c8-6f79c29850c0","ownedRelatedElement":[{"id":"2d5735e7-8a41-4fd8-856e-46af848a86f0","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"7f2be62b-42dc-4161-bbf1-9e33a596e6f7","ownedRelationship":[{"id":"cf8e2ed0-00d1-4e87-8a2f-b23d7c6c2879","eClass":"sysml:Membership","data":{"elementId":"f11aecf9-0c21-45a8-843f-fe5d4d96a0a9","memberElement":"e2678e9c-3155-4570-bd56-4c8457084f05"}}]}}]}}],"direction":"in"}}]}},{"id":"6f077a43-6f45-49b1-9232-b3282f0abb57","eClass":"sysml:ParameterMembership","data":{"elementId":"c2c6e7b8-af06-4096-989a-3c2e95baca51","ownedRelatedElement":[{"id":"0309d85e-37cc-499f-b876-846b2d5a4c2a","eClass":"sysml:Feature","data":{"elementId":"ca1bdcc4-dadc-4228-8d61-813b74f39cc7","ownedRelationship":[{"id":"dfad1497-873d-4629-a277-c254e1a247a9","eClass":"sysml:FeatureValue","data":{"elementId":"a50bbd08-8668-4de4-a64f-016da901a339","ownedRelatedElement":[{"id":"d1b9e2c7-f50f-44a3-a585-7f531eb3fbf9","eClass":"sysml:LiteralInteger","data":{"elementId":"48a9725a-a225-454e-8421-a03542e9e7e8","value":2}}]}}],"direction":"in"}}]}}],"operator":">="}}]}}],"isComposite":true}}],"kind":"requirement"}}]}}]}},{"id":"a6f07c1f-b22d-4081-a3d9-3fc78dee4d22","eClass":"sysml:OwningMembership","data":{"elementId":"db5e69df-ce41-43a4-a9c1-2655173fae74","ownedRelatedElement":[{"id":"da2296a4-25ed-4f04-abc8-d47f93cd223c","eClass":"sysml:ConcernDefinition","data":{"declaredName":"PerformanceConcern","elementId":"719defb0-780c-486b-85d5-b3d4e5b460cc","ownedRelationship":[{"id":"d1836f12-7281-4b5b-a0d2-26cfef749277","eClass":"sysml:SubjectMembership","data":{"elementId":"35bf0d61-c429-43fb-8f17-f6059aa0c4d3","ownedRelatedElement":[{"id":"33466a30-d081-4d0d-a3dc-142c59b82000","eClass":"sysml:ReferenceUsage","data":{"declaredName":"s","elementId":"ea6f2066-3a2f-4888-9eb8-33e6cec61b8d","ownedRelationship":[{"id":"1355d4f4-a4c7-4a0c-bb4a-a8dd29b2c3df","eClass":"sysml:FeatureTyping","data":{"elementId":"caea1502-7778-408f-ac2b-db317a07154f","type":"3f2124ff-5c56-486b-a296-b1c3476e5180","typedFeature":"33466a30-d081-4d0d-a3dc-142c59b82000"}}],"direction":"in","isComposite":true}}]}},{"id":"a4eda0c9-d3e4-4ebc-8d8b-0c864423acf4","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"fbab8f7d-eaf7-4510-bed3-2679d739229a","ownedRelatedElement":[{"id":"4fd2c402-15b7-4546-ad9c-7aa9419a1528","eClass":"sysml:ConstraintUsage","data":{"elementId":"98f1df4b-ff5c-498a-960b-9cb66ef0dbf9","isComposite":true}}]}},{"id":"934e8eac-2e71-4b04-b759-d928aee33336","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"df1c9c38-1d8b-49e6-b8f9-4cdc9af5b9d9","ownedRelatedElement":[{"id":"6891b4f5-6f02-4c73-ae23-db88ad10b253","eClass":"sysml:ConstraintUsage","data":{"declaredName":"responsiveness","elementId":"c0f01f9c-e59f-4517-9d2c-a295ce86c4b2","ownedRelationship":[{"id":"d20bfa80-aa30-436f-a5bf-96e2217efa58","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"33ea9c9a-383c-4d7e-b356-6df68a277de9","ownedRelatedElement":[{"id":"6f2e1644-b09d-46a2-b155-fc123e0f2953","eClass":"sysml:OperatorExpression","data":{"elementId":"378814e3-5c6b-4aac-983b-56d7ba918c1d","ownedRelationship":[{"id":"93a8bf8c-3c78-47f4-be7a-5bfe2faccaa3","eClass":"sysml:ParameterMembership","data":{"elementId":"8b7301cd-24b5-4b2b-8e1a-5a0dc096bdbc","ownedRelatedElement":[{"id":"fb7b2c32-7fe5-4ad7-bf3c-fc17280e4f4b","eClass":"sysml:Feature","data":{"elementId":"5a5849ab-2fa4-4966-8981-e252afcbe1f8","ownedRelationship":[{"id":"3a8347bc-70f7-4de8-892f-676542d63765","eClass":"sysml:FeatureValue","data":{"elementId":"dc48009e-02ff-4dd9-8986-71bef33e499f","ownedRelatedElement":[{"id":"501238ee-b170-4a71-add9-c3cc4b62b541","eClass":"sysml:OperatorExpression","data":{"elementId":"b4f2d2fc-f450-48f8-ade1-138bedd954ab","ownedRelationship":[{"id":"0e53a9bd-1bd5-4b12-931c-da6a744381be","eClass":"sysml:ParameterMembership","data":{"elementId":"2eecf130-286c-498a-b073-6ccd04e790dd","ownedRelatedElement":[{"id":"244833c3-2b41-467a-bb18-03bdca1aaf91","eClass":"sysml:Feature","data":{"elementId":"35c7ccb4-753a-4b3b-8bee-1e87f1faba9d","ownedRelationship":[{"id":"c2125fb7-4da1-4c18-ae2d-545b2ca6e3d3","eClass":"sysml:FeatureValue","data":{"elementId":"09b48893-6827-4cf9-bec6-88b807844c19","ownedRelatedElement":[{"id":"c19dca8a-1bed-49cd-a027-c10b6570e483","eClass":"sysml:FeatureChainExpression","data":{"elementId":"7a3c3fe4-404d-4889-9e34-1a3dd5ce5ca5","ownedRelationship":[{"id":"2febd014-6a70-48ac-9a28-211fb0cfc2bb","eClass":"sysml:ParameterMembership","data":{"elementId":"57bc8b4b-0a38-4b7f-b3a6-5d0523cc728c","ownedRelatedElement":[{"id":"a236b40b-3240-4162-8309-ba8de4a00b11","eClass":"sysml:Feature","data":{"elementId":"8a6e54a2-dd2a-46c2-840e-a0444dfc17d7","ownedRelationship":[{"id":"d4999cc0-72f8-418c-8a16-8d362577a450","eClass":"sysml:FeatureValue","data":{"elementId":"1371d3c0-f0db-4df2-b39a-86196bffcd6a","ownedRelatedElement":[{"id":"50e3db21-7e60-491c-ac6c-9a7dc9407207","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"4257cf6d-7f15-4fe9-b48e-24a072c6f040","ownedRelationship":[{"id":"87ec1ec4-0515-440b-b35c-8b8581217414","eClass":"sysml:Membership","data":{"elementId":"294b0f69-810d-4be2-bbdc-2022d8aa9794","memberElement":"33466a30-d081-4d0d-a3dc-142c59b82000"}}]}}]}}],"direction":"in"}}]}},{"id":"091ee316-159d-400d-94b8-ba0aa5c2f9b5","eClass":"sysml:Membership","data":{"elementId":"1dac782f-da3d-4fe4-9d47-3fa569692bcc","memberElement":"b922024b-5587-4be6-9924-6afa52ce8bf2"}}]}}]}}],"direction":"in"}}]}},{"id":"379e1891-786a-48ee-96a3-d6e3b00cde72","eClass":"sysml:ParameterMembership","data":{"elementId":"ef6e61be-424e-4063-bf2f-a81da5029fcc","ownedRelatedElement":[{"id":"fefc7b1f-cd73-4ef5-95bf-37f12b0749b8","eClass":"sysml:Feature","data":{"elementId":"d080d7d8-b587-4f09-8546-3b7515b73bf7","ownedRelationship":[{"id":"b08c94c0-5fd7-4498-81f8-91cc16df465e","eClass":"sysml:FeatureValue","data":{"elementId":"47f17548-693b-4b52-b6c5-146f93103b88","ownedRelatedElement":[{"id":"f8e0dcc5-6e48-4e37-a14d-37a1026ee01a","eClass":"sysml:LiteralRational","data":{"elementId":"39ac2b8c-4701-4616-8d73-6dc7ffe2c9cd","value":50.0}}]}}],"direction":"in"}}]}}],"operator":">="}}]}}],"direction":"in"}}]}},{"id":"eb8516c8-e8c8-4ee8-939a-55325c8b1cea","eClass":"sysml:ParameterMembership","data":{"elementId":"218a433e-cfa0-4902-9b4e-f0587be3b80e","ownedRelatedElement":[{"id":"c5b2f829-df1b-40ce-83d3-113b3bbfaba5","eClass":"sysml:Feature","data":{"elementId":"4134c6cb-8c93-4d25-af07-c284f7be3969","ownedRelationship":[{"id":"d60596d0-3c29-41a6-b460-898ed9b4c263","eClass":"sysml:FeatureValue","data":{"elementId":"7d1049c4-86cf-4589-b629-8d63970b8583","ownedRelatedElement":[{"id":"eb62764e-be00-4f53-a943-2bb9afe26d4c","eClass":"sysml:OperatorExpression","data":{"elementId":"00efad22-e113-41bc-be71-47de9a1fb9a8","ownedRelationship":[{"id":"64060226-0dc0-4dc1-8a5e-d01c98830213","eClass":"sysml:ParameterMembership","data":{"elementId":"300b058f-b25b-4281-90fe-684eb92606de","ownedRelatedElement":[{"id":"380808e7-4aa1-4f04-8296-8dbe5d1b9fc1","eClass":"sysml:Feature","data":{"elementId":"63ae1974-7814-4c0a-893e-72850334c386","ownedRelationship":[{"id":"23d8c3ac-ca81-45bb-956a-8e8597b49033","eClass":"sysml:FeatureValue","data":{"elementId":"8a290ed0-03f2-495d-bbc6-28f3570feb4b","ownedRelatedElement":[{"id":"4ad5fcc2-dcbe-4254-8e63-f4dc78552ad9","eClass":"sysml:OperatorExpression","data":{"elementId":"ff15a082-0091-4e71-bdf4-8cd81328f2ca","ownedRelationship":[{"id":"3949740d-1e51-4a76-81d9-66066d200c63","eClass":"sysml:ParameterMembership","data":{"elementId":"c63c1f9d-e626-47dc-9d32-59038df3b448","ownedRelatedElement":[{"id":"9a3ac2bf-cc5f-4854-87bc-14a035ad38e5","eClass":"sysml:Feature","data":{"elementId":"47d4f5d4-feb4-404c-9d39-e36cec21db8e","ownedRelationship":[{"id":"9d85853c-5921-4c83-a954-2d022e66f86d","eClass":"sysml:FeatureValue","data":{"elementId":"3f3a18b5-da04-4aa6-831c-984e8a65d47b","ownedRelatedElement":[{"id":"d3f88bd1-b325-4743-920b-e29c5806d7ef","eClass":"sysml:FeatureChainExpression","data":{"elementId":"f0d776b0-fd96-4282-aecd-722d89b96cff","ownedRelationship":[{"id":"89988082-a6b7-408a-99e5-9601ce0a1bf6","eClass":"sysml:ParameterMembership","data":{"elementId":"6ec39eba-a272-4db0-8c70-d16ea7517f86","ownedRelatedElement":[{"id":"51df5f6b-5cb6-48e7-9677-080c823eacca","eClass":"sysml:Feature","data":{"elementId":"53f44fae-071d-4263-9fde-7dc008d14df0","ownedRelationship":[{"id":"e741aa76-c4bc-4afc-95a6-d9d947a279c6","eClass":"sysml:FeatureValue","data":{"elementId":"a938aad2-2fb1-4258-b1c0-730ab660880b","ownedRelatedElement":[{"id":"ef20405c-9d4d-4ee5-bd10-b353bd9d8e1f","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"0e23e1a9-17f0-4ee1-bd4e-9ca406eece66","ownedRelationship":[{"id":"8938cb64-37ff-421a-82c4-3e1fbc43ddd4","eClass":"sysml:Membership","data":{"elementId":"4b50d9b9-0289-4edc-852e-b9037b2ef60f","memberElement":"33466a30-d081-4d0d-a3dc-142c59b82000"}}]}}]}}],"direction":"in"}}]}},{"id":"3045651a-778a-43ae-bdb0-b7072ec4bac1","eClass":"sysml:Membership","data":{"elementId":"1a41f919-9831-4a8b-b7ba-5c628414b769","memberElement":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9"}}]}}]}}],"direction":"in"}}]}},{"id":"fad2ff7a-212e-42e4-9a73-3f8c603d3d37","eClass":"sysml:ParameterMembership","data":{"elementId":"57db7214-0217-449d-8a9b-af78d0334a26","ownedRelatedElement":[{"id":"7c261030-6e18-4072-b4d8-5e700f06f982","eClass":"sysml:Feature","data":{"elementId":"a885a849-350f-41a8-acae-f10b40a21ae8","ownedRelationship":[{"id":"4fc87293-d300-4bdf-b824-c54f9fc9dd91","eClass":"sysml:FeatureValue","data":{"elementId":"1b1e8333-e3e8-4ebc-89b5-1a30a9f54b19","ownedRelatedElement":[{"id":"8d96afc1-c7dd-42ad-a350-57f0b800cc38","eClass":"sysml:LiteralRational","data":{"elementId":"576e66e8-67b6-49c2-957d-738dc65e0309"}}]}}],"direction":"in"}}]}}],"operator":"!="}}]}}],"direction":"in"}}]}},{"id":"03c4fde9-59c7-4499-b22c-f76128218acc","eClass":"sysml:ParameterMembership","data":{"elementId":"8b82cb63-e3d2-410a-86d5-053d9c4de34e","ownedRelatedElement":[{"id":"7949920d-fef9-4ada-a1fd-6146f740a9af","eClass":"sysml:Feature","data":{"elementId":"13999012-8669-458a-9a12-09a4344c25c5","ownedRelationship":[{"id":"7f0c0cbc-d241-42e4-9631-63195ec2387e","eClass":"sysml:FeatureValue","data":{"elementId":"4ae968bd-9835-490f-b122-70579a109558","ownedRelatedElement":[{"id":"4ca5a50e-d116-4b29-9e5c-bff45c6685d9","eClass":"sysml:OperatorExpression","data":{"elementId":"097d302b-bd39-4fdf-b37d-bfaf274d684a","ownedRelationship":[{"id":"c1b9246d-6c33-4efa-8349-63eca55ed258","eClass":"sysml:ParameterMembership","data":{"elementId":"acbda919-a449-4e50-8769-21c05c333f6e","ownedRelatedElement":[{"id":"7b99f3f9-9a46-4dc1-b31b-15b4f243e8e2","eClass":"sysml:Feature","data":{"elementId":"72c64d09-668a-4881-94f2-a02ee97e7f08","ownedRelationship":[{"id":"1ccd4617-8a24-40c1-b1bf-e14c57948d68","eClass":"sysml:FeatureValue","data":{"elementId":"df287639-e735-491a-8fe5-77e377244ea0","ownedRelatedElement":[{"id":"3b7a7f00-42b4-4962-8249-201ea3546292","eClass":"sysml:FeatureChainExpression","data":{"elementId":"39c623a8-db65-483c-b49d-6476f1eb02a7","ownedRelationship":[{"id":"c4b1bdfe-008a-42e2-a0da-560ef61c0657","eClass":"sysml:ParameterMembership","data":{"elementId":"dd1c5acd-02d0-40d5-a509-f934c915227d","ownedRelatedElement":[{"id":"f952d5b2-527e-4487-ad14-a501cbb4ec32","eClass":"sysml:Feature","data":{"elementId":"2302b015-7719-4042-9929-e4ad7cf7b1eb","ownedRelationship":[{"id":"ce4564b8-6fe7-49fc-a146-5d14b3c7405e","eClass":"sysml:FeatureValue","data":{"elementId":"6b6dae15-eda9-4734-8313-71897cfb4fe1","ownedRelatedElement":[{"id":"cbb045fe-e306-4bf8-84ed-e105822603f7","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"dac96cd8-1b64-4b8f-86d2-f9c162cb33a2","ownedRelationship":[{"id":"1fcde9a2-93af-4f46-b5af-0e6b2c94f94e","eClass":"sysml:Membership","data":{"elementId":"ec45938e-93b4-4039-8f0c-8fb5fae4bea0","memberElement":"33466a30-d081-4d0d-a3dc-142c59b82000"}}]}}]}}],"direction":"in"}}]}},{"id":"c3ae80a8-eeb0-4fd4-8d1a-36b18bf83520","eClass":"sysml:Membership","data":{"elementId":"b81cd454-88de-46fa-b993-db22a7a5d0bb","memberElement":"4d2f8465-d748-4b68-a5a8-d61c03031bd3"}}]}}]}}],"direction":"in"}}]}},{"id":"11ebb0eb-72cc-46a0-98f6-c135660b2e82","eClass":"sysml:ParameterMembership","data":{"elementId":"db89e0f5-6177-4b68-8850-44f7e32dd602","ownedRelatedElement":[{"id":"479d4b8c-c79b-42d3-805a-afc1dfa21852","eClass":"sysml:Feature","data":{"elementId":"83978f47-55dd-4399-a8b4-e84a7c03c13d","ownedRelationship":[{"id":"20aa93bd-a3fc-4985-b34a-c7d0cb4f8a98","eClass":"sysml:FeatureValue","data":{"elementId":"5ab031d1-3718-46a1-ae8c-c1eb2f226c3d","ownedRelatedElement":[{"id":"0f874cca-dc06-4430-89b8-a00dee51eaee","eClass":"sysml:LiteralInteger","data":{"elementId":"88c30f81-c3ce-4804-9142-c0b33f51dcd3"}}]}}],"direction":"in"}}]}}],"operator":"=="}}]}}],"direction":"in"}}]}}],"operator":"|"}}]}}],"direction":"in"}}]}}],"operator":"&"}}]}}],"isComposite":true}}],"kind":"requirement"}}]}}]}},{"id":"1bf452ea-137d-4534-b510-b5e9914acf2c","eClass":"sysml:OwningMembership","data":{"elementId":"bbc8c183-1a38-4708-824c-198e60358dab","ownedRelatedElement":[{"id":"96735823-f93e-4edd-948e-2db5df124d11","eClass":"sysml:RequirementDefinition","data":{"declaredName":"SensorOperability","elementId":"a380d4bb-4e04-4168-89c8-abdd5453ccc6","ownedRelationship":[{"id":"5710353f-6fa9-4e60-876d-5884dcc3d9a7","eClass":"sysml:SubjectMembership","data":{"elementId":"44f427f6-a818-4d84-b17c-52ec7663977a","ownedRelatedElement":[{"id":"5d031ada-f0c6-4c33-98dc-4590127b6551","eClass":"sysml:ReferenceUsage","data":{"declaredName":"s","elementId":"ecf8d2a8-c537-401d-a511-7ca6f535bf8b","ownedRelationship":[{"id":"6ca1b8ef-a23f-471b-9c17-5d1231f302b0","eClass":"sysml:FeatureTyping","data":{"elementId":"ef050a94-2a7e-4bf0-a6c5-c7a71c4895ba","type":"3f2124ff-5c56-486b-a296-b1c3476e5180","typedFeature":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}],"direction":"in","isComposite":true}}]}},{"id":"e1ceea6a-265b-435d-b7ff-e592e4933e7c","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"325fb196-dbb8-445f-abb7-dd746fff2e0c","ownedRelatedElement":[{"id":"baa1ff9e-5735-4393-ba94-324731366733","eClass":"sysml:ConstraintUsage","data":{"declaredName":"environmentalPrecondition","elementId":"09cf509f-7c8c-43ae-b9f9-d315665ed3b9","ownedRelationship":[{"id":"8044c077-f780-4d67-b969-96065b02fe79","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"08421729-27f6-4152-8a55-1e21f06ac12a","ownedRelatedElement":[{"id":"97f03244-a4a5-47cd-988d-15119a3b2210","eClass":"sysml:OperatorExpression","data":{"elementId":"0bf58967-550a-4b16-81cb-ce9d61c083c4","ownedRelationship":[{"id":"3151ee13-4ff9-40c1-ab04-bd203bb09084","eClass":"sysml:ParameterMembership","data":{"elementId":"96e9c2fe-f6ea-44af-9b95-313545350225","ownedRelatedElement":[{"id":"de2f904f-7f5e-42f7-b555-1deb684fa79e","eClass":"sysml:Feature","data":{"elementId":"d271d265-4c69-436e-a4ac-d3aa6a671df9","ownedRelationship":[{"id":"66d18dea-c1ea-4203-99c4-51db3002a73f","eClass":"sysml:FeatureValue","data":{"elementId":"aa1ef242-8fe1-4bd6-8787-4fc67da331dd","ownedRelatedElement":[{"id":"6370717f-ace2-42cc-b3c7-73cc76850f3d","eClass":"sysml:OperatorExpression","data":{"elementId":"335e8ad5-d7bf-4729-917e-edd81a386ac0","ownedRelationship":[{"id":"df76251a-892c-4fde-9c45-1842d790e180","eClass":"sysml:ParameterMembership","data":{"elementId":"161f40c9-d5f3-4d60-a0b0-39dd69e1302d","ownedRelatedElement":[{"id":"8546555c-6048-4e2b-97b7-1ccc490f39f0","eClass":"sysml:Feature","data":{"elementId":"a5e6848a-47ba-4e6e-aae6-171ea97687c3","ownedRelationship":[{"id":"74d0ee6f-75a8-4e6f-b28d-a341285fa019","eClass":"sysml:FeatureValue","data":{"elementId":"28dfb522-3d46-4fdc-9760-d5974e054264","ownedRelatedElement":[{"id":"e1d56433-024a-4899-8e11-568277e65c99","eClass":"sysml:FeatureChainExpression","data":{"elementId":"02af87e6-d903-4280-9f77-1d0e68b03437","ownedRelationship":[{"id":"0caa63bf-1018-49ad-bc96-a75becbbdddd","eClass":"sysml:ParameterMembership","data":{"elementId":"abce99ce-7e4a-4ff4-942f-b221a1dcb1b1","ownedRelatedElement":[{"id":"aa2251c4-87ae-407c-81a2-221a5799eeec","eClass":"sysml:Feature","data":{"elementId":"08acb9c5-5a02-4839-9f6b-c93a86ab5b45","ownedRelationship":[{"id":"d671a459-85d7-46e3-84c9-3dfe1e9273d5","eClass":"sysml:FeatureValue","data":{"elementId":"787e67d3-6343-41bb-92af-5795abe3ca46","ownedRelatedElement":[{"id":"501b7397-8008-473f-b1d5-f769c13a0100","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"3b910100-d409-4a6b-913d-3d559f767314","ownedRelationship":[{"id":"565bc3c7-1c31-4be4-a195-6cb2bfdaafc8","eClass":"sysml:Membership","data":{"elementId":"4ed73721-261b-4f89-b786-b859b4816556","memberElement":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}]}}]}}],"direction":"in"}}]}},{"id":"5d0fbb01-87fc-4c0b-ab08-d35318251bce","eClass":"sysml:Membership","data":{"elementId":"ff9a3102-bdee-4fed-ae1f-691b495da13a","memberElement":"edc4f7bc-7d24-498e-8e76-ae1743668254"}}]}}]}}],"direction":"in"}}]}},{"id":"97691ec5-49ea-4bb0-b6b3-8821dd2caa31","eClass":"sysml:ParameterMembership","data":{"elementId":"1cb863f9-1c8c-4630-b68d-c24e92c24092","ownedRelatedElement":[{"id":"ca23a8d6-3627-488e-b5d9-3a1323787f32","eClass":"sysml:Feature","data":{"elementId":"45840e1a-d022-4678-b34e-668da8c2eb94","ownedRelationship":[{"id":"9317377c-332c-4bb0-b29e-c0a2fade4ab9","eClass":"sysml:FeatureValue","data":{"elementId":"623ffcf1-79f0-4a03-a344-8883f4f3bfd9","ownedRelatedElement":[{"id":"3223fc5b-16a2-4380-9fb9-c487a43c8de1","eClass":"sysml:LiteralBoolean","data":{"elementId":"91ef9b6a-7831-4bc1-a408-aa1ddf53a97d","value":true}}]}}],"direction":"in"}}]}}],"operator":"=="}}]}}],"direction":"in"}}]}},{"id":"876a2ca7-4b70-4cb4-8cc6-55c35bfd97ae","eClass":"sysml:ParameterMembership","data":{"elementId":"25377e93-2137-439a-a47e-e5ac32439c7b","ownedRelatedElement":[{"id":"2eadb245-641a-440c-81c5-fafb44456d69","eClass":"sysml:Feature","data":{"elementId":"1269aacd-7649-4f5f-9acc-809ebf84ae9b","ownedRelationship":[{"id":"c5b16e13-75cb-4915-85fe-f507547484fd","eClass":"sysml:FeatureValue","data":{"elementId":"7b9d1dc4-9b0d-42c4-be7c-df497c94e019","ownedRelatedElement":[{"id":"25247f76-a81a-4ad0-b0e6-3b8ca3756f3e","eClass":"sysml:OperatorExpression","data":{"elementId":"017236b6-5aa8-42bf-9386-7a499938172c","ownedRelationship":[{"id":"30328108-c363-475b-bc8b-bf6b8d6baf04","eClass":"sysml:ParameterMembership","data":{"elementId":"47eaced5-72bf-4f8f-9dfc-9a1770808655","ownedRelatedElement":[{"id":"587cb383-9d76-4f81-a8ec-d9158aa6a043","eClass":"sysml:Feature","data":{"elementId":"9880556f-b83d-40cf-af80-1325bbf5485e","ownedRelationship":[{"id":"8768df2b-244d-4b23-8a70-96cdac31379e","eClass":"sysml:FeatureValue","data":{"elementId":"475e803a-ff1a-47b5-8240-756e19a7354e","ownedRelatedElement":[{"id":"9924c74c-08de-4394-ab96-6437fd98010a","eClass":"sysml:FeatureChainExpression","data":{"elementId":"ee2b1b1e-5589-46e3-82f2-d3da52fc88b9","ownedRelationship":[{"id":"7851444b-bd39-410b-a473-05f400da3135","eClass":"sysml:ParameterMembership","data":{"elementId":"dc3a7e7a-9e1f-46d9-9f65-debaf03649c6","ownedRelatedElement":[{"id":"e51a138f-3260-4a42-b82f-ca4acc3d0533","eClass":"sysml:Feature","data":{"elementId":"87c42934-d638-4168-8e02-da37b92ae3f0","ownedRelationship":[{"id":"d06a4b08-b45b-41cd-b56c-7fa51be082ea","eClass":"sysml:FeatureValue","data":{"elementId":"b86bff73-3cce-4ed1-8ecb-05a128a98d2f","ownedRelatedElement":[{"id":"fcb8d0d2-0a7e-4b41-933f-932acc3df8dc","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"8372f19f-90bd-4e95-8414-909a69039e14","ownedRelationship":[{"id":"e0770bf6-6b8b-41ae-a11a-83ac2af2fc8d","eClass":"sysml:Membership","data":{"elementId":"79b1a494-a537-49db-ad71-69c13f17e9f2","memberElement":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}]}}]}}],"direction":"in"}}]}},{"id":"7a73056a-6d77-476e-9c4e-544abb929a10","eClass":"sysml:Membership","data":{"elementId":"ff481782-5084-4dc2-8c27-d56636b8a543","memberElement":"b922024b-5587-4be6-9924-6afa52ce8bf2"}}]}}]}}],"direction":"in"}}]}},{"id":"bf221bf7-c992-464c-a262-d5ce93bd506b","eClass":"sysml:ParameterMembership","data":{"elementId":"5286dba1-1c70-44d8-8b39-426c89eb4644","ownedRelatedElement":[{"id":"1874a937-063a-460c-bbf5-3e83ac60c3b3","eClass":"sysml:Feature","data":{"elementId":"77c9e9dd-95f6-4caf-88f7-b106c5636b43","ownedRelationship":[{"id":"12cd42af-9647-4071-afd4-dd4ff12432e2","eClass":"sysml:FeatureValue","data":{"elementId":"8c6d3c4b-2b81-4b24-8a70-e66c7100f0f0","ownedRelatedElement":[{"id":"034d248f-376d-4775-86ce-4e1df8239ca5","eClass":"sysml:LiteralRational","data":{"elementId":"dd172c1b-8867-4fe2-935a-6fbf84fe0d65"}}]}}],"direction":"in"}}]}}],"operator":">"}}]}}],"direction":"in"}}]}}],"operator":"&"}}]}}],"isComposite":true}}]}},{"id":"e3adeebb-b49a-46bb-9398-d6a28be0da33","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"ad00b6c1-f7a8-4658-88bb-c094568bda96","ownedRelatedElement":[{"id":"c2d11df2-0cc6-486a-97da-815cafeaa4d2","eClass":"sysml:ConstraintUsage","data":{"declaredName":"noInitialErrors","elementId":"9d6296d7-d548-4320-8c61-8be7c9c526cf","ownedRelationship":[{"id":"8f8906e7-b5b6-4c1f-ab4b-51162e23dbb9","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"9ecd8637-89b0-4ac8-8a4a-8fdb69ccde4c","ownedRelatedElement":[{"id":"41512d12-5b7c-4841-b7a1-34b89ec27f32","eClass":"sysml:OperatorExpression","data":{"elementId":"403518fc-01cb-4277-adaa-10957c7e548f","ownedRelationship":[{"id":"c3158fda-b47b-4180-9f27-822a1c9d327f","eClass":"sysml:ParameterMembership","data":{"elementId":"7a9806f0-93e2-426b-80f5-9da801992858","ownedRelatedElement":[{"id":"64c10723-75dc-46a4-b9da-8f9e68c0e96c","eClass":"sysml:Feature","data":{"elementId":"101204cd-7a85-47b1-826c-b2a9de7e2344","ownedRelationship":[{"id":"ef8258ca-5b79-4ba5-8ed3-1e6ec65441d7","eClass":"sysml:FeatureValue","data":{"elementId":"90dcae0a-40d1-4875-85f6-dee105eeb4af","ownedRelatedElement":[{"id":"d3de58a9-21be-4b50-9c57-01952e09476b","eClass":"sysml:FeatureChainExpression","data":{"elementId":"9989722f-4350-4db1-8760-ee3819e046e9","ownedRelationship":[{"id":"5a33e0b0-aa26-4b26-a38d-12ac596de754","eClass":"sysml:ParameterMembership","data":{"elementId":"ea0d7077-1df9-4c0c-b8de-5650206fa333","ownedRelatedElement":[{"id":"3c847918-ccec-4ce0-b41e-2df4eabef7b1","eClass":"sysml:Feature","data":{"elementId":"f221524f-d99c-43fa-a94e-0cc7726639b8","ownedRelationship":[{"id":"eac0e77f-f583-4100-abce-fa6e6e28332c","eClass":"sysml:FeatureValue","data":{"elementId":"33978a0d-209f-4033-847a-91c3bfa87f67","ownedRelatedElement":[{"id":"e4ebddd7-9168-4411-91c2-700aae888833","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"d9c9be16-c053-4ad3-92b8-442db0710558","ownedRelationship":[{"id":"5a64f869-23bb-4205-8af3-7919772890cb","eClass":"sysml:Membership","data":{"elementId":"b28878f9-da76-4512-a304-270a69447691","memberElement":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}]}}]}}],"direction":"in"}}]}},{"id":"eb06d1fb-bbad-4ab5-9101-df192e89c128","eClass":"sysml:Membership","data":{"elementId":"57af8dc4-24af-41d8-a1be-ffe26347af17","memberElement":"4d2f8465-d748-4b68-a5a8-d61c03031bd3"}}]}}]}}],"direction":"in"}}]}},{"id":"b28ec849-2ec2-4c98-b235-6215c40c6a64","eClass":"sysml:ParameterMembership","data":{"elementId":"5fc3dafe-42bf-4d30-b8ed-7edf5789b2d1","ownedRelatedElement":[{"id":"d45b556f-d9b2-4b13-9011-b1d4f7d44362","eClass":"sysml:Feature","data":{"elementId":"a979d9c1-9f82-420b-8fe8-0d039e78d787","ownedRelationship":[{"id":"ed21b651-c9d9-4a31-b869-122331522afd","eClass":"sysml:FeatureValue","data":{"elementId":"69afab14-0b9d-44cf-accd-daa820335f6b","ownedRelatedElement":[{"id":"9f1eef11-a546-4bef-a3e5-ec454141bb78","eClass":"sysml:LiteralInteger","data":{"elementId":"c1b13abb-d36b-4d30-876d-ea8117d44a2e"}}]}}],"direction":"in"}}]}}],"operator":"=="}}]}}],"isComposite":true}}]}},{"id":"63d596c6-ee1e-4aae-843f-fb40976d9ea2","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"1f2dbe5b-ba69-45d1-9452-aeeb73027360","ownedRelatedElement":[{"id":"91775027-7ae8-4a25-8b81-877ee251ccc9","eClass":"sysml:ConstraintUsage","data":{"declaredName":"samplingInBounds","elementId":"37a4156f-b158-4919-95de-f811985de49e","ownedRelationship":[{"id":"f3338c8e-7166-4120-b5e5-2615ecfa9a2f","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"28bcc751-b328-458c-91a2-7e226f598eff","ownedRelatedElement":[{"id":"12315ef5-bf98-4683-8067-155c58c9cfdc","eClass":"sysml:OperatorExpression","data":{"elementId":"299991d5-5188-44e7-93cf-211102b6bec8","ownedRelationship":[{"id":"17ffcf57-6b16-4caf-9943-139aa015dfd0","eClass":"sysml:ParameterMembership","data":{"elementId":"206a1d90-0b96-499a-b51c-bcd32b7ad415","ownedRelatedElement":[{"id":"f4be3b5d-fdc1-454a-a69e-230dbb622352","eClass":"sysml:Feature","data":{"elementId":"0bb333fb-9a2b-489a-84e1-cee7d07fa5f1","ownedRelationship":[{"id":"05ec76f9-3455-429a-ba5c-e68b52f8f796","eClass":"sysml:FeatureValue","data":{"elementId":"a1a825c3-0385-4239-a125-2e1ed13d4b62","ownedRelatedElement":[{"id":"604cb9d6-a530-4211-afc6-a15a6e2ca9fe","eClass":"sysml:OperatorExpression","data":{"elementId":"f5a850a5-27eb-4d54-a283-954b54f640a3","ownedRelationship":[{"id":"9ac6a69f-c51d-47a3-869c-772d6fed4279","eClass":"sysml:ParameterMembership","data":{"elementId":"fc598b56-8faf-4d3d-af1d-2127a439dd7f","ownedRelatedElement":[{"id":"62c4d800-9ee8-4def-a3c8-eb233619b6da","eClass":"sysml:Feature","data":{"elementId":"0742524e-bc0b-4c9b-bb32-6d6e55a1def5","ownedRelationship":[{"id":"a271d983-256e-4e55-af0e-d907b7a94a1e","eClass":"sysml:FeatureValue","data":{"elementId":"68cd88ba-9d47-43bf-9224-34d758c3bf03","ownedRelatedElement":[{"id":"e5429ecd-1f35-4c00-a100-f5812fe89719","eClass":"sysml:FeatureChainExpression","data":{"elementId":"872c9b3a-bc3a-4078-863f-457d6ad6ac5b","ownedRelationship":[{"id":"929a8c9e-96ec-4ae3-9631-0957eb068c87","eClass":"sysml:ParameterMembership","data":{"elementId":"3be23a9a-a1cd-4c6c-83cd-b0bc3df77a6b","ownedRelatedElement":[{"id":"5e26d9e0-e59c-4dca-8cd2-38d874b52341","eClass":"sysml:Feature","data":{"elementId":"8931c90f-af12-4b1a-9767-b82b4ef492f4","ownedRelationship":[{"id":"27359af9-fd48-4393-9c96-adef13206a97","eClass":"sysml:FeatureValue","data":{"elementId":"c4a4ab2c-3992-4ab2-bfec-3c0b2400e33b","ownedRelatedElement":[{"id":"f4befce0-c4b6-43e6-aeb5-906607be9571","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"ce33c3f5-6546-495a-8e05-aa3ced154cc4","ownedRelationship":[{"id":"1a64ee59-aa9a-4b56-9670-a0cf37e94135","eClass":"sysml:Membership","data":{"elementId":"2c233f15-bf79-4c84-9e99-b122103a330f","memberElement":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}]}}]}}],"direction":"in"}}]}},{"id":"8f257b0e-fd3a-4137-8765-0018acddcbe3","eClass":"sysml:Membership","data":{"elementId":"bc189c1c-9f6f-4aeb-8e89-8a387b35291a","memberElement":"b922024b-5587-4be6-9924-6afa52ce8bf2"}}]}}]}}],"direction":"in"}}]}},{"id":"1dfe8613-a34a-475a-926b-b331391182ec","eClass":"sysml:ParameterMembership","data":{"elementId":"f32990b6-9231-4495-9a75-e17df4219143","ownedRelatedElement":[{"id":"0a4ba70c-fcb3-4002-829a-12929feeb541","eClass":"sysml:Feature","data":{"elementId":"6bd62553-3221-4c59-93e5-e45651c34965","ownedRelationship":[{"id":"b5929c70-80e1-48f5-9346-8b7973c4045a","eClass":"sysml:FeatureValue","data":{"elementId":"35506617-2430-46d3-82c4-82af0041a53a","ownedRelatedElement":[{"id":"df109805-f25a-4a21-bbdb-b6195dcb2a11","eClass":"sysml:LiteralRational","data":{"elementId":"da2e6347-1742-4752-b459-8e8f051363e1","value":1.0}}]}}],"direction":"in"}}]}}],"operator":">="}}]}}],"direction":"in"}}]}},{"id":"7a68b2fb-2e5d-4736-8649-1234ad22f2fb","eClass":"sysml:ParameterMembership","data":{"elementId":"26df65e1-8511-47e0-aaca-adfd710207ca","ownedRelatedElement":[{"id":"fbadf3e6-304f-495f-ac83-5e41f180f833","eClass":"sysml:Feature","data":{"elementId":"627596ea-861f-4ce8-8722-32ab0169c112","ownedRelationship":[{"id":"91bd177d-b2ba-481d-9cfc-66fa73108610","eClass":"sysml:FeatureValue","data":{"elementId":"5b06a3c8-03b1-4ec5-830e-58407a48e3b5","ownedRelatedElement":[{"id":"5f0dbba2-ba5f-41f5-83fb-f5e6cf2d4e95","eClass":"sysml:OperatorExpression","data":{"elementId":"7a5d5a3f-ffba-421c-8ae4-ac872a5b6750","ownedRelationship":[{"id":"1a7f082a-85f4-4097-aecf-318cfccef83e","eClass":"sysml:ParameterMembership","data":{"elementId":"f68dc5e3-fca2-4f4e-9fbe-c90db5730ced","ownedRelatedElement":[{"id":"79518ef8-232b-4a3b-af3a-885f81d31589","eClass":"sysml:Feature","data":{"elementId":"02b58f2c-a49b-4acc-949c-cac285a1137f","ownedRelationship":[{"id":"b2c89b04-0f5d-4d9b-936a-78fd2cbbc3fc","eClass":"sysml:FeatureValue","data":{"elementId":"317da051-f69b-4aef-a0c5-357f26b1d75e","ownedRelatedElement":[{"id":"81b5c141-5a81-462e-a779-c3060d3d3475","eClass":"sysml:FeatureChainExpression","data":{"elementId":"3a359894-8635-4a9e-a513-a1bbf46f4bdb","ownedRelationship":[{"id":"5cc35333-6a20-4abd-a288-80973a4a918f","eClass":"sysml:ParameterMembership","data":{"elementId":"df1da05b-ed2a-4698-af0f-c3575127c9fe","ownedRelatedElement":[{"id":"d86abce9-4e14-4eb5-8269-bf3b46ef43bf","eClass":"sysml:Feature","data":{"elementId":"9dcfdc27-3f6e-4161-a299-e9717179c7f8","ownedRelationship":[{"id":"c599f3c1-621b-4230-b162-b7f6d941bbcc","eClass":"sysml:FeatureValue","data":{"elementId":"d29fc440-ba03-4448-8be2-255cb442620d","ownedRelatedElement":[{"id":"83868f3e-d9fd-4736-a15e-2b06a9928114","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"fe571ee6-3123-4e50-a76f-faeb8eb06f95","ownedRelationship":[{"id":"9e3f90db-fc09-4884-a44b-57ce05b1359e","eClass":"sysml:Membership","data":{"elementId":"8b1f6fbd-eb28-4fd0-a2f6-8fa1239935bb","memberElement":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}]}}]}}],"direction":"in"}}]}},{"id":"dfc488d8-2bcb-4422-8913-b33027203b11","eClass":"sysml:Membership","data":{"elementId":"e96b5f2e-bc50-4109-9d46-16bb5475b122","memberElement":"b922024b-5587-4be6-9924-6afa52ce8bf2"}}]}}]}}],"direction":"in"}}]}},{"id":"27abd87d-4523-4f7f-9d74-26e8c26b71f9","eClass":"sysml:ParameterMembership","data":{"elementId":"be9c0bed-f5a6-4f22-8ac4-6c35c787be43","ownedRelatedElement":[{"id":"4f6c12d1-0580-4ea5-8ef6-e87cb6f1aef5","eClass":"sysml:Feature","data":{"elementId":"884ba92a-bc5f-47f5-9e2c-6c4ac6bd63e4","ownedRelationship":[{"id":"36232a7f-e4c2-40a9-9724-1a7e05f4fd28","eClass":"sysml:FeatureValue","data":{"elementId":"7012de9d-0fe1-485e-b465-4d33fbdb430c","ownedRelatedElement":[{"id":"929966a0-e517-4b97-8f9f-1be346be382b","eClass":"sysml:LiteralRational","data":{"elementId":"87dc193e-2458-4e2e-bbc6-411b8ac71f27","value":10000.0}}]}}],"direction":"in"}}]}}],"operator":"<="}}]}}],"direction":"in"}}]}}],"operator":"&"}}]}}],"isComposite":true}}],"kind":"requirement"}},{"id":"967ebcfd-5f27-4834-9b37-8d7f58a7b72b","eClass":"sysml:RequirementConstraintMembership","data":{"elementId":"27788f74-e72d-4ee5-88fd-d5f80b9db2c7","ownedRelatedElement":[{"id":"e165113b-6a50-4f1e-bac4-af9675b7bc68","eClass":"sysml:ConstraintUsage","data":{"declaredName":"stableOutput","elementId":"7a5e5fe2-9bb6-40e5-82b8-73e1d691e5e8","ownedRelationship":[{"id":"71462e61-293c-4b50-8a83-d7957794ee74","eClass":"sysml:ResultExpressionMembership","data":{"elementId":"6e4df8a2-67bf-4e54-836f-e877261eed82","ownedRelatedElement":[{"id":"b9ff4762-c530-4279-86d3-a48768f1ed3d","eClass":"sysml:OperatorExpression","data":{"elementId":"b657c3e1-53cc-4cfa-a8b7-57bc1a886cc2","ownedRelationship":[{"id":"f8e6ec28-5f10-47d3-919c-fa4bda0a0d5f","eClass":"sysml:ParameterMembership","data":{"elementId":"ba66b6a4-9138-4d7f-b3c8-5dbae8afafc6","ownedRelatedElement":[{"id":"1e9ff1d0-c517-4396-8e4f-a9e1456c4712","eClass":"sysml:Feature","data":{"elementId":"5b4a10b3-f376-4d76-94d6-48a7d6d9fe39","ownedRelationship":[{"id":"8edfdff6-e569-4f3f-880e-6a5aeb7cc0ec","eClass":"sysml:FeatureValue","data":{"elementId":"be3da643-21f8-443f-81d9-1740cabd5f87","ownedRelatedElement":[{"id":"8e85bbd5-2925-43f1-8d60-0f223b50f037","eClass":"sysml:OperatorExpression","data":{"elementId":"989d248b-0c4c-4ee4-ac3c-3ab3e58b94f2","ownedRelationship":[{"id":"29c72982-c774-4242-9fb8-38413f00cdc7","eClass":"sysml:ParameterMembership","data":{"elementId":"c19c4bd5-7b78-4fc1-943e-8c5ed7a2796a","ownedRelatedElement":[{"id":"0b50547a-7103-4b09-991e-71331d2f60ca","eClass":"sysml:Feature","data":{"elementId":"d82605c6-8d03-41e8-855b-0c9b413cfeb1","ownedRelationship":[{"id":"17b7c61a-76a5-40d6-aad4-48ee595d4286","eClass":"sysml:FeatureValue","data":{"elementId":"73077094-30c6-4669-b6e4-35e40d348f53","ownedRelatedElement":[{"id":"68022414-97b2-49ec-afb6-0727f21b7ac7","eClass":"sysml:FeatureChainExpression","data":{"elementId":"fe8f6dc1-ced1-458a-ab62-9cae13674459","ownedRelationship":[{"id":"0d8f4617-76a7-4506-95d8-2f7fe52ee610","eClass":"sysml:ParameterMembership","data":{"elementId":"e954d01a-ac7f-46e0-827a-7e556a28c107","ownedRelatedElement":[{"id":"8d757b9a-935c-485b-b178-357ed1e0d8ac","eClass":"sysml:Feature","data":{"elementId":"f345e36e-5ec9-4522-810b-0f4233d78f65","ownedRelationship":[{"id":"130baea4-80f0-4abe-a027-9c92ce9782cc","eClass":"sysml:FeatureValue","data":{"elementId":"892db36f-e0c3-427b-8dc1-33c8106a7999","ownedRelatedElement":[{"id":"bab08d43-0589-4a5d-b79a-ba9dd33ee1af","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"37ef261b-ae9d-49bb-8089-08abda2af2a4","ownedRelationship":[{"id":"7b4a926e-4435-4e73-a54c-d03267afb719","eClass":"sysml:Membership","data":{"elementId":"80a8e9c8-aaf8-4649-9ba1-01fd1744502b","memberElement":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}]}}]}}],"direction":"in"}}]}},{"id":"0240bc6a-6eed-486c-9b7c-88a7696818b0","eClass":"sysml:Membership","data":{"elementId":"863749f0-3c00-4413-85f0-47ca9d6e7a22","memberElement":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9"}}]}}]}}],"direction":"in"}}]}},{"id":"dda1c9ce-8ed7-4023-8b64-cd43dd0c800b","eClass":"sysml:ParameterMembership","data":{"elementId":"b2bcf112-7536-4d55-9beb-1c79b2c036e0","ownedRelatedElement":[{"id":"2f479987-8dce-4891-95a1-4c4163757b29","eClass":"sysml:Feature","data":{"elementId":"ef3d731e-1729-4019-a530-eddf02b4976c","ownedRelationship":[{"id":"691994f8-d8b3-4e06-b0cf-b8eba1abd946","eClass":"sysml:FeatureValue","data":{"elementId":"8b81ba4f-2f39-4776-aa2e-f5b86518d927","ownedRelatedElement":[{"id":"5e27b192-a0a0-4899-8a47-76f549c0f760","eClass":"sysml:OperatorExpression","data":{"elementId":"8753d4df-f127-42d4-9b12-50a29b7623c8","ownedRelationship":[{"id":"dbed766c-e8ac-4fc2-86a3-5d26b5ee47dc","eClass":"sysml:ParameterMembership","data":{"elementId":"4ddc233c-ac38-46b2-9cb4-3ec2518fe3de","ownedRelatedElement":[{"id":"4d5561d7-e218-4365-8ca0-f9b212a2889a","eClass":"sysml:Feature","data":{"elementId":"6c3898c5-8997-4f98-b964-41e68cf1199b","ownedRelationship":[{"id":"806db8bc-3437-4bb1-9ccb-5f89cbe6bb4f","eClass":"sysml:FeatureValue","data":{"elementId":"1a3785b6-0017-44b4-b096-22936756d902","ownedRelatedElement":[{"id":"f1b8e0f9-1d6e-4931-9036-595ea7491d3b","eClass":"sysml:LiteralRational","data":{"elementId":"e964ac81-db3a-4366-9ce5-ef309a64d67c","value":1000.0}}]}}],"direction":"in"}}]}}],"operator":"-"}}]}}],"direction":"in"}}]}}],"operator":">="}}]}}],"direction":"in"}}]}},{"id":"465b3498-cbec-467d-989f-daee39cb78ee","eClass":"sysml:ParameterMembership","data":{"elementId":"ad7b430a-c24f-47cd-a027-d4fe22ca2348","ownedRelatedElement":[{"id":"982cd14a-1a05-4121-af22-6a1946e126a3","eClass":"sysml:Feature","data":{"elementId":"2affce1b-dda5-4bab-a28c-d6adf4ebed19","ownedRelationship":[{"id":"9a91b3a5-9edc-4759-b5e8-5e4edd229f3b","eClass":"sysml:FeatureValue","data":{"elementId":"2c73d24a-5e7a-4aac-a0ad-657762daeee8","ownedRelatedElement":[{"id":"ac63a320-d9a2-4914-8411-578ffa03455c","eClass":"sysml:OperatorExpression","data":{"elementId":"b72065e1-a47d-4758-ad9f-c65ee9ee1637","ownedRelationship":[{"id":"861064e2-0c51-4782-8ea4-84605a69e1e7","eClass":"sysml:ParameterMembership","data":{"elementId":"4c0b6983-38b7-40c9-86e5-79944ac23b27","ownedRelatedElement":[{"id":"c1a1a66f-e542-4863-82db-c9cfdd43a97d","eClass":"sysml:Feature","data":{"elementId":"40ed82fb-8426-4f50-8455-6d030a37a955","ownedRelationship":[{"id":"25cfb2f7-e242-4d74-a8d6-f4d850a07cf0","eClass":"sysml:FeatureValue","data":{"elementId":"a1a8d4a7-075d-4bbc-bf54-837693b676ec","ownedRelatedElement":[{"id":"40a166a8-00d7-49ab-be66-f6029b866d50","eClass":"sysml:FeatureChainExpression","data":{"elementId":"d555a4be-ead6-4c17-b2e9-5bbdf88b2253","ownedRelationship":[{"id":"ffb01761-b0a5-465a-8771-e6fb73f382e6","eClass":"sysml:ParameterMembership","data":{"elementId":"2235a75d-a063-4bea-8ce6-c2f5d34b2f86","ownedRelatedElement":[{"id":"83d821ea-c133-4d5e-bd94-e9dd7c4392ae","eClass":"sysml:Feature","data":{"elementId":"1f054585-de4f-410e-a5c8-a5cb37fda9f0","ownedRelationship":[{"id":"49fc49bb-9e9c-4f5e-ad42-a9ba331ff27f","eClass":"sysml:FeatureValue","data":{"elementId":"7f501f41-3877-4d35-b549-6ad29fae5bc8","ownedRelatedElement":[{"id":"6b7863e1-b171-46a8-b1a1-c77ca2e2964e","eClass":"sysml:FeatureReferenceExpression","data":{"elementId":"a6a6b885-b391-44ce-bbb6-31f97c54e45f","ownedRelationship":[{"id":"e18a096b-453f-4d59-b9f9-4ed4a64f5b94","eClass":"sysml:Membership","data":{"elementId":"1dd3a187-89d8-431c-a39b-54d754880177","memberElement":"5d031ada-f0c6-4c33-98dc-4590127b6551"}}]}}]}}],"direction":"in"}}]}},{"id":"ef9ba27c-acad-4013-a713-d8bffeaf6555","eClass":"sysml:Membership","data":{"elementId":"88d5e15b-c58e-4104-aa5d-703f1043f8b3","memberElement":"6b9a0d65-eff4-4d98-8b25-d6e24d0486e9"}}]}}]}}],"direction":"in"}}]}},{"id":"d9f64e66-40dc-4222-8ba3-7aa237f3df89","eClass":"sysml:ParameterMembership","data":{"elementId":"bd2b07da-f463-41fe-bfee-92cc723a09c6","ownedRelatedElement":[{"id":"08417890-1bca-4795-a2e1-bbc35dbb80e8","eClass":"sysml:Feature","data":{"elementId":"fb865c1a-a0bd-4459-9b54-b87992a641a3","ownedRelationship":[{"id":"286a6583-678a-48c3-bdef-e05e15183f92","eClass":"sysml:FeatureValue","data":{"elementId":"35afccf0-20fc-48d4-955e-cdad5734a569","ownedRelatedElement":[{"id":"bfa2e7a4-bc57-499b-89a6-ece1a1976f97","eClass":"sysml:LiteralRational","data":{"elementId":"8e772ffc-4366-4b54-aec1-3f4f7aa3ecda","value":1000.0}}]}}],"direction":"in"}}]}}],"operator":"<="}}]}}],"direction":"in"}}]}}],"operator":"&"}}]}}],"isComposite":true}}],"kind":"requirement"}}]}}]}}]}}]}}]}}]}', '2026-06-26 08:48:01.804893+00', '2026-06-26 08:48:01.804893+00', false); -- diff --git a/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramMutationLabelService.java b/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramMutationLabelService.java index 8331e0418..8231127c1 100644 --- a/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramMutationLabelService.java +++ b/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramMutationLabelService.java @@ -28,9 +28,7 @@ import org.eclipse.syson.services.LabelService; import org.eclipse.syson.services.api.DiagramDirectEditErrorListener; import org.eclipse.syson.services.api.IDirectEditNamespaceProvider; -import org.eclipse.syson.sysml.ConstraintUsage; import org.eclipse.syson.sysml.Element; -import org.eclipse.syson.sysml.RequirementConstraintMembership; import org.springframework.stereotype.Service; /** @@ -98,11 +96,7 @@ public Element directEdit(Element element, String newLabel, boolean isCompartmen DirectEditParser parser = new DirectEditParser(tokens); parser.addErrorListener(new DiagramDirectEditErrorListener()); ParseTree tree; - if (element instanceof ConstraintUsage && element.getOwningMembership() instanceof RequirementConstraintMembership && isCompartmentItem) { - // Use the constraint expression parser only if the element is a constraint owned by a requirement, other - // constraints (including requirements) are parsed as regular elements. - tree = parser.constraintExpression(); - } else if (isCompartmentItem) { + if (isCompartmentItem) { tree = parser.listItemExpression(); } else { tree = parser.nodeExpression(); diff --git a/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramQueryLabelService.java b/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramQueryLabelService.java index 45f6a9782..40ff44344 100644 --- a/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramQueryLabelService.java +++ b/backend/services/syson-diagram-services/src/main/java/org/eclipse/syson/diagram/services/DiagramQueryLabelService.java @@ -47,7 +47,6 @@ import org.eclipse.syson.sysml.PortionKind; import org.eclipse.syson.sysml.Redefinition; import org.eclipse.syson.sysml.ReferenceSubsetting; -import org.eclipse.syson.sysml.RequirementConstraintMembership; import org.eclipse.syson.sysml.ResultExpressionMembership; import org.eclipse.syson.sysml.SatisfyRequirementUsage; import org.eclipse.syson.sysml.StateSubactionMembership; @@ -617,10 +616,12 @@ private String getCompartmentItemLabel(ConstraintUsage constraintUsage, boolean label.append(this.getIdentificationLabel(constraintUsage)); label.append(this.getReferenceSubsettingLabel(constraintUsage)); } - String expressionPart = this.getConstraintExpression(constraintUsage); - if (!expressionPart.isEmpty()) { - label.append(LabelConstants.SPACE); - label.append(expressionPart); + if (!directEditInput) { + String expressionPart = this.getConstraintExpression(constraintUsage); + if (!expressionPart.isEmpty()) { + label.append(LabelConstants.SPACE); + label.append(expressionPart); + } } } return label.toString(); @@ -675,25 +676,7 @@ public String getCompartmentItemLabel(Documentation documentation) { * @return the value to display. */ public String getInitialDirectEditListItemLabel(Usage usage) { - String result; - if (usage instanceof ConstraintUsage constraintUsage && - usage.getOwningMembership() instanceof RequirementConstraintMembership) { - result = this.getInitialDirectEditListItemLabel(constraintUsage, true); - } else { - result = this.getCompartmentItemStringRepresentation(usage, true); - } - return result; - } - - private String getInitialDirectEditListItemLabel(ConstraintUsage constraintUsage, boolean directEditInput) { - String result; - if (!constraintUsage.getOwnedMember().isEmpty() && constraintUsage.getOwnedMember().get(0) instanceof Expression expression) { - result = this.getSysmlTextualRepresentation(expression, directEditInput); - } else { - // The constraint doesn't have an expression, we set an initial empty string for the direct edit. - result = ""; - } - return result; + return this.getCompartmentItemStringRepresentation(usage, true); } /**