Webel Parsing Analysis

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis for SysML: Track and display alternative names, human friendly names, organisation-specific names, and identifiers using tagged values for a custom stereotype «pa:term» (adapt or extend as required).

REFERENCE CARD: Webel Parsing Analysis for SysML1.x: Auxiliary stereotypes

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

More on tracking contradictions: Optical telescope example

Gallery

Tutorial

Section

Slide kind

Don't judge a book by its cover

Source

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Indicating relationships between Snippets using tagged values: contradicts/contradictedBy

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis as a meta-process: Snippets before Requirements!

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis: Formally, if «pa:implied» has been applied to indicate an implied elicited Element, the 'snippet' tagged value should bet set using at least one Snippet that implies it. (Note, the Snippet should have identical 'name' and 'body'.)

A «pa:implied» Element: Include a tagged value for at least one Snippet that implies it

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis: SysML: Pseudo Semantic Triple: A «pa:triple» may be applied to a uni-directional Association between SysML Blocks and/or Actors.

Webel Parsing Analysis: SysML: Pseudo Semantic Triple: A «pa:triple» may be applied to a Dependency between SysML Blocks and/or Actors or Properties typed by them.

Webel Parsing Analysis: Pseudo Semantic Triple: When «pa:triple» is applied to a named uni-directional Association the name and a consistent direction arrow should be displayed on the Association symbol in diagrams.

Webel Parsing Analysis: Pseudo Semantic Triple: For «pa:triple» applied to a named one-to-one Dependency, the source is the subject, the name of the Dependency is the predicate, the target is the object.

Webel Parsing Analysis: Pseudo Semantic Triple: For «pa:triple» applied to a named one-to-one or one-to-many uni-directional Association, the non-navigable end Property is the subject, the name is the predicate, the navigable end Property is the object.

«pa:triple»: Pseudo semantic triples (c.f. RDF/S and OWL)

Gallery

Tutorial

Section

Slide kind

The start of the book begins with an eight-year-old orphan girl named Sophie lying in bed ...

Source

The giant then says that he will not eat her as he is the Big Friendly Giant, or BFG for short.

Source

The giant laughs and explains that most giants do eat human beings (which he pronounces as "human beans") ..

Source

When he sets Sophie down, she begins to plead for her life, believing that the giant will eat her.

Source

The BFG (short for The Big Friendly Giant) is a 1982 children's book written by British novelist Roald Dahl and illustrated by Quentin Blake.

Source

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

«pa:term»: Dealing with synonyms, alternative names, and identifiers

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis: If you have a unique URL for a domain source «document» you MAY additionally set it as an external hyperlink in the MagicDraw/Cameo tool (as well as setting it as the unique 'url' tagged value that acts as the '/uri').

Webel Parsing Analysis: It does not matter whether you use a Package or a Model package. (The informal Webel convention is that Models are used for systems engineering analysis with SysML and Packages are reserved for code-related software engineering.)

Webel Parsing Analysis: A 'source' Document must have one (only) of a URL or a URN (includes ISBN or other unique identifier) for use as a URI

Simplified profile for Webel Parsing Analysis for SysML1.6+ in MagicDraw/Cameo (adapt as required)

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis: A stereotype with keyword «pa:from» may be applied to a Dependency from a Package to another Package within the Source Input Zone to indicate that all of its Elements were directly or indirectly elicited from source Documents.

Package Diagram index of Source Input Zone and elicited model elements in the Target Model Zone

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Containment tree view of members of a «snippet» ElementGroup in MagicDraw/Cameo

Gallery

Tutorial

Section

Slide kind

screenshot

Focus BDD for block FoxDogPangram

Gallery

Tutorial

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

PAD for eliciting the letters of an English-language pangram

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis: The name of a Parsing Analysis Diagram (PAD) may be drawn from a focus Snippet OR may simply indicate a topic of interest to the analysis

Webel Parsing Analysis: Where too many dashed line "anchors" from Snippets to elicited members lead to clutter they may be selectively omitted from a Parsing Analysis Diagram (PAD) once each member has been collected.

Focus BDD for block EnglishPangram

Gallery

Tutorial

Section

Slide kind

The modern English alphabet is a Latin alphabet consisting of 26 letters, each having an upper- and lower-case form.

Source

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Webel Parsing Analysis: While Associations may be collected as elicited members of a Snippet this can quickly lead to clutter in the /member list display. Often just collecting an end Property as member is sufficient.

Webel Parsing Analysis: While Generalizations may be collected as elicited members of a Snippet this can quickly lead to clutter in the /member list display.

Focus PAD for the Snippet ''an English-language pangram — a sentence that contains all of the letters of the English alphabet'

Gallery

Tutorial

Section

