Added example about using a subject in a requirement

GfSE · Jan 16, 2025 · 47aa0e9 · 47aa0e9
1 parent 6d947c5
commit 47aa0e9
Showing 1 changed file with 34 additions and 0 deletions.
diff --git a/Functions/Integration/ExampleRequirementSubject.sysml b/Functions/Integration/ExampleRequirementSubject.sysml
@@ -0,0 +1,34 @@
+
+package VacuumCleanerSystem {
+    package BaseArchitecture {
+        part def Battery {
+            attribute capacity;
+        }
+
+        part def VacuumCleaner {
+            part battery : Battery;
+        }
+    }
+
+    package Requirements {
+        requirement <REQ1> operationTime {
+            subject vc : BaseArchitecture::Battery;
+            require constraint {
+                vc.capacity >= 42
+            }
+        }
+    }
+
+    package ProductArchitecture {
+
+        part def RoboticVacuumCleaner :> BaseArchitecture::VacuumCleaner {
+            part chassis;
+            part :>> battery {
+                attribute :>> capacity = 50;
+            }
+        }
+
+        satisfy Requirements::REQ1 by RoboticVacuumCleaner::battery;
+    }
+}
+