sysmledgraph 0.7.0

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Cause and Effect/.meta.json

@@ -0,0 +1,8 @@
+{
+  "index": {
+    "CausationConnections": "CausationConnections.sysml",
+    "CauseAndEffect": "CauseAndEffect.sysml"
+  },
+  "created": "2025-03-13T00:00:00Z",
+  "metamodel": "https://www.omg.org/spec/SysML/20250201"
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Cause and Effect/.project.json

@@ -0,0 +1,23 @@
+{
+  "name": "SysML Cause and Effect Library",
+  "version": "2.0.0",
+  "description": "Standard cause-and-effect domain library for the Systems Modeling Language (SysML)",
+  "usage": [
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Semantic-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Data-Type-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Function-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/SysML/20250201/Systems-Library.kpar",
+      "versionConstraint": "2.0.0"
+    }
+  ]
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Cause and Effect/CausationConnections.sysml

@@ -0,0 +1,83 @@
+standard library package CausationConnections {	
+	doc 
+	/* 
+	 * This package provides a library model modeling causes, effects, and causation connections 
+	 * between them.
+	 */
+
+	private import SequenceFunctions::isEmpty;
+	private import SequenceFunctions::size;
+	private import SequenceFunctions::intersection;
+		 
+	abstract occurrence causes[*] {
+		doc /* Occurrences that are causes. */
+	}
+	
+	abstract occurrence effects[*]  {
+		doc /* Occurrences that are effects. */
+	}
+	
+	abstract connection def Multicausation {
+		doc
+		/*
+		 * A Multicausation connection models the situation in which one set of
+		 * occurrences causes another.
+		 * 
+		 * To create a Multicausation connection, specialize this connection definition
+		 * adding specific end features of the relavent types. Ends representing causes
+		 * should subset 'causes', while ends representing effects should subset 'effects'.
+		 * There must be at least one cause and at least one effect.
+		 */
+		 
+		abstract constant ref occurrence causes[1..*] :>> causes :> participant {
+			doc 
+			/* 
+			 * The causing occurrences. (Constant for each Multicausation instance.)
+			 */
+		}
+		abstract constant ref occurrence effects[1..*] :>> effects :> participant {
+			doc 
+			/* 
+			 * The effect occurrences caused by the causing occurrences. 
+			 * (Constant for each Multicausation instance.)
+			 */
+		}
+		
+		private assert constraint disjointCauseEffect {
+			doc /* causes must be disjoint from effects. */
+			isEmpty(intersection(causes, effects))
+		}
+		
+		private succession causalOrdering first [nCauses] causes.startShot then [nEffects] effects {
+			doc /* All causes must exist before all effects. */
+			attribute nCauses = size(causes);
+			attribute nEffects = size(effects);
+		}
+	}
+	
+	abstract connection multicausations : Multicausation[*] {
+		doc /* multicausations is the base feature for Multicausation ConnectionUsages. */
+	}
+	
+	connection def Causation :> Multicausation {
+		doc
+		/*
+		 * A Causation is a binary Multicausation in which a single cause occurrence
+		 * causes a single effect occurrence. (However, a single cause can separately
+		 * have multiple effects, and a single effect can have separate Causation
+		 * connections with multiple causes.)
+		 */
+		
+		end theCauses [*] occurrence theCause :> causes :>> source {
+		    doc /* The single causing occurrence. */
+		}
+		
+		end theEffects [*] occurrence theEffect :> effects :>> target {
+			doc /* The single effect occurrence resulting from the cause. */
+		}
+	}
+	
+	abstract connection causations : Causation[*] :> multicausations {
+		doc /* causations is the base feature for Causation ConnectionUsages. */
+	}
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Cause and Effect/CauseAndEffect.sysml

@@ -0,0 +1,81 @@
+standard library package CauseAndEffect {
+	doc /* This package provides language-extension metadata for cause-effect modeling. */
+	
+	public import CausationConnections::*;
+	private import ScalarValues::*;
+	private import Metaobjects::SemanticMetadata;
+
+	metadata def <cause> CauseMetadata :> SemanticMetadata {
+		doc
+		/*
+		 * CauseMetadata identifies a usage as being a cause occurrence.
+		 * It is intended to be used to tag the cause ends of a Multicausation.
+		 */
+		 
+		ref :>> annotatedElement : SysML::Usage;
+		ref :>> baseType = causes as SysML::Usage;
+	}
+	
+	metadata def <effect> EffectMetadata :> SemanticMetadata {
+		doc
+		/*
+		 * EffectMetadata identifies a usage as being an effect occurrence.
+		 * It is intended to be used to tag the effect ends of a Multicausation.
+		 */
+		 
+		ref :>> annotatedElement : SysML::Usage;
+		ref :>> baseType = effects as SysML::Usage;
+	}
+	
+	metadata def CausationMetadata {
+		doc
+		/*
+		 * CausationMetadata allows for the specification of additional metadata about
+		 * a cause-effect connection definition or usage.
+		 */
+		 
+		ref :> annotatedElement : SysML::ConnectionDefinition;
+		ref :> annotatedElement : SysML::ConnectionUsage;
+		
+		attribute isNecessary : Boolean default false {
+			doc 
+			/* 
+			 * Whether all the causes are necessary for all the effects to occur.
+			 * If this is false (the default), then some or all of the effects may 
+			 * still have occurred even if some of the causes did not.
+			 */
+		}
+		
+		attribute isSufficient : Boolean default false {
+			doc
+			/*
+			 * Whether the causes were sufficient for all the effects to occur.
+			 * If this is false (the default), then it may be the case that some
+			 * other occurrences were also necessary for some or all of the effects
+			 * to have occurred.
+			 */
+		}
+		
+		attribute probability : Real[0..1] {
+			doc /* The probability that the causes will actually result in effects occurring. */
+		}	
+	}
+	
+	metadata def <multicausation> MulticausationSemanticMetadata :> CausationMetadata, SemanticMetadata {
+		doc
+		/*
+		 * MulticausationMetadata is SemanticMetadata for a Multicausation connection.
+		 */
+		 
+		ref :>> baseType = multicausations meta SysML::Usage;
+	}
+	
+	metadata def <causation> CausationSemanticMetadadata :> CausationMetadata, SemanticMetadata {
+		doc
+		/*
+		 * CausationMetadata is SemanticMetadata for a Causation connection.
+		 */
+		 
+		ref :>> baseType = causations meta SysML::Usage;
+	}
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Geometry/.meta.json

@@ -0,0 +1,8 @@
+{
+  "index": {
+    "ShapeItems": "ShapeItems.sysml",
+    "SpatialItems": "SpatialItems.sysml"
+  },
+  "created": "2025-03-13T00:00:00Z",
+  "metamodel": "https://www.omg.org/spec/SysML/20250201"
+}

package/lsp/node_modules/sysml-v2-lsp/sysml.library/Domain Libraries/Geometry/.project.json

@@ -0,0 +1,27 @@
+{
+  "name": "SysML Geometry Library",
+  "version": "2.0.0",
+  "description": "Standard geometry domain library for the Systems Modeling Language (SysML)",
+  "usage": [
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Semantic-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Data-Type-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/KerML/20250201/Function-Library.kpar",
+      "versionConstraint": "1.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/SysML/20250201/Systems-Library.kpar",
+      "versionConstraint": "2.0.0"
+    },
+    {
+      "resource": "https://www.omg.org/spec/SysML/20250201/Quantities-and-Units-Library.kpar",
+      "versionConstraint": "2.0.0"
+    }
+  ]
+}