Slide kind

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Focus BDD for block FoxDogPangramContext

Gallery

Tutorial

Section

Slide kind

Webel Parsing Analysis: An anonymous Element may be collected as a /member of a Snippet (it is not important whether collected elements list with a clear name under /member, only that they are traceably elicited).

... an English-language pangram — a sentence that contains all of the letters of the English alphabet.

Source

"The quick brown fox jumps over the lazy dog" ...

Source

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Focus PAD for the Snippet 'The quick brown fox jumps over the lazy dog'

Gallery

Tutorial

Section

Slide kind

Webel Parsing Analysis: A "focus" Parsing Analysis Diagram (PAD) for one or more Snippets SHOULD always show the /member tagged value of every Snippet.

"The quick brown fox jumps over the lazy dog" is an English-language pangram — a sentence that contains all of the letters of the English alphabet.

Source

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Top-level Package/Model organisation for the Source Input Zone

Gallery

Tutorial

Section

Webel Parsing Analysis: Acronym: PAD = Parsing Analysis Diagram (may be nearly any diagram type, except those types that must be owned by an elicited model element)

TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+

Jump to first slide

Top-level Package/Model organisation for the Source Input Zone

Sections

Webel Parsing Analysis: As StateMachine Diagrams are always owned by an element that is not eventually under the Source Input Zone they should not be used as «pa» diagrams. Elicit States instead via the /member section of the specification dialog.

Webel Parsing Analysis: A Parsing Analysis Container MAY collect any other Element type as a member EXCEPT for another Parsing Analysis Container

Webel Parsing Analysis: A Parsing Analysis Container MAY own other child Parsing Analysis Containers

Webel Parsing Analysis: The symbol for a Parsing Analysis Container MUST be able to indicate the unique domain source document from which its analysed text extract was quoted.

Webel Parsing Analysis: The symbol for a Parsing Analysis Container MUST be able to OPTIONALLY display a list of names of elicited model elements (a.k.a. members)

Webel Parsing Analysis: The absolute basics of the process (SysMLv1.x form)

Webel Parsing Analysis for SysML: Requirements for the Parsing Analysis Container (a.k.a. Snippet)

Keywords

Visit also: The Webel Parsing Analysis recipe for SysML

Webel Parsing Analysis: It SHOULD be possible to relate one Parsing Analysis Container to another and stereotype that relationship as an RDF/OWL-like semantic triple

Webel Parsing Analysis: It MUST be possible to collect elicited members of a Parsing Analysis Container graphically in diagrams using relationship-like path drawing (not just via a specification dialog or other indirect modelling means)

Webel Parsing Analysis: The symbol for the relationship between a Parsing Analysis Container and elicited model elements SHOULD be a dashed line (like the anchor/handle line used with a UML Comment)

Webel Parsing Analysis: The symbol for a Parsing Analysis Container MUST be text-friendly and evocative of quoting a domain source text extract

Webel Parsing Analysis: The symbol of a Parsing Analysis Container MUST be usable on every possible diagram type

Webel Parsing Analysis: A Parsing Analysis Container MUST NOT be able to own the Elements it elicits

Screencast: Webel SysML Parsing Analysis demo - Behavior - Mars Society University Rover Challenge 2020

Keywords

Webel Parsing Analysis

Video style

The Webel Parsing Analysis recipe for SysML^® was applied to some of the rules text from the Mars Society University Rover Challenge.

This informal narrated screencast records some Activity and StateMachine simulations in Cameo Simulation Toolkit.

Read more about Screencast: Webel SysML Parsing Analysis demo - Behavior - Mars Society University Rover Challenge 2020

In some slides some Comments in UML/SysML diagrams are verbosely marked with the stereotype keyword «webel» to distinguish them from «snippet» domain source document text extracts.

Webel Parsing Analysis: SysMLv1.x: Q: "Instead of using a Snippet extension of an ElementGroup, can't I just use a Requirement and Trace to achieve the same thing?" A: No! The ElementGroup extended as the Snippet is far more powerful and fit for purpose.

DEMO: Webel SysML Parsing Analysis: The Mars Society University Rover Challenge 2020 (PDF slides and simulation video)

Sections

In the Webel Parsing Analysis recipe you are not obliged to map every single part of a Snippet's text extract to a UML or SysML model, just traceably elicit model elements of immediate or anticipated interest to your task or goal.

Webel Parsing Analysis for SysML - simplified profile

In Webel Parsing Analysis tutorials, Wikipedia pages are often used as a placeholder sources to represent authoritative domain source documents from which text extract "snippets" are sourced, and from which SysML model elements are traceably elicited.

Overview of major Package Diagrams for the optical telescopes model

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

