R519 - modelint/shlaer-mellor-metamodel GitHub Wiki

R519 / 1:Mc

Creation Event triggers creation of new instance on exactly one Lifecycle

Lifecycle specifies new instance creation with zero, one or many Creation Event

---

A Lifecycle specifies one or more Creation Events only if it specifies the creation of new instances during runtime.

There may be multiple Creation Events to accommodate alternate creation Activities. For example, both a Create new and a Create by copy Creation Event may be specified on a Shape Lifecycle. In this case, each Creation Event would be associated with a separate initial Non Deletion State.