This page identifies a possible issue, inconsistency, concern, error, or bug!
One of the ways Webel IT Australia helps promote tools, technologies, and languages is by donating a lot of time identifying, tracking, and reporting potential issues, in order to help vendors and developers improve the tools and technologies. In some cases, we also offer workarounds and advice for users. All issues tracked on our public site are offered most constructively and with sincerest gratitude to the tool vendors and technology developers.
DISCLAIMER: Vendors do not officially endorse issue analysis by Webel IT Australia.
This issue is best understood by watching the dedicated analysis video:
The quick summary is that in the example shown, when the block Tester (which does not have any Behaviors) is run in Magic Model Analyst® (Cameo Simulation Toolkit®), the Property foo:Foo[0..1] within Tester and the property bar:Bar[0..1] within Foo are populated with concrete instances (it uses a FooA and BarA), even though the lower multiplicity is 0.
If the blocks Foo and Bar are NOT abstract this does not happen (the simulation as expected does NOT wrongly populated foo (or bar).