Skip to content

Commit 2f377e2

Browse files
seidewitzseidewitz
committed
SYSML2_-89 Redefined "start" and "done" in States::StateAction.
1 parent 67c0127 commit 2f377e2

4 files changed

Lines changed: 213 additions & 13 deletions

File tree

‎sysml.library/.index.json‎

Lines changed: 207 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -89900,6 +89900,7 @@
8990089900
"isRunToCompletion",
8990189901
"justOutsideOfOccurrences",
8990289902
"localClock",
89903+
"longerOccurrence",
8990389904
"matingOccurrences",
8990489905
"middleTimeSlice",
8990589906
"otherParticipants",
@@ -89914,6 +89915,7 @@
8991489915
"predecessors",
8991589916
"runToCompletionScope",
8991689917
"sameLifeOccurrences",
89918+
"shorterOccurrence",
8991789919
"snapshotOf",
8991889920
"snapshots",
8991989921
"spaceBoundary",
@@ -89966,6 +89968,7 @@
8996689968
"isRunToCompletion",
8996789969
"justOutsideOfOccurrences",
8996889970
"localClock",
89971+
"longerOccurrence",
8996989972
"matingOccurrences",
8997089973
"middleTimeSlice",
8997189974
"outerSpaceDimension",
@@ -89980,6 +89983,7 @@
8998089983
"runToCompletionScope",
8998189984
"sameLifeOccurrences",
8998289985
"self",
89986+
"shorterOccurrence",
8998389987
"snapshotOf",
8998489988
"snapshots",
8998589989
"spaceBoundary",
@@ -90031,6 +90035,7 @@
9003190035
"isRunToCompletion",
9003290036
"justOutsideOfOccurrences",
9003390037
"localClock",
90038+
"longerOccurrence",
9003490039
"matingOccurrences",
9003590040
"middleTimeSlice",
9003690041
"outerSpaceDimension",
@@ -90045,6 +90050,7 @@
9004590050
"runToCompletionScope",
9004690051
"sameLifeOccurrences",
9004790052
"self",
90053+
"shorterOccurrence",
9004890054
"snapshotOf",
9004990055
"snapshots",
9005090056
"spaceBoundary",
@@ -90173,6 +90179,7 @@
9017390179
"isRunToCompletion",
9017490180
"justOutsideOfOccurrences",
9017590181
"localClock",
90182+
"longerOccurrence",
9017690183
"matingOccurrences",
9017790184
"middleTimeSlice",
9017890185
"otherParticipants",
@@ -90187,6 +90194,7 @@
9018790194
"predecessors",
9018890195
"runToCompletionScope",
9018990196
"sameLifeOccurrences",
90197+
"shorterOccurrence",
9019090198
"snapshotOf",
9019190199
"snapshots",
9019290200
"spaceBoundary",
@@ -198962,6 +198970,105 @@
198962198970
"whileLoops",
198963198971
"withoutOccurrences"
198964198972
],
198973+
"States::StateAction::done": [
198974+
"acceptSubactions",
198975+
"acceptable",
198976+
"accepted",
198977+
"allSubstatePerformances",
198978+
"allSubtransitionPerformances",
198979+
"assignments",
198980+
"controls",
198981+
"decisionTransitions",
198982+
"decisions",
198983+
"deferrable",
198984+
"differencesOf",
198985+
"dispatchScope",
198986+
"doAction",
198987+
"done",
198988+
"enclosedPerformances",
198989+
"entryAction",
198990+
"exclusiveStates",
198991+
"exitAction",
198992+
"forLoops",
198993+
"forks",
198994+
"ifSubactions",
198995+
"immediatePredecessors",
198996+
"immediateSuccessors",
198997+
"incomingTransferSort",
198998+
"incomingTransfers",
198999+
"incomingTransfersToSelf",
199000+
"incomingTransitionTrigger",
199001+
"innerSpaceDimension",
199002+
"innerSpaceOccurrences",
199003+
"intersectionsOf",
199004+
"involvedObjects",
199005+
"isClosed",
199006+
"isDispatch",
199007+
"isRunToCompletion",
199008+
"isTriggerDuring",
199009+
"joins",
199010+
"justOutsideOfOccurrences",
199011+
"largerSpace",
199012+
"localClock",
199013+
"longerOccurrence",
199014+
"loops",
199015+
"matingOccurrences",
199016+
"merges",
199017+
"middle",
199018+
"middleTimeSlice",
199019+
"nonDoMiddle",
199020+
"outerSpaceDimension",
199021+
"outgoingHBLink",
199022+
"outgoingTransfers",
199023+
"outgoingTransfersFromSelf",
199024+
"outsideOfOccurrences",
199025+
"performers",
199026+
"portionOf",
199027+
"portionOfLife",
199028+
"portions",
199029+
"predecessors",
199030+
"runToCompletionScope",
199031+
"sameLifeOccurrences",
199032+
"self",
199033+
"sendSubactions",
199034+
"shorterOccurrence",
199035+
"smallerSpace",
199036+
"snapshotOf",
199037+
"snapshots",
199038+
"spaceBoundary",
199039+
"spaceBoundaryOf",
199040+
"spaceEnclosedOccurrences",
199041+
"spaceInterior",
199042+
"spaceInteriorOf",
199043+
"spaceShotOf",
199044+
"spaceShots",
199045+
"spaceSliceOf",
199046+
"spaceSlices",
199047+
"spaceTimeCoincidentOccurrences",
199048+
"spaceTimeEnclosedOccurrences",
199049+
"spaceTimeEnclosedPoints",
199050+
"start",
199051+
"stateSequencing",
199052+
"stateTransitions",
199053+
"subactions",
199054+
"suboccurrences",
199055+
"subperformances",
199056+
"substates",
199057+
"successors",
199058+
"surroundedByOccurrences",
199059+
"terminateSubactions",
199060+
"that",
199061+
"this",
199062+
"thisPerformance",
199063+
"timeCoincidentOccurrences",
199064+
"timeEnclosedOccurrences",
199065+
"timeSliceOf",
199066+
"timeSlices",
199067+
"transitions",
199068+
"unionsOf",
199069+
"whileLoops",
199070+
"withoutOccurrences"
199071+
],
198965199072
"States::StateAction::entryAction": [
198966199073
"acceptSubactions",
198967199074
"assignments",
@@ -199326,6 +199433,105 @@
199326199433
"whileLoops",
199327199434
"withoutOccurrences"
199328199435
],
199436+
"States::StateAction::start": [
199437+
"acceptSubactions",
199438+
"acceptable",
199439+
"accepted",
199440+
"allSubstatePerformances",
199441+
"allSubtransitionPerformances",
199442+
"assignments",
199443+
"controls",
199444+
"decisionTransitions",
199445+
"decisions",
199446+
"deferrable",
199447+
"differencesOf",
199448+
"dispatchScope",
199449+
"doAction",
199450+
"done",
199451+
"enclosedPerformances",
199452+
"entryAction",
199453+
"exclusiveStates",
199454+
"exitAction",
199455+
"forLoops",
199456+
"forks",
199457+
"ifSubactions",
199458+
"immediatePredecessors",
199459+
"immediateSuccessors",
199460+
"incomingTransferSort",
199461+
"incomingTransfers",
199462+
"incomingTransfersToSelf",
199463+
"incomingTransitionTrigger",
199464+
"innerSpaceDimension",
199465+
"innerSpaceOccurrences",
199466+
"intersectionsOf",
199467+
"involvedObjects",
199468+
"isClosed",
199469+
"isDispatch",
199470+
"isRunToCompletion",
199471+
"isTriggerDuring",
199472+
"joins",
199473+
"justOutsideOfOccurrences",
199474+
"largerSpace",
199475+
"localClock",
199476+
"longerOccurrence",
199477+
"loops",
199478+
"matingOccurrences",
199479+
"merges",
199480+
"middle",
199481+
"middleTimeSlice",
199482+
"nonDoMiddle",
199483+
"outerSpaceDimension",
199484+
"outgoingHBLink",
199485+
"outgoingTransfers",
199486+
"outgoingTransfersFromSelf",
199487+
"outsideOfOccurrences",
199488+
"performers",
199489+
"portionOf",
199490+
"portionOfLife",
199491+
"portions",
199492+
"predecessors",
199493+
"runToCompletionScope",
199494+
"sameLifeOccurrences",
199495+
"self",
199496+
"sendSubactions",
199497+
"shorterOccurrence",
199498+
"smallerSpace",
199499+
"snapshotOf",
199500+
"snapshots",
199501+
"spaceBoundary",
199502+
"spaceBoundaryOf",
199503+
"spaceEnclosedOccurrences",
199504+
"spaceInterior",
199505+
"spaceInteriorOf",
199506+
"spaceShotOf",
199507+
"spaceShots",
199508+
"spaceSliceOf",
199509+
"spaceSlices",
199510+
"spaceTimeCoincidentOccurrences",
199511+
"spaceTimeEnclosedOccurrences",
199512+
"spaceTimeEnclosedPoints",
199513+
"start",
199514+
"stateSequencing",
199515+
"stateTransitions",
199516+
"subactions",
199517+
"suboccurrences",
199518+
"subperformances",
199519+
"substates",
199520+
"successors",
199521+
"surroundedByOccurrences",
199522+
"terminateSubactions",
199523+
"that",
199524+
"this",
199525+
"thisPerformance",
199526+
"timeCoincidentOccurrences",
199527+
"timeEnclosedOccurrences",
199528+
"timeSliceOf",
199529+
"timeSlices",
199530+
"transitions",
199531+
"unionsOf",
199532+
"whileLoops",
199533+
"withoutOccurrences"
199534+
],
199329199535
"States::StateAction::stateSequencing": [
199330199536
"earlierOccurrence",
199331199537
"laterOccurrence",
@@ -278575,5 +278781,5 @@
278575278781
"withoutOccurrences"
278576278782
]
278577278783
},
278578-
"checksum": "18da3df101a78979cf8b437b6260a48eae8cbfee0c54460bb70e59dead06a524"
278784+
"checksum": "40f88c832eddea0a2859535908fa235718c565bfea9b6ad8d30a103162918c22"
278579278785
}

