Mass of charged leptons and decay (Part 1)

Gallery
Tutorial
TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia
Section
Topic level
INTERMEDIATE
UML keywords
Dependency
Stereotype
Association
Property::redefinedProperty
SysML keywords
Block
ValueType
Keywords
Slide kind
SysML Block Definition Diagram (BDD)
The target snippets for this slide are:
Wikipedia: 'Electrons have the least mass of all the charged leptons.'
Wikipedia: 'The heavier muons and taus will rapidly change into electrons and neutrinos through a process of particle decay: the transformation from a higher mass state to a lower mass state.'
It's a complex case, so this trick has been used to make the diagram more readable (even though it will NOT end up being used as a presentation diagram):
Webel Parsing Analysis: If the dashed-line "anchors" from your «snippet» ElementGroup symbols to elicited elements make a «pa» Parsing Analysis Diagram (PAD) too hard to read, try making them light grey using symbol properties.
Click on the image to view it full size

It seems safe to assume that every ElementaryParticle may have a mass:ParticleMass value property, where the dedicated ValueType ParticleMass enables us to document exactly how such a mass is defined for particles. The specific charged leptons then each have a redefinition of that mass, but we don't have any data yet on what they each might be.

We can safely assume that a ParticleDecay (a Process) is something any ElementaryParticle could be (but not necessarily is) involved in, with MuonDecay and TauDecay being more specific kinds.

We are told that the decay of muons and taus is rapid, but we aren't given a quantitative threshold for this. We can however have a claim isRapid:Boolean that is asserted through redefinition in MuonDecay and TauDecay to be 'true'.

There seems to be some kind of time associated with decays, denoted here time:DecayTime, which could be used to determine whether a decay is judged to be rapid, in which case one could declare /isRapid to be derived.

If you've done any physics, you'll probably know that the muons and taus don't just decay ('change into') into 'electrons and neutrons' - their decay patterns are more specific - but that is all we've been told so far, so that (only) is what is represented. The custom stereotype keyword «change into» has been used on Dependencies from each of Muon and Tau to each of Electron and ChargedElectron (a.k.a. neutrino) - much like an RDF semantic triple in OWL. (It may be that later we wish to upgrade this to be applicable to Associations for decay sequences.)

Up next
Mass of charged leptons and decay (Part 2)
Notes
[POLICY, STYLE]{STRICT} Webel Parsing Analysis «pa» diagrams are NOT intended as final presentation diagrams! They serve merely to traceably elicit model elements, which may then be shown in other (typically much tidier) presentation diagrams elsewhere.
[OPTION]{RECOMMENDED} In Webel Parsing Analysis if you want to track elicited model elements that have not been explicitly mentioned in source text you can introduce Element-level custom tracking Stereotypes with the keywords «pa:implied» or «pa:assumed».
[DISPLAY, STYLE, TIP]{SUGGESTED} Webel Parsing Analysis: If the dashed-line "anchors" from your «snippet» ElementGroup symbols to elicited elements make a «pa» Parsing Analysis Diagram (PAD) too hard to read, try making them light grey using symbol properties.
[TIP]{SUGGESTED} Webel Parsing Analysis: You may create custom stereotypes applicable to a Dependency or a uni-directional Association to represent a «predicate» much like a semantic triple (subject-predicate-object) in OWL/RDF.
Snippets (quotes/extracts)
 Electrons have the least mass of all the charged leptons.
Visit also
Visit also (backlinks)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)