State Model Constraints

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

Part III: Relationships

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