AplanaticGregorianReflector - finer image flow model

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

AplanaticGregorianReflector - finer light flow model

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Webel Parsing Analysis diagrams do their job once - namely traceable elicitation of model elements - and are then only kept as a reference! The elicited model elements are then used elsewhere in the final model.

AplanaticGregorianReflector - simple light flow model

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Gregorian primary and secondary assembly variations within the tube

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Comparison of reflecting telescopes so far

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

The classic Cassegrain telescope has a parabolic primary mirror and a hyperbolic secondary mirror

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

The Newtonian telescope has flat secondary mirror and a paraboloid or spherical primary mirror

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

The Gregorian telescope employs a concave secondary mirror that reflects the image back through a hole in the primary mirror.

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

A curved primary mirror is the reflector telescope's basic optical element

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

KeplerianRefractor: simple image flow model: context IBD with itemProperty

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

KeplerianRefractor: simple image flow model: staging BDD

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

SimpleOpticalTelescope light flow model: staging BDD and context IBD

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

IBD of a SimpleOpticalTelescope in context with some relationships

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Webel Parsing Analysis: Relationships between «snippet» items can be tracked using additional tagged values such as 'contradictedBy' and 'contradicts'. This is robust, but it can be verbose when Snippets have long names if the tagged values are displayed.

The basic scheme of an optical telescope: Keplerian refractor

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

An object infinitely far from the optical system forms an image at the rear focal plane

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Optics: real images vs virtual images and focus points

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Most (but not all) telescope designs produce an inverted image at the focal plane

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

An eyepiece is a type of lens that is attached to a variety of optical devices such as telescopes and microscopes.

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

The objective is the optical element that gathers light from the object being observed and focuses the light rays

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

An optical telescope is a telescope that gathers and focuses light mainly from the visible part of the electromagnetic spectrum

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Radio frequencies (just a quick look)

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Optical radiation, visible, UV, and infrared

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Many new types of telescopes were invented including radio telescopes and infrared telescopes

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

The reflecting telescope uses mirrors to collect and focus light

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Focus BDD for block RefractingTelescope

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

The first known practical telescopes were refracting telescopes

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Overview of all diagrams after moving elicited model elements out of the '0-source' zone

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Our first Parsing Analysis diagram about telescopes

Gallery

Tutorial

Section

Slide kind

Our first Parsing Analysis diagram about telescopes

TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model

Jump to first slide

Sections

A focus BDD for the AtomicNucleus block

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

The neutron is classified as a hadron, because it is a composite particle made of quarks.

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

TIP: If you use the name '0-source' instead of 'source' for the top-level Package/Model for containing Parsing Analysis elements it will list nicely at the top of the containment tree.

Improved baryon Package Diagram including Nucleon, Proton, Neutron

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Protons are spin-1/2 fermions and are composed of three valence quarks, making them baryons

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

The Quark block's focus BDD so far

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

SysML Parametric Diagram

The quark Package Diagram so far

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

There are six types of quarks (and six antiquarks)

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

An abstract Q(u)ark for M(u)ster M(u)ark

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Webel Parsing Analysis: MagicDraw/Cameo: In parsing diagrams use the element compartment properties to only display the features relevant to the context of a particular snippet's text extract.

From hadron to meson Package Diagrams and focus BDDs

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

The minimum on mesons

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Some more baryons (and even more baryons)

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

One limit of the SysML-1.6 ElementGroup for use as a Snippet in the v1.x version of Webel Parsing Analysis for SysML is that an ElementGroup is not directly relatable.

Spin-1/2 particles so far

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Neutrons and protons are spin-1/2 fermions and baryons

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Webel Parsing Analysis: You do not need to map every word of every snippet to the UML/SysML model! Extract only the information required for your domain modelling task to add incremental benefit.

Leptons as fermions

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Updated lepton Package Diagram

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Converting mass and charge using SysML Parametrics

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

SysML Parametric Diagram

Mass and charge of electron and positron

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Modelling antiparticles, antileptons, and antimatter

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Leptons and interactions

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Spin for elementary particles and composite particles

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Mass of charged leptons and decay (Part 2)

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

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.

Mass of charged leptons and decay (Part 1)

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

In Webel Parsing Analysis elicited model elements MUST eventually be moved out of the 'source' (or '0-source') Package/Model zone and under a main project Package/Model area. (Use the owner display option to check.)

The lepton Package Diagram so far

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Lepton flavours and generations

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Focus BDD for the abstract ChargedLepton block

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Focus BDD for the Positronium block

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Use multiple snippets to bridge knowledge gaps

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Updated focus BDD for Lepton including charge

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Lepton types by charge

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Focus BDD for the Lepton block

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Overview of all diagrams after moving elicited model elements out of the 'source' zone

