sysmlpy 0.1.0__py3-none-any.whl

sysmlpy/grammar/antlr4/desc.xml

@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8" ?>
+<desc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+      xsi:noNamespaceSchemaLocation="../../_scripts/desc.xsd">
+   <targets>Java</targets>
+   <inputs>examples/**/*.sysml</inputs>
+   <entry-point>rootNamespace</entry-point>
+</desc>

sysmlpy/grammar/antlr4/examples/camera.sysml

@@ -0,0 +1,14 @@
+part def Camera {
+	private import PictureTaking::*;
+
+	perform action takePicture[*] :> PictureTaking::takePicture;
+
+	part focusingSubsystem {
+		perform takePicture::focus;
+	}
+
+	part imagingSubsystem {
+		perform takePicture::shoot;
+	}
+
+}

sysmlpy/grammar/antlr4/examples/toaster-system.sysml

@@ -0,0 +1,193 @@
+/**
+* Simple Toaster System Example
+*/
+
+package ToasterSystem {
+
+    // DOMAIN PILLAR - Define what exists in our system
+
+    part def Toaster {
+        doc /* A household appliance for toasting bread */
+
+        part heatingElements : HeatingElement[2];
+        part lever : Lever;
+        part timer : Timer;
+        part crumbTray : CrumbTray;
+        part powerCord : PowerCord;
+
+        attribute maxTemp : Real;
+        attribute slots : Integer = 2;
+        attribute voltage : Real = 120.0;
+    }
+
+    part def HeatingElement {
+        doc /* Resistive heating coil */
+        attribute power : Real;
+        attribute temperature : Real;
+    }
+
+    part def Lever {
+        doc /* User control for lowering bread */
+        attribute position : LeverPosition;
+    }
+
+    enum def LeverPosition {
+        up; down;
+    }
+
+    part def Timer {
+        doc /* Controls toasting duration */
+        attribute duration : Real;
+        attribute setting : Integer;
+    }
+
+    part def CrumbTray {
+        doc /* Removable tray for crumbs */
+        attribute capacity : Real;
+    }
+
+    part def PowerCord {
+        doc /* Electrical connection */
+        attribute length : Real;
+    }
+
+    // BEHAVIOR PILLAR - Define what the system does
+
+    action def ToastBread {
+        doc /* Main toasting operation */
+        in item bread : Bread;
+        out item toast : Toast;
+
+        action lowerBread;
+        action heatElements;
+        action monitorTime;
+        action raiseToast;
+
+        // Sequential flow
+        first lowerBread;
+        then heatElements;
+        then monitorTime;
+        then raiseToast;
+    }
+
+    action def CleanToaster {
+        doc /* Maintenance operation */
+        action removeTray;
+        action emptyTray;
+        action replaceTray;
+
+        first removeTray;
+        then emptyTray;
+        then replaceTray;
+    }
+
+    part def Bread {
+        attribute slices : Integer;
+        attribute thickness : Real;
+    }
+
+    part def Toast {
+        attribute brownness : BrownLevel;
+    }
+
+    enum def BrownLevel {
+        light; medium; dark;
+    }
+
+    // REQUIREMENT PILLAR - Define what the system must satisfy
+
+    requirement def SafetyRequirements {
+        doc /* Safety specifications */
+
+        requirement autoShutoff {
+            doc /* Toaster must auto-shutoff */
+            subject toaster : Toaster;
+        require constraint { toaster::maxTemp <= 250.0 }
+    }
+
+    requirement coolTouch {
+        doc /* Exterior must stay cool */
+        attribute maxExteriorTemp : Real;
+    }
+}
+
+requirement def PerformanceRequirements {
+    doc /* Performance specifications */
+
+    requirement toastingTime {
+        doc /* Toasting duration requirement */
+        attribute minDuration : Real;
+        attribute maxDuration : Real;
+    }
+
+    requirement evenToasting {
+        doc /* Quality requirement */
+        attribute uniformity : Real;
+    }
+}
+
+// ANALYSIS PILLAR - Define evaluations and calculations
+
+calc def PowerConsumption {
+    doc /* Calculate total power usage */
+    in elementPower : Real[2];
+    return totalPower : Real;
+}
+
+analysis def ThermalAnalysis {
+    doc /* Analyze heating performance */
+    subject toaster : Toaster;
+
+    objective heatDistribution {
+        doc /* Ensure even heat distribution */
+    }
+
+    calc powerCalc : PowerConsumption;
+}
+
+// INTERCONNECTION PILLAR - Define how things connect
+
+connection def PowerConnection {
+    doc /* Electrical power interface */
+}
+
+interface def ControlInterface {
+    doc /* User control interface */
+    attribute controlSetting : Integer;
+    attribute operationState : String;
+}
+
+port def ElectricalPort {
+    doc /* Power delivery port */
+    attribute portVoltage : Real;
+    attribute portCurrent : Real;
+}
+
+part def PowerSource;
+part def ElectricalLoad;
+
+// ALLOCATION PILLAR - Define assignments and mappings
+
+allocation def FunctionAllocation {
+    doc /* Map functions to hardware */
+}
+
+// CROSSCUTTING PILLAR - Define concerns spanning multiple aspects
+
+metadata def Manufacturer {
+    doc /* Manufacturing metadata */
+    attribute company : String;
+    attribute model : String;
+    attribute warranty : Real;
+}
+
+comment about Toaster
+/* This is a basic two-slot toaster designed for home use.
+It features adjustable browning control and automatic pop-up. */
+
+// Instantiate the system
+part myToaster : Toaster {
+    :>> maxTemp = 230.0;
+    :>> slots = 2;
+}
+}