‎sysml.library/Systems Library/States.sysml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,8 @@ standard library package States {
3030
attribute :>> isTriggerDuring;
3131

3232
ref state self: StateAction :>> Action::self, StatePerformance::self;
33+
ref state start: StateAction :>> Action::start, StatePerformance::startShot;
34+
ref state done: StateAction :>> Action::done, StatePerformance::endShot;
3335

3436
action :>> subactions :> middle {
3537
doc

‎sysml/src/examples/Interaction Sequencing Examples/ServerSequenceOutsideRealization-2.sysml‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,7 @@ package ServerSequenceOutsideRealization_2 {
2424
}
2525
}
2626

27-
interface producer_2.publicationPort to server_2.publicationPort {
28-
bind source::outgoingTransfersFromSelf = target::incomingTransfersToSelf;
29-
}
27+
interface producer_2.publicationPort to server_2.publicationPort;
3028

3129
part server_2[1] {
3230
port publicationPort : PublicationPort;
@@ -52,9 +50,7 @@ package ServerSequenceOutsideRealization_2 {
5250
}
5351
}
5452

55-
interface consumer_2.subscriptionPort to server_2.subscriptionPort {
56-
bind source::outgoingTransfersFromSelf = target::incomingTransfersToSelf;
57-
}
53+
interface consumer_2.subscriptionPort to server_2.subscriptionPort;
5854

5955
part consumer_2[1] {
6056
attribute myTopic : String;

‎sysml/src/examples/Interaction Sequencing Examples/ServerSequenceRealization-2.sysml‎

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -20,9 +20,7 @@ package ServerSequenceRealization_2 {
2020
}
2121
}
2222

23-
interface producer_2.publicationPort to server_2.publicationPort {
24-
bind source::outgoingTransfersFromSelf = target::incomingTransfersToSelf;
25-
}
23+
interface producer_2.publicationPort to server_2.publicationPort;
2624

2725
part server_2[1] {
2826
port publicationPort : PublicationPort;
@@ -47,9 +45,7 @@ package ServerSequenceRealization_2 {
4745
}
4846
}
4947

50-
interface consumer_2.subscriptionPort to server_2.subscriptionPort {
51-
bind source::outgoingTransfersFromSelf = target::incomingTransfersToSelf;
52-
}
48+
interface consumer_2.subscriptionPort to server_2.subscriptionPort;
5349

5450
part consumer_2[1] {
5551
attribute myTopic : String;

0 commit comments

Comments
 (0)