R351. | Lifecycle Model ONLY RECEIVES Transition Event (1c:Mc) |
Transition Event IS RECEIVED BY Lifecycle Model |
Formalization: R351 = R306 + R303 + R304 + R315
R352. | Assigner Model ONLY DEFINES Simple State (1c:Mc) |
Simple State IS DEFINED BY Assigner Model |
Formalization: R352 = R306 + R305 + R312 + R313
R353. | Assigner Model ONLY RECEIVES Simple Event (1c:Mc) |
Simple Event IS RECEIVED BY Assigner Model |
Formalization: R353 = R306 + R303 + R304 + R315 + R316
R354. | External Entity ONLY RECEIVES Domain-Crossing Event (1:Mc) |
Domain-Crossing Event IS RECEIVED BY External Entity |
Formalization: R354 = R315 + R304 + R303
R355. | Polymorphic Destination ONLY RECEIVES Polymorphic Event (1:Mc) |
Polymorphic Event IS RECEIVED BY Polymorphic Destination |
Formalization: R355 = R315 + R304 + R303