Gallery

Tutorial

Section

Slide kind

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Calculate whether a specific particle is a lepton using SysML parametrics

Gallery

Tutorial

Section

Slide kind

SysML Parametric Diagram

In Webel Parsing Analysis every Package, Model, or Diagram used to perform Parsing Analysis MUST have the stereotype keyword «pa» applied, and MUST live under a top-level Model or Package 'source' separate from the rest of the project model.

Our first Parsing Analysis diagram about leptons

Gallery

Tutorial

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Section

Slide kind

Our first Parsing Analysis diagram about leptons

TRAIL: Webel SysML Parsing Analysis example: A particle physics taxonomy from Wikipedia

Jump to first slide

Sections

Webel Parsing Analysis (with strict traceability of all elicited model elements) can be used side-by-side with "freestyle" modelling with incremental benefit the more it is used.

The Webel Parsing Analysis recipe promotes a clearly scoped modelling workflow.

Even relatively informal elicitation of model elements using the SysML ElementGroup and a Parsing Analysis approach is extremely powerful.

Translating authoritative technical documents written in “natural” engineering language (snippet-by-snippet) into Webel Parsing Analysis diagrams creates consistent underlying systems models and can bridge easily to existing methodologies.

Humans work well with natural language: Many stakeholders – including those who are not necessarily familiar with UML or SysML modelling symbols and diagrams - benefit enormously from having plain text in diagrams side-by-side with graphics.

Webel Parsing Analysis is a "meta-process" that can be applied to general domain source documents to elicit Requirements (and related model elements) or to a Requirements Specification itself as a special case of a domain source document!

Not even the most experienced requirements engineers can easily state requirements perfectly in consistent requirements-friendly language first shot; requirements and constraints are often buried in the natural text of domain source documents.

SysMLv1.x: An ElementGroup in the model tree browser of MagicDraw/Cameo

Gallery

Tutorial

TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo

Section

18:01: Logical grouping with the ElementGroup extension of Comment in SysMLv1.x

Slide kind

MagicDraw/Cameo: table

TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo

Webel Parsing Analysis: A Snippet (keyword «snippet») MUST always have exactly one domain 'source' Document (keyword «document»).

Webel Parsing Analysis: A custom Document stereotype (keyword «document») extends the UML standard profile Document that extends Artifact (which is NOT in the UML4SysML intersection). Such a Document may act as the 'source' of a «snippet».

Webel Parsing Analysis: Create a top-level 'source' or '0-source' Package/Model SEPARATE from your project model. All source «document» elements and «snippet» extracts and «pa» diagrams MUST be ultimately owned by that top-level Package/Model as ancestor!

Webel «pa» Parsing Analysis Diagrams (PADs) are "scratchpads" used to elicit model elements traceably from text Snippets (extracts from source Documents). While BDDs are a good initial choice, most types of SysML diagram can be used as a «pa» diagram.

Webel Parsing Analysis: If you are processing lots of text from one source «document» create a STUB «snippet» with that «document» set as 'source' and just make copies of it in the model browser as needed. Big time saver!

Webel Parsing Analysis: If you wish to show a «snippet» comment symbol (with its body text) in a presentation diagram (that is NOT a «pa» diagram) remove the '/member' tagged value from display so the only visible tagged value is 'source'.

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.

SysMLv1.x: Customizing the ElementGroup extensions for the Webel Parsing Analysis recipe (simplified)

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

18:01: Logical grouping with the ElementGroup extension of Comment in SysMLv1.x

Slide kind

TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo

Webel Parsing Analysis: typically the quoted extract text (body) of a «snippet» is a short phrase, a sentence, or a couple of short sentences (but not dozens of sentences).

SysMLv1.x: Extending the ElementGroup for the Webel Parsing Analysis recipe (a quick look)

This content has been marked as discussing an ADVANCED topic!

Gallery

Tutorial

Section

18:01: Logical grouping with the ElementGroup extension of Comment in SysMLv1.x

Slide kind

TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo

SysMLv1.x: An ElementGroup used for basic Parsing Analysis model element elicitation: Example 2

Gallery

Tutorial

Section

18:01: Logical grouping with the ElementGroup extension of Comment in SysMLv1.x

Slide kind

MagicDraw/Cameo: table

TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo

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».

The Webel Parsing Analysis recipe for SysML1.x does not use the ElementGroup directly, it extends it as a user-defined Snippet stereotype with keyword «snippet» and with MagicDraw Customization.

SysMLv1.x: An ElementGroup used for basic Parsing Analysis model element elicitation: Example 1

Gallery

Tutorial

Section

18:01: Logical grouping with the ElementGroup extension of Comment in SysMLv1.x

Slide kind