Calculate whether a specific particle is a lepton using SysML parametrics

Gallery
Tutorial
A SysML Parametric diagram for the constraint block IsLepton can be used to compute the derived value property /calcIsLepton:Boolean and compare it with the declared value isLepton:Boolean:
Click on the image to view it full size
If you have Magic Cyber-Systems Engineer ® (Cameo Systems Modeler®) or Magic Model Analyst® (Cameo Simulation Toolkit®) you can run the calculation in the context of an instance :Lepton (shown in the previous BDD) to confirm that /calcIsLepton:Boolean is true for any Lepton.

This is intended as a final presentation diagram, so the 'members' tagged value is not shown in the snippet symbol (but the 'source' should always be shown). One also usually need not show quite so many dashed-lined "anchors" indicating traceable elication of model elements once they've done their job in a Parsing Analysis «pa» scratchpad diagram elsewhere.

Up next
Notes
Snippets (quotes/extracts)
Visit also
Visit also (backlinks)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)