Webel ADT SysMLv1 Stereotypes

Gallery
Tutorial
[TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models.
Section
SECTION: The Webel Abstract Data Type (ADT) stateless pseudo-classes with inheritance (with SysMLv1 models)
UML keywords
Stereotype
Stereotype:icon
Webel Mathematica keywords
ADT`
Webel ADT
«adt:memberInterface»
«adt:pseudo»
«adt:pseudo:interface»
«adt:interface»
«adt:der»
«adt:op»
«adt:op:once»
«adt:new»
«adt:op:hook»
«adt:op:hook:def»
«adt:op:rehook»
Keywords
Click on the image to view it full size
For reference, an associated Policy Note (you don't need to visit this link yet):
Mathematica: Webel ADT pseudo classes: The SysMLv1 models are supported by custom stereotypes with icons. Some of these indicate OO-similar use of ADT-Methods and departures from formal Abstract Data Type (ADT) definitions.
Note that some departures from formal Abstract Data Type (ADT) usage for Webel ADTs pseudo classes (strong types) are indicated by custom stereotypes with icons in the Webel SysML4Mathematica (v1) modelling:
Visit also: Mathematica: Webel ADT: The term 'Abstract Data Types (ADT)' is used informally (the Webel ADTs do not always adhere to strict definitions of ADTs). Please just think of it here as meaning a strong type or stateless "pseudo class".
Up next
adt$graphHierarchy example: The EX` package for structured data
Notes
[EXPLANATION]{INFORMATIVE} Mathematica: Webel ADT: The term 'Abstract Data Types (ADT)' is used informally (the Webel ADTs do not always adhere to strict definitions of ADTs). Please just think of it here as meaning a strong type or stateless "pseudo class".
[CONVENTION, NAMING]{STRICT} Mathematica: Webel ADT pseudo classes: NAMING CONVENTION: An UpValue that can be invoked on an ADT accepting its unique 'signature' pattern as (at least) 1st argument is called an 'ADT-Method'. They are NOT methods in the general object-oriented sense!
[CONVENTION, NAMING]{STRICT} Mathematica: Webel ADT pseudo classes: The SysMLv1 models are supported by custom stereotypes with icons. Some of these indicate OO-similar use of ADT-Methods and departures from formal Abstract Data Type (ADT) definitions.
Snippets (quotes/extracts)
Related slides (includes other tutorials)
Introduction to Webel Abstract Data Types (ADTs) with SysMLv1 models
Webel Abstract Data Types (ADTs) vs the user-contributed MTools for OO
Webel ADTs include inheritance (and aren’t actually formal ADTs)
Webel ADT hierarchy views as tree, graph, and SysML
Webel ADT`package: Some ADT pseudo class utility functions in a ::usage help viewer. Diagnostic, help, and development functions.
Classes in the ADT` package: Extendable ADT pseudo classes have corresponding "definer functions"
Simple Webel ADT in the development view dV[adt] and class/methods help hC[adt]
Creating new ADTs that extend other classes using a definer function (and adt$addSuper)
Webel «adt:pseudo» elements in the SysMLv1 ADT model (1)
Chained wrapped ADT pseudos as a SysMLv1 Internal Block Diagram (IBD)
Clients of List ADTs don’t usually directly access the wrapped Lists (but can for testing with ADT⊙get which BREAKS ENCAPSULATION)
Related slides (backlinks, includes other tutorials)
Visit also
Mathematica: POLICY NOTES for the Webel Abstract Data Type (ADT) pseudo classes with inheritance for the Wolfram Language
Dr Darren of Webel IT Australia makes the case for better object-orientation for Mathematica using pseudo class ADTs without losing the super-functional power of the Wolfram Language
Visit also (backlinks)