SYSML2_-416 Updated SysML library models for new cross feature syntax.

Author: seidewitz

sysml.library/.index.json

@@ -11550,6 +11550,64 @@
       "withoutOccurrences"
     ],
     "CausationConnections::Causation::theCause": [
+      "differencesOf",
+      "dispatchScope",
+      "endShot",
+      "immediatePredecessors",
+      "immediateSuccessors",
+      "incomingTransferSort",
+      "incomingTransfers",
+      "incomingTransfersToSelf",
+      "innerSpaceDimension",
+      "innerSpaceOccurrences",
+      "intersectionsOf",
+      "isClosed",
+      "isDispatch",
+      "isRunToCompletion",
+      "justOutsideOfOccurrences",
+      "localClock",
+      "matingOccurrences",
+      "middleTimeSlice",
+      "outerSpaceDimension",
+      "outgoingTransfers",
+      "outgoingTransfersFromSelf",
+      "outsideOfOccurrences",
+      "portionOf",
+      "portionOfLife",
+      "portions",
+      "predecessors",
+      "runToCompletionScope",
+      "sameLifeOccurrences",
+      "self",
+      "snapshotOf",
+      "snapshots",
+      "spaceBoundary",
+      "spaceBoundaryOf",
+      "spaceEnclosedOccurrences",
+      "spaceInterior",
+      "spaceInteriorOf",
+      "spaceShotOf",
+      "spaceShots",
+      "spaceSliceOf",
+      "spaceSlices",
+      "spaceTimeCoincidentOccurrences",
+      "spaceTimeEnclosedOccurrences",
+      "spaceTimeEnclosedPoints",
+      "startShot",
+      "suboccurrences",
+      "successors",
+      "surroundedByOccurrences",
+      "that",
+      "theCauses",
+      "this",
+      "timeCoincidentOccurrences",
+      "timeEnclosedOccurrences",
+      "timeSliceOf",
+      "timeSlices",
+      "unionsOf",
+      "withoutOccurrences"
+    ],
+    "CausationConnections::Causation::theCause::theCauses": [
       "differencesOf",
       "dispatchScope",
       "endShot",
@@ -11607,6 +11665,64 @@
       "withoutOccurrences"
     ],
     "CausationConnections::Causation::theEffect": [
+      "differencesOf",
+      "dispatchScope",
+      "endShot",
+      "immediatePredecessors",
+      "immediateSuccessors",
+      "incomingTransferSort",
+      "incomingTransfers",
+      "incomingTransfersToSelf",
+      "innerSpaceDimension",
+      "innerSpaceOccurrences",
+      "intersectionsOf",
+      "isClosed",
+      "isDispatch",
+      "isRunToCompletion",
+      "justOutsideOfOccurrences",
+      "localClock",
+      "matingOccurrences",
+      "middleTimeSlice",
+      "outerSpaceDimension",
+      "outgoingTransfers",
+      "outgoingTransfersFromSelf",
+      "outsideOfOccurrences",
+      "portionOf",
+      "portionOfLife",
+      "portions",
+      "predecessors",
+      "runToCompletionScope",
+      "sameLifeOccurrences",
+      "self",
+      "snapshotOf",
+      "snapshots",
+      "spaceBoundary",
+      "spaceBoundaryOf",
+      "spaceEnclosedOccurrences",
+      "spaceInterior",
+      "spaceInteriorOf",
+      "spaceShotOf",
+      "spaceShots",
+      "spaceSliceOf",
+      "spaceSlices",
+      "spaceTimeCoincidentOccurrences",
+      "spaceTimeEnclosedOccurrences",
+      "spaceTimeEnclosedPoints",
+      "startShot",
+      "suboccurrences",
+      "successors",
+      "surroundedByOccurrences",
+      "that",
+      "theEffects",
+      "this",
+      "timeCoincidentOccurrences",
+      "timeEnclosedOccurrences",
+      "timeSliceOf",
+      "timeSlices",
+      "unionsOf",
+      "withoutOccurrences"
+    ],
+    "CausationConnections::Causation::theEffect::theEffects": [
       "differencesOf",
       "dispatchScope",
       "endShot",
@@ -91692,11 +91808,169 @@
       "timeEnclosedOccurrences",
       "timeSliceOf",
       "timeSlices",
+      "touchedWhile",
+      "unionsOf",
+      "voids",
+      "withoutOccurrences"
+    ],
+    "Items::Touches::touchedItem::touchedWhile": [
+      "boundingShapes",
+      "checkedConstraints",
+      "differencesOf",
+      "dispatchScope",
+      "done",
+      "enactedPerformances",
+      "endShot",
+      "envelopingShapes",
+      "immediatePredecessors",
+      "immediateSuccessors",
+      "incomingTransferSort",
+      "incomingTransfers",
+      "incomingTransfersToSelf",
+      "innerSpaceDimension",
+      "innerSpaceOccurrences",
+      "intersectionsOf",
+      "involvingPerformances",
+      "isClosed",
+      "isDispatch",
+      "isRunToCompletion",
+      "isSolid",
+      "justOutsideOfOccurrences",
+      "localClock",
+      "longerOccurrence",
+      "matingOccurrences",
+      "middleTimeSlice",
+      "outerSpaceDimension",
+      "outgoingTransfers",
+      "outgoingTransfersFromSelf",
+      "outsideOfOccurrences",
+      "ownedPerformances",
+      "portionOf",
+      "portionOfLife",
+      "portions",
+      "predecessors",
+      "runToCompletionScope",
+      "sameLifeOccurrences",
+      "self",
+      "separateSpace",
+      "separateSpaceToo",
+      "shape",
+      "shorterOccurrence",
+      "snapshotOf",
+      "snapshots",
+      "spaceBoundary",
+      "spaceBoundaryOf",
+      "spaceEnclosedOccurrences",
+      "spaceInterior",
+      "spaceInteriorOf",
+      "spaceShotOf",
+      "spaceShots",
+      "spaceSliceOf",
+      "spaceSlices",
+      "spaceTimeCoincidentOccurrences",
+      "spaceTimeEnclosedOccurrences",
+      "spaceTimeEnclosedPoints",
+      "start",
+      "startShot",
+      "structuredSpaceBoundary",
+      "subitems",
+      "subobjects",
+      "suboccurrences",
+      "subparts",
+      "successors",
+      "surroundedByOccurrences",
+      "that",
+      "thatOccurrence",
+      "this",
+      "thisOccurrence",
+      "timeCoincidentOccurrences",
+      "timeEnclosedOccurrences",
+      "timeSliceOf",
+      "timeSlices",
       "unionsOf",
       "voids",
       "withoutOccurrences"
     ],
     "Items::Touches::touchedItemToo": [
+      "boundingShapes",
+      "checkedConstraints",
+      "differencesOf",
+      "dispatchScope",
+      "done",
+      "enactedPerformances",
+      "endShot",
+      "envelopingShapes",
+      "immediatePredecessors",
+      "immediateSuccessors",
+      "incomingTransferSort",
+      "incomingTransfers",
+      "incomingTransfersToSelf",
+      "innerSpaceDimension",
+      "innerSpaceOccurrences",
+      "intersectionsOf",
+      "involvingPerformances",
+      "isClosed",
+      "isDispatch",
+      "isRunToCompletion",
+      "isSolid",
+      "justOutsideOfOccurrences",
+      "localClock",
+      "longerOccurrence",
+      "matingOccurrences",
+      "middleTimeSlice",
+      "outerSpaceDimension",
+      "outgoingTransfers",
+      "outgoingTransfersFromSelf",
+      "outsideOfOccurrences",
+      "ownedPerformances",
+      "portionOf",
+      "portionOfLife",
+      "portions",
+      "predecessors",
+      "runToCompletionScope",
+      "sameLifeOccurrences",
+      "self",
+      "separateSpace",
+      "separateSpaceToo",
+      "shape",
+      "shorterOccurrence",
+      "snapshotOf",
+      "snapshots",
+      "spaceBoundary",
+      "spaceBoundaryOf",
+      "spaceEnclosedOccurrences",
+      "spaceInterior",
+      "spaceInteriorOf",
+      "spaceShotOf",
+      "spaceShots",
+      "spaceSliceOf",
+      "spaceSlices",
+      "spaceTimeCoincidentOccurrences",
+      "spaceTimeEnclosedOccurrences",
+      "spaceTimeEnclosedPoints",
+      "start",
+      "startShot",
+      "structuredSpaceBoundary",
+      "subitems",
+      "subobjects",
+      "suboccurrences",
+      "subparts",
+      "successors",
+      "surroundedByOccurrences",
+      "that",
+      "thatOccurrence",
+      "this",
+      "thisOccurrence",
+      "timeCoincidentOccurrences",
+      "timeEnclosedOccurrences",
+      "timeSliceOf",
+      "timeSlices",
+      "touchedWhileToo",
+      "unionsOf",
+      "voids",
+      "withoutOccurrences"
+    ],
+    "Items::Touches::touchedItemToo::touchedWhileToo": [
       "boundingShapes",
       "checkedConstraints",
       "differencesOf",
@@ -276665,5 +276939,5 @@
       "withoutOccurrences"
     ]
   },
-  "checksum": "4d89b3b850044d5fc0e71ac99a77126ef331120f53865f6e71011f4f4260295d"
+  "checksum": "9af03a4d1bcf4c9f64234669eb5830ede1429425906271a0138ca78532bf01a9"
 }

sysml.library/Domain Libraries/Cause and Effect/CausationConnections.sysml

@@ -41,7 +41,7 @@ standard library package CausationConnections {
 			isEmpty(intersection(causes, effects))
 		}
 
-		private succession causalOrdering first causes.startShot[nCauses] then effects[nEffects] {
+		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);
@@ -61,11 +61,9 @@ standard library package CausationConnections {
 		 * connections with multiple causes.)
 		 */
 
-		end occurrence theCause[*] :>> causes :>> source {
-			doc /* The single causing occurrence. */
-		}
+		end theCauses [*] occurrence theCause :>> causes :>> source;
 
-		end occurrence theEffect[*] :>> effects :>> target {
+		end theEffects [*] occurrence theEffect :>> effects :>> target {
 			doc /* The single effect occurrence resulting from the cause. */
 		}
 	}