sysmlpy/grammar/antlr4/examples/vehicle-model.sysml

@@ -0,0 +1,118 @@
+package VehicleModel {
+    /**
+    * Basic vehicle model demonstrating SysML v2.0 syntax
+    * including parts, attributes, ports, constraints, and requirements
+    */
+
+    part def Vehicle {
+        part engine : Engine;
+        part transmission : Transmission;
+        part wheels : Wheel[4];
+        port powerOut : PowerPort;
+
+        attribute mass : Real;
+        attribute maxSpeed : Real;
+
+        constraint massConstraint {
+            mass < 2000.0
+        }
+
+        constraint speedConstraint {
+            maxSpeed > 60.0
+        }
+    }
+
+    part def Engine {
+        attribute power : Real;
+        attribute mass : Real;
+        attribute displacement : Real;
+        port powerPort : PowerPort;
+
+        constraint powerMassRatio {
+            power / mass > 0.1
+        }
+    }
+
+    part def Transmission :> Subsystem {
+        attribute gearRatio : Real;
+        attribute efficiency : Real;
+
+        constraint efficiencyConstraint {
+            efficiency >= 0.85 and efficiency <= 1.0
+        }
+    }
+
+    part def Wheel {
+        attribute diameter : Real;
+        attribute width : Real;
+
+        constraint sizeConstraint {
+            diameter >= 14.0 and diameter <= 22.0
+        }
+    }
+
+    part def Subsystem {
+        attribute mass : Real;
+        attribute cost : Real;
+    }
+
+    port def PowerPort {
+        attribute voltage : Real;
+        attribute current : Real;
+
+        constraint powerLimit {
+            voltage * current <= 1000.0
+        }
+    }
+
+    requirement def PerformanceReq {
+        doc /* The vehicle shall accelerate from 0 to 60 mph in less than 6 seconds */
+
+        subject vehicle : Vehicle;
+
+        require constraint {
+            vehicle.engine.power >= 300.0
+        }
+    }
+
+    requirement def SafetyReq {
+        doc /* The vehicle shall have adequate braking performance */
+
+        subject vehicle : Vehicle;
+
+        require constraint {
+            vehicle.mass / vehicle.wheels.size <= 500.0
+        }
+    }
+
+    use case def DriveCar {
+        actor driver : Driver;
+        subject vehicle : Vehicle;
+
+        objective {
+            doc /* Successfully operate the vehicle from point A to point B */
+        }
+    }
+
+    part def Driver {
+        attribute experience : Real;
+        attribute licenseValid : Boolean;
+    }
+
+    // Example vehicle instances
+    part myCar : Vehicle {
+        :>> engine {
+            :>> power = 250.0;
+            :>> mass = 150.0;
+            :>> displacement = 2.0;
+        }
+
+        :>> transmission {
+            :>> gearRatio = 3.5;
+            :>> efficiency = 0.92;
+        }
+
+        :>> mass = 1500.0;
+        :>> maxSpeed = 120.0;
+    }
+}

sysmlpy/grammar/antlr4/pom.xml

@@ -0,0 +1,59 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0
+                             http://maven.apache.org/xsd/maven-4.0.0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+    <artifactId>sysmlv2</artifactId>
+    <packaging>jar</packaging>
+    <name>SysML v2 grammar</name>
+    <parent>
+        <groupId>org.antlr.grammars</groupId>
+        <artifactId>grammarsv4</artifactId>
+        <version>1.0-SNAPSHOT</version>
+    </parent>
+    <build>
+        <plugins>
+            <plugin>
+                <groupId>org.antlr</groupId>
+                <artifactId>antlr4-maven-plugin</artifactId>
+                <version>${antlr.version}</version>
+                <configuration>
+                    <sourceDirectory>${basedir}</sourceDirectory>
+                    <includes>
+                        <include>SysMLv2Lexer.g4</include>
+                        <include>SysMLv2Parser.g4</include>
+                    </includes>
+                    <visitor>true</visitor>
+                    <listener>true</listener>
+                </configuration>
+                <executions>
+                    <execution>
+                        <goals>
+                            <goal>antlr4</goal>
+                        </goals>
+                    </execution>
+                </executions>
+            </plugin>
+            <plugin>
+                <groupId>com.khubla.antlr</groupId>
+                <artifactId>antlr4test-maven-plugin</artifactId>
+                <version>${antlr4test-maven-plugin.version}</version>
+                <configuration>
+                    <verbose>false</verbose>
+                    <showTree>false</showTree>
+                    <entryPoint>rootNamespace</entryPoint>
+                    <grammarName>SysMLv2Parser</grammarName>
+                    <packageName></packageName>
+                    <exampleFiles>examples/</exampleFiles>
+                </configuration>
+                <executions>
+                    <execution>
+                        <goals>
+                            <goal>test</goal>
+                        </goals>
+                    </execution>
+                </executions>
+            </plugin>
+        </plugins>
+    </build>
+</project>