Our first Parsing Analysis diagram about leptons

Gallery
Tutorial
The target «snippet» is: The source «document» of the snippet is a page 'Lepton' from Wikipedia, named here 'Wikipedia:Lepton' and assigned as the mandatory tagged value 'source' of the «snippet». The 'url' tagged value has been set on the «document» along with the optional 'org' tagged value which has been set to the «organisation» 'Wikipedia'.
Click on the image to view it full size
The first thing you might notice is all those cobweb-like dashed-line "anchors" drawn from the snippet symbols to the elicited model element symbols and labels. Such visual clutter does not matter here because:

There is clearly some kind of abstraction ElementaryParticle, of which a Lepton is a special case. So far, there are value properties for spin:Spin, isLepton:Boolean and a derived value property /calcIsLepton:Boolean. In the more specific Lepton class the spin:Spin has been redefined to be a readonly property with fixed default value 0.5, and the isLepton:Boolean is redefined to be a readonly property with fixed default value 'true'. These properties also have isLeaf set 'true' so they can't be further redefined.

The value property /calcIsLepton:Boolean is intended to be calculated in the context of any specific particle via a constraint declared on a constraint block IsLepton. We'll see next how this can be calculated using Magic Cyber-Systems Engineer ® (Cameo Systems Modeler®) or Magic Model Analyst® (Cameo Simulation Toolkit®) for an instance :Lepton.

We are told that a lepton 'does not undergo strong interactions'. This important concept is encapsulated as a custom stereotype keyword «not undergoes» applied to a Dependency. This may remind some readers of semantic triples in OWL and RDF. It is also represented as a value property isInteractsStrong:Boolean, which is redefined in Lepton to always be 'false'.

Presumably there are other types of interactions, not just strong interactions. Let's pretend for the moment we don't know that. To more formally indicate elicited elements that are not explicitly mentioned in the text of a source one can use a custom stereotype with a keyword like «pa:implied», where the 'pa' stands for Parsing Analysis. Some other similar keywords might include «pa:assumed». If this is clarified by another snippet, these keywords can then be removed.

The Parsing Analysis diagram is itself also stereotyped with «pa». This helps remind us that it is NOT a final presentation diagram and only serves as a temporary "scratchpad" for traceable elicitation of model elements.

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